Software evolution in componentware using requirements/assurances contracts

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2000, Pages 147-156

  Rausch, Andreas ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; CONTRACTS; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS;

COMPONENTWARE; FORMAL METHODS; SOFTWARE EVOLUTION;

SOFTWARE ENGINEERING;

EID: 0033712778     PISSN: 02705257     EISSN: None     Source Type: None    
DOI: 10.1145/337180.337198     Document Type: Conference Paper

References (29)

1. K. Bergner, A. Rausch, M. Sihling, A. Vilbig, and M. Broy. A formal model for componentware. In Formale Beschreibungstechniken für verteilte Systeme FBT'99. Herbert Utz Verlag, 1999.
2. D. Box. Essential COM. Object Technology Series. Addison-Wesley, 1998
3. B. Selic, G. Gullekson and P. T. Ward. Real-Time Object-Oriented Modeling. Wiley & Sons, 1994.
4. M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. Gritzner, and R. Weber. The design of distributed systems - an introduction to FOCUS. Technische Universität München, January 1992.
5. M. Broy, E. Denert, K. Renzel, and M. Schmidt (eds.). Software architectures and design patterns in business applications. Technische Universität München, 1997.
6. M. Broy, C. Hofmann, I. Kruger, and M. Schmidt. Using extended event traces to describe communication in software architectures. In Proceedings of the APSEC '97, Hong Kong. IEEE Computer Society, 1997.
7. M. Broy and I. Krger. Interaction Interfaces - Towards a scientific foundation of a methodological usage of Message Sequence Charts. In Proceedings of the ICFEM 98. IEEE Press, 1998.
8. M. Buchi and W. Weck. A plea for grey-box components. Technical Report 122, Turku Center for Computer Science, September 1997.
9. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented Software Architecture - A System of Patterns. Wiley & Sons, 1996.
10. D. Flanagan. Java in a Nutshell. O'Reilly & Associates, Inc., 2nd edition, 1996.
11. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
12. D. Harel. On Visual Formalisms. Communications of the ACM, 31(5):514-531, May 1988.
13. R. Helm, I. M. Holland, and D. Gangopadhyay. Contracts: Specifying Behavioral Compositions in Object-Oriented Systems. ECOOP/OOPSLA '90 Proceedings, pages 169-180, Oct. 1990.
14. Ivar Jacobson and Grady Booch and James Rumbaugh. The Unified Software Development Process. Addison Wesley, 1999.
15. I. Jacobson. Object-Oriented Software Engineering - A Use Case Driven Approach. Addison-Wesley, 1992.
16. JavaSoft. Enterprise JavaBeans website, 〈http://java.sun.com/- products/-ejb/〉, 1999.
17. L. Lamport. The temporal logic of actions. ACM Tkansactions on Programming Languages and Systems, 16(3), 1994.
18. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Iowa State University, 1999.
19. C. Lucas, P. Steyaert, and K. Mens. Managing software evolution through reuse contracts. Vrije Universiteit Brussel Faculteit Wetenschappen, BELGIUM, 1997.
20. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 2nd edition, 1997.
21. G. Neumann. 500 Europa: Der Club der Innovatoren. Information Week, pages 10-12, Jan. 1999.
22. OMG. The Common Object Request Broker: Architecture and Specification. Object Management Group, February 1998.
23. OMG. OMG Unified Modeling Language Specification. Version 1.3, Object Management Group, 1999.
24. R. Orfali and D. Harkey. Client/Server Programming with Java and CORBA. John Wiley & Sons, 1997.
25. V. Rajlich. Modeling Software Evolution by Evolving Interoperation Graphs. In Software Change and Evolution 1999 Workshop Proceedings, 1999.
26. A. Rausch. Executive Summary: Software Evolution in Componentware - A Practical Approach. In Software Change and Evolution 1999 Workshop Proceedings, 1999.
27. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991.
28. B. Rumpe. Formale Methodik des Entwurfs verteilter objektorientierter Systeme. PhD thesis, Technische Universität München, 1996.
29. P. Steyaert, C. Lucas, K. Mens, and T. D'Hondt. Reuse Contracts: Managing the Evolution of Reusable Assets. In OOPSLA 1996 Conference Proceedings, ACM Sigplan Notices, pages 268-285. ACM Press, 1996.