Communications of the ACM
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The verifying compiler: A grand challenge for computing research
Journal of the ACM (JACM)
A Weakest Precondition Semantics for an Object-Oriented Language of Refinement
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Practical analysis for refactoring
Practical analysis for refactoring
Evolving object-oriented designs with refactorings
Evolving object-oriented designs with refactorings
Unifying proof methodologies of duration calculus and timed linear temporal logic
Formal Aspects of Computing
Consistent Code Generation from UML Models
ASWEC '05 Proceedings of the 2005 Australian conference on Software Engineering
A predicative semantic model for integrating UML models
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Generating a prototype from a UML model of system requirements
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Methods and Tools for Formal Software Engineering
Verified Software: Theories, Tools, Experiments
| Hi-index | 0.00 |
This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.