Validated designs for object-oriented systems

Validated Designs for Object-oriented Systems

Volumn , Issue , 2005, Pages 1-402

  Fitzgerald, John ^a   Larsen, Peter Gorm ^b   Mukherjee, Paul ^c   Plat, Nico ^d   Verhoef, Marcel ^e  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b SYSTEMATIC A S   (Denmark)

^c Systematic Software Engineering A S   (United States)

^d West Consulting BV   (Netherlands)

^e RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84892272876     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/b138800     Document Type: Book

References (32)

1. The VDM Tool Group. VDM Toolbox API. Technical Report, IFAD, October 2000. Visit the book's Web site for further information.
2. Boris Beizer. Software Testing Techniques, second edition. Van Nostrand Reinhold, 1990.
3. Juan Bicarregui, John Fitzgerald, Peter Lindsay, Richard Moore and Brian Ritchie. Proof in VDM: A Practitioner's Guide. FACIT, Springer-Verlag, 1994.
4. D. Bjørner and C.B. Jones, editors. Formal Specification and Software Development. Prentice-Hall International, 1982.
5. Barry W. Boehm. Software Engineering Economics. Prentice-Hall, Inc., 1981.
6. Grady Booch, Ivar Jacobson and Jim Rumbaugh. The Unified Modelling Language User Guide. Addison-Wesley, 1999.
7. The VDM Tool Group. The VDM++ to Java Code Generator. Technical Report, IFAD, October 2000. Visit the book's Web site for further information.
8. Alistair Cockburn. Writing Effective Use Cases. Addison Wesley, 2000.
9. John Fitzgerald and Peter Gorm Larsen. Modelling Systems - Practical Tools and Techniques in Software Development. Cambridge University Press, 1998.
10. Martin Fowler. UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison Wesley Longman, 1999.
11. Erich Gamma, Richard Helm, Ralph Johnson and John Vlissides. Design Patterns - Elements of Reusable Object-Oriented Software. Addison Wesley, Pearson Education, 1995.
12. James Gosling, Bill Joy, Guy Steele and Gilad Bracha. The Java Language Specification. Addison Wesley, 2000.
13. Robert Harris. ENIGMA. Arrow Books Limited, 1995.
14. Andrew Hodges. Alan Turing: The Enigma. Vintage, Random House, 1992.
15. Standard for Software Verification and Validation - Description. IEEE, 1998.
16. Recommended Practice for Architectural Description for Software-Intensive Systems 2000. IEEE, 2000.
17. Quality Management and Quality Assurance - Vocabulary. 1994.
18. P.G. Larsen, B.S. Hansen, H. Brunn, N. Plat, H. Toetenel, D.J. Andrews, J. Dawes, G. Parkin, et al. Information Technology - Programming Languages, Their Environments and System Software Interfaces - Vienna Development Method - Specification Language - Part 1: Base Language. December 1996.
19. Cliff B. Jones. Software Development: A Rigorous Approach. Prentice- Hall International, 1980.
20. Cliff B. Jones. Systematic Software Development Using VDM, second edition. Prentice Hall, 1990.
21. C.B. Jones. Scientific Decisions which Characterise VDM. In Jeannette M. Wing, Jim Woodcock and Jim Davies, editors, FM'99 - Formal Methods, Volume I, pages 28-47, Lecture Notes in Computer Science 1708, Springer-Verlag. 1999.
22. Philippe Kruchten. Architectural Blueprints - The 4+1 View Model of Software Architecture. IEEE Software, 12(6):42-50, November 1995.
23. The VDM Tool Group. The IFAD VDM++ Language. Technical Report, IFAD, April 2001. Visit the book's Web site for further information.
24. Roger S. Pressman. Software Engineering: A Practitioner's Approach, sixth edition. McGraw-Hill, 2004.
25. J. Myers and M. Rose. Post Office Protocol - Version 3. Technical Report, 1996. http://rfc.sunsite.dk/rfc/rfc1939.html.
26. Doug Rosenberg and Kendall Scott. Use Case Driven Object Modeling with UML: A Practical Approach. Object Technology Series, Addison Wesley, 1999.
27. Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
28. Simon Singh. The Code Book. Fourth Estate Limited, 1999.
29. Ian Sommerville. Software Engineering, seventh edition. Addison-Wesley, 2004.
30. Unicode Editorial Committee. The Unicode Standard Version 3.2. Technical Report, 2002. http://www.unicode.org/unicode/reports/tr28/.
31. The VDM Tool Group. VDM++ Toolbox User Manual. Technical Report, IFAD, October 2000. Visit the book's Web site for further information.
32. John Zachmann. A Framework for Information Systems Architecture. IBM Systems Journal, 26(3), 1987. See also www.zifa.com.