A specification model for interface suites_

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2185, Issue , 2001, Pages 457-471

  Roubtsova, E E ^a   Van Gool, L ^a   Kuiper, R ^a   Jonkers, H ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b PHILIPS RESEARCH LABORATORIES   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

COMPONENT-ORIENTED; CONSISTENCY CHECKS; SPECIFICATION MODELING; STRUCTURED SPECIFICATION; TOOL SUPPORT; UML DIAGRAMS;

UNIFIED MODELING LANGUAGE;

EID: 23044530172     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45441-1_33     Document Type: Conference Paper

References (18)

1. Carrier Sense Multiple Access\Collision Detection (CSMA\CD), http://webopedia.internet.com/TERM/C/CSMA−CD.html 1998
2. A. Evans and R. France and K. Lano and B. Rumpe. The UML as a Formal Modeling Notation. The Unified Modeling Language. UML’98: Beyond the Notation, LNCS 1618:336-348, 1998
3. G. Booch, J. Rubaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Amsterdam, 1999
4. C. Szyperski. Component Software Beyond Object-Oriented Programming. Addison-Wesley, New-York, 1998
5. D. D’Souza and A. Wills. Objects, Components and Frameworks with UML. The Catalysis Approach. Addison-Wesley, 1999
6. E.E. Roubtsova and J.van Katwijk and W.J. Toetenel and C. Pronk and R.C.M .de Rooij. The Specification of Real-Time Systems in UML. MCTS2000, http://www.elsevier.nl/locate/entcs/volume39.html, 2000
7. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Elements of Reusable Object-Oriented Software. Addison-Wesley, New-York, 1994
8. H.B.M. Jonkers. ISpec: Towards Practical and Sound Interface Specifications. Integrated Formal Methods, LNCS1945:116-135, 2000
9. H.B.M. Jonkers. Interface-Centric Architecture Descriptions. WICSA 2001, The Working IEEE/IFIP Conference on Software Architecture, August 2001
10. J. Cheesman, and J. Daniels. UML Components: A Simple Process for Specifying Component-Based Software. Addison Wesley, 2000
11. R. Kling. Application Development with IDL. Ronn Kling Consulting, http://www.rlkling.com, 1999
12. L.C.M. van Gool. Cylindrische Componenten Calculus. (in Dutch). Eindhoven University ofT echnology, Department ofComputer Science, 2000
13. J. Lilius and I.P. Palor. Formalising UML StateMachines for Model Checking. UML’99. Beyond the Standard, LNCS 1723, pages 430-445, 1999
14. Rational Software Corporation. Rational Rose. http://www.rational.com/products/rose, 2000
15. Rational Software Corporation. Rose Extensibility Reference 2000e, 2000
16. T. Reenskaug. Working with objects. Manning Publications, 1995
17. R. Helm and I.M. Holland and D. Gangopadhyay. Contracts: Specifying Behavioral Compositions in Object-Oriented Systems. Proc. ECOOP/OOPSLA’90, ACM, pages 169-180, 1990
18. D. Riehle. Framework Design: A Role Modeling Approach. Ph.D. Thesis, No 13509. Zurich, Switzerland, ETH Zurich, 2000