Abstract
Specification of dynamic behavior is still a difficult problem. Currently a number of formal approaches exist, that are in most cases not suitable for a typical project setting with industrial partners. Nevertheless a number of techniques are available that both contribute to software quality and are applicable. The techniques are uses cases (scenarios), contracts and prototyping. We developed a toolset, that allows to combine scenarios with contract-enriched classes. One of the major advantages is, that scenarios may be executed, i.e., prototypes may be built. We believe, that this toolset leads to more precise scenarios and therefore to a better understanding of the system to be developed.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bäumer D., Bischofberger W. R., Lichter H., Züllighoven H.: “User Interface Prototyping - Concepts, Tools, and Experience”, Proceedings of the 18th International Conference on Software Engineering (ICSE), Berlin, Germany, March 1996, pp 532–541
Behringer D.: “Modelling Global Behaviour with Scenarios in Object-Oriented Analysis”, Theses No. 1655 (1997), Ecole Polythechnique Federale de Lausanne (EPFL), 1997
Bischofberger W. R., Pomberger G: “Prototyping-Oriented Software Development — Concepts and Tools”, Springer-Verlag, 1992
Booch G.: “Object-oriented Analysis and Design with Applications”, The Benjamin Cummings Publishing Company, 1994
Bowen J. P., Hinchey M. G.: “Ten Commandments of Formal Methods”, IEEE Computer, IEEE Computer Society, April 1995, pp 56–63
Carey J. M., Currey J. D.: “The Prototyping Conundrum”, Datamation, June 1, 1989, pp 29–33
Chandy K.M., Misra J., “Parallel Program Design — A Foundation”, Addison-Wesley Reading, MA, 1988
Davis A.M.: “Software Requirements — Objects, Functions, and States”, Prentice Hall, New Jersey, 1993.
Goma H.: “Prototypes — Keep Them or Throw Them Away”, in: Lipp M. E. (ed.): “Prototyping — State of the Art Report”, Pergamon Infotech Ltd, Maidenhead, 1986, pp 41–54
Gordon S., Bieman J.: “Rapid Prototyping and Software Quality: Lessons from Industry”, Technical Report CS-91-113, Department of Computer Science, Colorado State University, 1991
Hoare C.A.R.: “Proof of Correctness of Data Representations”, Acta Informatica, Vol. 1, 1972, pp 271–281
Holland I.M., “Specifying Reusable Components using Contracts”, Proceedings of ECOOP 92, Lecture Notes in Computer Science, No. 615, pp 287–308, 1992
Jaaksi, A.: Our Cases with Use Cases. Journal of Object Oriented Programming, Feburary 1998, pp 58–65
Jacobson, I., Object-Oriented Software Engineering — A Use Case Driven Approach. Addison Wesley, 1992
Kramer R. “iContract-The Java Design by Contract Tool”, to be published in Proceedings of TOOLS USA ′98 conference, 1998
Lutz M.: “Programming Python”, O’Reilly & Associates, Sebastopol, 1996
Meyer B., “Building Bug-Free O-O Software: An Introduction to Design by Contract”, Object Currents, SIGS Publication, Vol. 1, No. 3, March 1996
Meyer B., Object-Oriented Software Construction, 2nd Edition, Prentice Hall Inc., 1997
Meyer B.: “Building Bug-Free O-O Software: An Introduction to Design by Contract”, Object Currents, SIGS Publication, Vol. 1, No. 3, March 1996
Morgan C., “Programming from Specifications”, Prentice-Hall, Englewood Cliffs, NJ, 1990
Page-Jones M., Constantine L.: “Fundamentals of Object-Oriented Design in UML”, Addison-Wesley, 1999
22. Ploesch R., Pichler J.: “Contracts: From Analysis to C++ Implementation”, Proceedings of the TOOLS-30 conference, Santa Barabara, 1999, IEEE Computuer Society Press, pp 248–257
Ploesch R.: “Tool Support for Design by Contract”, Proceedings of TOOLS USA 98 conference, Santa Barabara, USA, IEEE Computer Society Press, pp 282–294, 1998
Rubin, K.S./Goldberg, A.: Object Behavior Analysis. Communication of the ACM, September 1992
Rumbaugh J., Jacobson I., Booch G.: “The Unified Modeling Language Reference Manual”, Addison-Wesley, 1998
Rumbaugh J.: “Object-Oriented Modeling and Design”, Prentice Hall, 1991
Sametinger J., Stritzinger A.: “A Documentation Scheme for Object-oriented Software Systems”, OOPS Messenger, ACM Press, Vol. 4, No. 3, July 1993, pp. 6–17
Sobol M. G, Kagan A.: “Which Systems Analysts are more Likely to Prototype?”, Journal of Information System Management, Summer 1989, pp 36–43
Spivey J. M.: “The Z Notation: A Reference Manual”, International Series in Computer Science, Prentice-Hall, New York, 1992
Standish Group International: Calculating your return of investment from more effective requirements management, Massachusetts, USA, 1996 www.standishgroup.com.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer Science+Business Media New York
About this chapter
Cite this chapter
Plösch, R., Pomberger, G. (2003). Tool Support for Contract Enhanced Scenarios. In: D’Hondt, T. (eds) Technology of Object-Oriented Languages, Systems and Architectures. The Kluwer International Series in Engineering and Computer Science, vol 732. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-0413-9_16
Download citation
DOI: https://doi.org/10.1007/978-1-4615-0413-9_16
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5064-4
Online ISBN: 978-1-4615-0413-9
eBook Packages: Springer Book Archive