ISpec: Towards practical and sound interface specifications

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

Volumn 1945 LNCS, Issue , 2000, Pages 116-135

  Jonkers, Hans B M ^a  

^a PHILIPS RESEARCH LABORATORIES   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS;

COMPONENT BASED; FORMAL FRAMEWORK; INTERFACE SPECIFICATION; OBJECT ORIENTED MODELLING; PLUG-INS; SOUND INTERFACE;

SPECIFICATIONS;

EID: 34047160111     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40911-4_8     Document Type: Conference Paper

References (19)

1. Beizer, B., Black-Box Testing, Wiley & Sons (1995).
2. Box, D, Brown, K., Ewald, T., Sells, C., Effective COM, Addison-Wesley (1999).
3. Cook, S., Daniels, J., Designing Object Systems: Object-Oriented Modeling with Syntropy, Prentice Hall (1994).
4. Feijs, L.M.G., Jonkers, H.B.M., Middelburg, C.A., Notations for Software Design, Springer Verlag (1994).
5. Feijs, L.M.G., Jonkers, H.B.M., History, Principles and Application of the SPRINT Method, Journal of Systems and Software 41 (1998), 199-219.
6. Fowler, M., UML Distilled, Addison-Wesley (1997).
7. Groote, J.F., Ponse, A., The syntax and semantics of pCRL. In: Ponse, A., Ver- hoef, C., van Vlijmen, S.F.M. (Eds.), Algebra of Communicating Processes, Workshops in Computing, Springer Verlag (1994), 26-62.
8. Guttag, J.V., Horning, J.J., Larch: Languages and Tools for Formal Specification, Texts and Monographs in Computer Science, Springer-Verlag (1993).
9. Jezequel, J., Train, M., Mingins, C., Design Patterns and Contracts, Addison-Wesley (1999).
10. Jones, C.B., Systematic Software Development using VDM, Second Edition, Prentice Hall (1989).
11. Jonkers, H.B.M., Upgrading the Pre- And Postcondition Technique, In: Prehn, S., Toetenel, W.J. (Eds.), VDM'91, Formal Software Development Methods Vol. 1, LNCS 551, Springer Verlag, (1991), 428-456.
12. Meyer, B., Object-Oriented Software Construction, Second Edition, Prentice Hall (1997).
13. Moonen, J R., Romijn, J.M.T., Sies, O., Springintveld, J.G., Feijs, L.M.G., Koy- rnans, R.L.C., A two-level approach to automated conformance testing of VHDL designs, In: Kim, M., Kang, S., Hong, K. (Eds.), IFIP TC6 International Workshop on Testing of Communicating Systems, Chapman & Hall (1997), 432-447.
14. Rose, G., Object-Z. In: Stepney, S., Barden, R., Cooper, D. (Eds.), Object Orientation in Z, Workshops in Computing, Springer-Verlag (1992), 59-77.
15. Software Engineeering Institute, Carnegie Mellon, SEI Open Systems Glossarywww.sei.cmvi.edu/opensystems/glossary.html.
16. Shankar, A.U., An Introduction to Assertional Reasoning for Concurrent Systems, ACM Computing Surveys, Vol. 25, No. 3. (1993), 225-262.
17. D'Souza, D., Wills, A., Objects, Components, and Frameworks with UML, The Catalysis Approach, Addison-Wesley (1998).
18. Spivey, J.M., The Z Notation: A Reference Manual, Second Edition, Prentice Hall (1992).
19. Szyperski, C., Component Software, Addison-Wesley (1998).