Design for verification with dynamic assertions

Proceedings of the 2005 29th Annual IEEE/NASA Software Engineering Workshop, SEW'05

Volumn 2005, Issue , 2005, Pages 285-292

  Mehlitz, Peter C ^a   Penix, John ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN-FOR-VERIFICATION (D4V) APPROACH; SCALABILITY PROBLEMS; STATIC ANALYSIS; TESTABILITY;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; DESIGN FOR TESTABILITY; INFORMATION TECHNOLOGY; LARGE SCALE SYSTEMS; PROBLEM SOLVING;

SOFTWARE ENGINEERING;

EID: 33646942811     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEW.2005.23     Document Type: Conference Paper

References (10)

1. Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides: "Design Patterns Elements of Reusable Object-Oriented Software", Addison Wesley, 1995
2. Frederick P. Brooks: "No Silver Bullet: Essence and Accidents of Software Engineering", Proceedings of the IFIP '86 conference
3. Reto Kramer: "iContract - the Java Design by Contract tool", Proceedings of Technology for Object-Oriented Languages and Systems, TOOLS-USA. IEEE Press, 1998
4. G. Brat, K. Havelund, S. Park, W. Visser: "Java PathFinder - A second generation of a Java model checker", Proceedings of the Workshop on Advances in Verification, Chicago, Illinois, July 2000.
5. Kent Beck: "Extreme Programming Explained: embrace change", Addison Wesley. 2000
6. J. Magee, J. Kramer: "Concurrency: State Models & Java Programs", Wiley 1999
7. Bertrand Meyer: "Object Oriented Software Construction", Prentice Hall 1997
8. B. Boehm and P. Bose: "A Collaborative Spiral Software Process Model Based on Theoy W", Third International Conference on the Software Process, 1994.
9. M. Mansouri-Samani, P. Mehlitz, L. Markosian, O. OMalley, D. Martin, L. Moore, J. Penix, and W. Visser: "Propel: Tools and Methods for Practical Source Code Model Checking", DSN 2003Workshop on Model Checking for Dependable Software-Intensive Systems. San Francisco, June, 2003
10. P. Mehlitz, J. Penix, 2003: "Design for Verification - Using Design Patterns to Build Reliable Systems". Workshop on component-based software engineering at ICSE 2003