Verifying Object-Oriented Software: Lessons and Challenges
Abstract elided by the publisher.
Related papers
- Lessons from the Experiences of Leading-Edge Object Technology Projects in Hewlett Packard OOPSLA 1995
- MI - An Object Oriented Environment for Integration of Scientific Applications OOPSLA 1994
- Development of an OO Infrastructure for Mainframe Database Applications OOPSLA 1994
- Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience OOPSLA 1997
- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking VMCAI 2004
- Lessons from the Battlefield OOPSLA 1995
- Lessons Learned from Developing the MontiCore Language Workbench: Challenges of Modular Language Design SLE 2025
- Reuse of Algorithms: Still a Challenge to Object-Oriented Programming OOPSLA 1997