Manuela Carrillo-Castellón, Jesús García-Molina  Home/Search
Context Related
| dis.um.es/~jmolina/LCC95009.ps 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 the context of object-oriented programming languages we propose an extension of the Smalltalk environment which provides for the possibility of constructing software by applying the Design by Contract methodology, introduced by Meyer as a way of developing reliable software. In this sense, both correctness and robustness are increased by using the mechanisms incorporated to Smalltalk as a consequence of the proposed extension. Thus, assertions are used to guarantee the preconditions... (Update)
Context of citations to this paper: More
.... in other programming languages, including C [42] C [12, 16, 39, 46] Java [2, 13, 14, 24, 26] NET [1] Python [38] and Smalltalk [7]. These approaches vary widely from a simple assertion mechanism similar to the C assert macros, to full edged contract enforcement...
.... assisted by an environment that allows i) to introduce the initial specification graphically, ii) to generate a throwaway Smalltalk [Carrillo96], C [Porat95] Java [Payne98] and even there are some proposals which make that extension ad hoc [Lemos94] Among other...
Cited by: More
A Runtime Assertion Checker for the Java Modeling Language - Cheon (2003) (Correct)
Combining Formal Specifications With Design By Contract - Valle, Ros, Molina.. (2000) (Correct)
A Simple and Practical Approach to Unit Testing: The JML and.. - Cheon, Leavens (2001) (Correct)
Similar documents (at the sentence level):
15.9%: Eiffel-like assertions and private methods in Smalltalk - Carrillo-Castellón.. (1994) (Correct)
Active bibliography (related documents): More All
0.5: Wrappers to the Rescue - Brant, Foote, Johnson, Roberts (1998) (Correct)
0.4: Issues with Exception Handling in Object-Oriented Systems - Miller, Tripathi (1997) (Correct)
0.4: A Study of the Applicability of Existing Exception-Handling.. - Lang, Stewart (1998) (Correct)
Similar documents based on text: More All
0.7: A Target Distinctness Measure Based on a.. - Aranda.. (Correct)
0.4: Specifying Reusable Controllers For Software Components - Troya, Vallecillo (1999) (Correct)
0.4: The Reflective Design of Maude's Module Algebra - Durán (2000) (Correct)
Related documents from co-citation: More All
3: Object-oriented software construction (context) - Meyer - 1988
2: Compaq Systems Research Center (context) - Detlefs, Rustan et al. - 1998
2: ACM Transactions on Programming Languages and Systems (context) - Liskov, Wing et al. - 1994
BibTeX entry: (Update)
Manuela Carrillo-Castellon, Jesus Garcia-Molina, Ernesto Pimentel, and Israel Repiso. Design by contract in Smalltalk. Journal of Object-Oriented Programming, 9(7):23-28, November/December 1996. http://citeseer.ist.psu.edu/485499.html More
@misc{ carrillo-castellon96design,
author = "M. Carrillo-Castellon and J. Garcia-Molina and E. Pimentel and I. Repiso",
title = "Design by contract in Smalltalk",
text = "Manuela Carrillo-Castellon, Jesus Garcia-Molina, Ernesto Pimentel, and
Israel Repiso. Design by contract in Smalltalk. Journal of Object-Oriented
Programming, 9(7):23-28, November/December 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/485499.html" }
Citations (may not include all citations):1274 Object-Oriented Software Construction (context) - Meyer - 1988
492 Smalltalk-80: The language and its implementation (context) - Goldberg, Robson - 1983
342 Eiffel: The Language (context) - Meyer - 1992
99 Design by Contract (context) - Meyer - 1992
20 A modular verifiable exception handling mechanism (context) - Yemini, Berry - 1985
16 Exception handling in Clu (context) - Liskov, Snyder - 1979
11 Design Principles behind Smalltalk (context) - Ingalls - 1981
8 The New Culture of Software Development: Reflections on the .. (context) - Meyer - 1992
3 A better browser for object-oriented programming (context) - Wu - 1990
3 Better exception handling in block structured systems (context) - Knudsen - 1987
2 Eiffel-like assertions and private methods in Smalltalk - Carrillo-Castell'on, Garc et al. - 1994
2 OOP: An academic Perspective (context) - Wiener, Pinson - 1993
Documents on the same site (http://dis.um.es/~jmolina/publi.html): More
Towards Use Case and Conceptual Models through.. - Molina.. (2000) (Correct)
Eiffel-like assertions and private methods in Smalltalk - Carrillo-Castellón.. (1994) (Correct)
Combining Formal Specifications With Design By Contract - Valle, Ros, Molina.. (2000) (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