A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-7, Issue , 2001, Pages 192-206

  Paige, Richard ^a   Ostroff, Jonathan ^a  

^a YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EXTREME PROGRAMMING; KEY ELEMENTS; RELIABLE SYSTEMS; RUNTIMES; SOFTWARE DEVELOPMENT METHODS; SOFTWARE-SYSTEMS; STATIC CHECKING; TEST DRIVERS; UML-BASED DEVELOPMENT METHOD;

EID: 85134575114     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Ambler, S.: A closer look at Extreme Modeling, Software Development, April 2001.
2. Beck, K.: Extreme Programming Explained, Longman Publishers, 1999.
3. D'Souza, D.; Wills, A.: Objects, Components, and Frameworks with UML: the Catalysis Approach, Addison-Wesley, 1998.
4. Easterbrook, S.; Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In (Harrold and Schaefer): Proc. International Conference on Software Engineering 2001, IEEE Press, May 2001.
5. The Extended Static Checker. Compaq System Research Centre. www.research.digital.com/SRC/esc/Esc.html, 2000.
6. Fowler, M.: Is design dead? Software Development, April 2001.
7. Graham, I.: Requirements Engineering and Rapid Development, Addison-Wesley, 1998.
8. Jackson, M.: Software Requirements and Specifications, Addison-Wesley, 1995.
9. Kramer, R.: iContract - the Java Design by Contract Tool. In Proc. TOOLS-USA 1998, IEEE Press, August 1998.
10. Meyer, B.: Object-Oriented Software Construction, Second Edition, Prentice-Hall, 1997.
11. Paige, R.; Kaminskaya, L.: A Tool-Supported Integration of BON and JML, submitted July 2001.
12. Paige, R.; Ostroff, J.: Developing BON as an Industrial-Strength Formal Method. In (Wing and Woodcock): Proc. World Congress on Formal Methods 1999, LNCS 1708, Springer-Verlag, September 1999.
13. Walden, K.; Nerson, J.-M.: Seamless Object Oriented Software Architecture, Prentice-Hall, 1995.