Combining Object-Oriented Analysis and Formal Description Techniques
No abstract available.
Related papers
- Reflection as a Tool to Debug Objects SLE 2022
- When Objects Collide: Experiences with Reusing Multiple Class Hierarchies OOPSLA 1990
- The Process of Object-Oriented Design OOPSLA 1992
- A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing OOPSLA 1996
- Towards a Formalization of the Unified Modeling Language ECOOP 1997
- A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts OOPSLA 1999
- Random testing for higher-order, stateful programs OOPSLA 2010
- A logic for information flow in object-oriented programs POPL 2006