Active Bibliography

36 The Greybox Approach: When Blackbox Specifications Hide Too Much – Martin Büchi, Wolfgang Weck - 1999
7 Design Theory and Software Design – Kent Mcphee - 1997
14 Contract-based Component System Design – Holger Giese - 2000
Implementing JML Contracts with AspectJ – Henrique Emanuel Mostaert Rebêlo - 2008
Extending a Method of Devising Software Contracts – Richard Mitchell, James McKim - 1999
4 BeCecil, a Core Object-Oriented Language with Block Structure and Multimethods: Semantics and Typing – Craig Chambers, Gary T. Leavens - 1997
Object-Oriented Modeling in UML2 – Boris Roussev - 2006
18 Dynamic query-based debugging – Raimondas Lencevicius, Urs Hölzle, Ambuj K. Singh - 1999
Pure Library and Reflection Based Language Extension Techniques for Object Oriented Systems – Murat Karaoram - 2001
6 Smalltalk and Object Orientation: An Introduction – John Hunt - 1998
Tese (doutorado) – Universidade Federal de – Sérgio Castelo, Branco Soares, Tese De Doutorado, Sérgio Castelo, Branco Soares, Prof Paulo, Henrique Monteiro, Borba Soares, Sérgio Castelo Branco, Pernambuco Cin, Ciência Computação
1 A.: Definition and correct refinement of operation specification – Thomas Baar, Frédéric Fondement, Alfred Strohmeier, École Polytechnique - 2006
1 Class Inheritance: The Mechanism and Its Uses – Greg Ewing - 1994
2 Leading to a Kind Description Language: Thoughts on Component Specification – Joseph R. Kiniry - 1999
390 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
4 Modeling and Analyzing Software Behavior in UML – Ivan Porres - 2001
2 Eiffel-like assertions and private methods in Smalltalk – Manuela Carrillo-Castellón, Jesús García-Molina, Ernesto Pimentel - 1994
13 Design by Contract in Smalltalk – Manuela Carrillo-Castellón, Jesús García-Molina, Ernesto Pimentel, Israel Repiso - 1996
3 Semantic Properties for Lightweight Specification in Knowledgeable Development Environments – Joseph R. Kiniry - 2002