Begoña Moros Valle, Joaquín Nicolás Ros, Jesús García Molina, José Ambrosio Toval Álvarez  Home/Search
Context Related
| dis.um.es/~jmolina/joop99.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dis.um.es/~jmolina/publi (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we present an approach to the object-oriented software development which is based on: i) automatic generation of a throwaway prototype from the initial specification in a formal, declarative, object-oriented specification language, ii) validation of user requirements and refinement of the specification by using this prototype, and iii) automatic translation from the validated specification types to programming classes including the semantics of the formal specification by... (Update)
Context of citations to this paper: More
...future work. We have put the current formal models into practice by integrating them into an OO prototyping and verification process model [23] that combines rapid and evolutionary prototyping strategies, to obtain EIFFEL programs. The rest of the paper is organized as follows:...
Cited by: More
Can Intuition Become Rigorous? Foundations for UML.. - Alemán.. (Correct)
Active bibliography (related documents): More All
0.3: A Runtime Assertion Checker for the Java Modeling Language - Cheon (2003) (Correct)
0.3: A Simple and Practical Approach to Unit Testing: The JML and.. - Cheon, Leavens (2001) (Correct)
0.2: Load-Time Adaptation: Efficient and Non-Intrusive Language.. - Duncan, Hölzle (1999) (Correct)
Similar documents based on text: More All
0.8: Towards Use Case and Conceptual Models through.. - Molina.. (2000) (Correct)
0.6: Formally Modeling UML And Its Evolution: A Holistic Approach - Alvarez, Alemán (2000) (Correct)
0.3: Eiffel-like assertions and private methods in Smalltalk - Carrillo-Castellón.. (1994) (Correct)
BibTeX entry: (Update)
B. Moros, J. Nicols, J. G. Molina A. Toval, "Combining Formal Specifications with Design by Contract", Journal of Object-Oriented Programming. Vol. 12, no. 9, February 2000. http://citeseer.ist.psu.edu/valle00combining.html More
@misc{ moros00combining,
author = "B. Moros and J. Nicols and J. Molina and A. Toval",
title = "Combining Formal Specifications with Design by Contract",
text = "B. Moros, J. Nicols, J. G. Molina A. Toval, Combining Formal Specifications
with Design by Contract, Journal of Object-Oriented Programming. Vol. 12,
no. 9, February 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/valle00combining.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1997
102 The GemStone Object Database Management System (context) - Stein, Otis et al. - 1991
99 Design by Contract (context) - Meyer - 1992
53 Development and Implementation of an Object-Oriented DBMS (context) - Maier, Stein - 1986
41 Seamless object-oriented software architecture : analysis an.. (context) - Walden - 1995
8 Introduction to TROLL- A Language for Object-Oriented Specif.. (context) - Jungclaus, Hartmann et al. - 1991
8 Providing Trusted Components to the Industry (context) - Meyer, Mingins et al. - 1998
7 Gaining a Uniform View of Different Integration Aspects in a.. - Kusch, Hartel et al. - 1995
6 Software Requirements. Objects, functions and states (context) - Davis - 1991
5 Implementing assertions in Java (context) - Payne, Schatz et al. - 1998
3 Design by Contract in Smalltalk - Carrillo, Molina et al. - 1996
1 Workshop on Information Systems - Correctness and Reusabilit.. (context) - Lipeck, Koschorreck et al. - 1993
1 LCM 3.0. Specification of a control system using dynamic log.. (context) - Wieringa - 1994
1 SmallVDM: An Environment for Formal Specification and Protot.. (context) - Lemos, Souza - 1994
1 OASIS 2.1.1: A Class-Definition Language to Model Informatio.. (context) - Pastor, Ramos
Documents on the same site (http://dis.um.es/~jmolina/publi.html): More
Towards Use Case and Conceptual Models through.. - Molina.. (2000) (Correct)
Design by Contract in Smalltalk - Carrillo-Castellón, García-Molina (1996) (Correct)
Eiffel-like assertions and private methods in Smalltalk - Carrillo-Castellón.. (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC