Contracts, Scenarios and Prototypes

[1]  Tor Guimaraes,et al.  Object-Oriented Systems Development , 1990 .

[2]  Renée A. McCauley.  Agile development methods poised to upset status quo , 2001, SGCS.

[3]  Anthony J. H. Simons.  The Theory of Classification, Part 2: The Scratch-Built Typechecker , 2002, J. Object Technol..

[4]  Anthony J. H. Simons,et al.  The Theory of Classification, Part 5: Axioms, Assertions and Subtyping , 2003, J. Object Technol..

[5]  Bertrand Meyer,et al.  Object-oriented software construction (2nd ed.) , 1997 .

[6]  Reinhold Plösch.  A Process Model and an Associated Tool for Prototyping of Distributed Process Control Systems , 1998 .

[7]  Kenneth S. Rubin.  Object behavior analysis , 1992, CACM.

[8]  Mike Mannion,et al.  Prevention is better than a cure , 2000 .

[9]  Reinhold Plösch,et al.  Tool Support for Design by Contract , 1998, TOOLS.

[10]  John F. Wakerly,et al.  The programming language PASCAL , 1979, Microprocessors and microsystems.

[11]  Kendall Scott,et al.  Applying Use Case Driven Object Modeling with UML: An Annotated e-Commerce Example , 2001 .

[12]  John C. Mitchell,et al.  Abstract types have existential types , 1985, POPL.

[13]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[14]  Reinhold Plösch.  Prototyping verteilter objektorientierter Prozesssteuerungssysteme , 1994 .

[15]  Björn Regnell,et al.  Requirements Engineering with Use Cases - a Basis for Software Development , 1999 .

[16]  David S. Rosenblum.  A Practical Approach to Programming With Assertions , 1995, IEEE Trans. Software Eng..

[17]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[18]  David Lorge Parnas.  A technique for software module specification with examples , 1983, CACM.

[19]  Björn Regnell,et al.  Improving the use case driven approach to requirements engineering , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[20]  Jean-Marc Jézéquel,et al.  Design by Contract: The Lessons of Ariane , 1997, Computer.

[21]  Anthony J. H. Simons.  The Theory of Classification, Part 3: Object Encoding and Recursion , 2002, J. Object Technol..

[22]  Anthony J. H. Simons,et al.  Use cases considered harmful , 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275).

[23]  Sara Porat,et al.  Class Assertions in C++ , 1995, J. Object Oriented Program..

[24]  Reinhold Plösch,et al.  TOPOS: A Prototyping-Oriented Open CASE System , 1993, Requirements Engineering.

[25]  Marion G. Sobol,et al.  Which Systems Analysts Are More Likely to Prototype , 1989 .

[26]  John A. Schwartz,et al.  Tutorial #9: The Art of Writing Use Cases , 2002 .

[27]  Reinhold Plösch,et al.  An agent-based component platform for dynamically adaptable distributed environments , 2001, Informatica.

[28]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1959, Commun. ACM.

[29]  Anthony J. H. Simons,et al.  The Theory of Classification, Part 1: Perspectives on Type Compatibility , 2002, J. Object Technol..

[30]  Ivar Jacobson,et al.  Object Design: Roles, Responsibilities, and Collaborations , 2002 .

[31]  Steve R. Palmer,et al.  A Practical Guide to Feature-Driven Development , 2002 .

[32]  Albert L. Baker,et al.  Preliminary design of JML: a behavioral interface specification language for java , 2006, SOEN.

[33]  Jean-Marc Nerson,et al.  Seamless Object-Oriented Software Architecture - Analysis and Design of Reliable Systems , 1995 .

[34]  Colette Rolland,et al.  Guiding the Construction of Textual Use Case Specifications , 1998, Data Knowl. Eng..

[35]  Stephen N. Zilles,et al.  Programming with abstract data types , 1974, SIGPLAN Symposium on Very High Level Languages.

[36]  Albert L. Baker,et al.  JML: A Notation for Detailed Design , 1999, Behavioral Specifications of Businesses and Systems.

[37]  Michael Schatz,et al.  Implementing assertions for java , 1998 .

[38]  Keith Phalp,et al.  Supporting Communicability with Use Case Guidelines: An Empirical Study , 2002 .

[39]  Anthony J. H. Simons.  The Theory of Classification, Part 6: The Subtyping Inquisition , 2003, J. Object Technol..

[40]  H.,et al.  Behavioral Subtyping Using Invariants and ConstraintsBarbara , 1999 .

[41]  Anthony J. H. Simons.  The Theory of Classification, Part 4: Object Types and Subtyping , 2002, J. Object Technol..

[42]  Gustav Pomberger,et al.  Object-orientation and prototyping in software engineering , 1996 .

[43]  K. Leffler.  Ambiguous Changes in Product Quality , 1982 .

[44]  Ken Schwaber,et al.  Agile Software Development with SCRUM , 2001 .

[45]  Reinhold Plösch,et al.  Remote Configuration of Agent-Based Component Systems , 2003, J. Object Technol..

[46]  Jochen Klose,et al.  Scenario-Based Monitoring and Testing of Real-Time UML Models , 2001, UML.

[47]  James C. McKim,et al.  Design by Contract, By Example , 2001, TOOLS.

[48]  Reinhold Plösch,et al.  Ein agentenbasierter Ansatz für die Ferndiagnose und-überwachung von Automatisierungssystemen , 2001, Wirtsch..

[49]  Robert M. Pirsig.  Man and Machine. (Book Reviews: Zen and the Art of Motorcycle Maintenance. An Inquiry into Values) , 1974 .

[50]  Reinhold Plösch,et al.  Contracts: from analysis to C++ implementation , 1999, Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278).

[51]  Barbara Liskov,et al.  Data Abstraction and Hierarchy , 1987 .

[52]  Dirk Riehle,et al.  The architecture of a UML virtual machine , 2001, OOPSLA '01.

[53]  Suzanne Robertson,et al.  Mastering the Requirements Process , 1999 .

[54]  Jeannette M. Wing,et al.  A behavioral notion of subtyping , 1994, TOPL.

[55]  M.P.J. Stevens,et al.  Specification and analysis , 1996 .

[56]  Reinhold Plösch,et al.  MASIF und FIPA: Standards für AgentenÜbersicht und Anwendung , 2002, Informatik-Spektrum.

[57]  Josef Templ.  Metaprogramming in Oberon , 1994 .

[58]  Peter Constable,et al.  DSDM: Dynamic Systems Development Method: The Method in Practice , 1997 .

[59]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[60]  Richard Mitchell,et al.  Contract-oriented specifications , 1997, Proceedings. Technology of Object-Oriented Languages. TOOLS 24 (Cat. No.97TB100240).

[61]  Richard Mitchell,et al.  Extending a method of devising software contracts , 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32.

[62]  Reinhold Plösch.  Design by Contract for Python , 1997, APSEC.

[63]  David Lorge Parnas,et al.  A Rational Design Process: How and Why to Fake It , 1985, TAPSOFT, Vol.2.

[64]  Nancy M. Wilkinson.  Using CRC cards: an informal approach to object-oriented development , 1995 .

[65]  Susan Lilly,et al.  Use case pitfalls: top 10 problems from real projects using use cases , 1999, Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278).

[66]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .