Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The Rational Unified Process: An Introduction, Second Edition
The Rational Unified Process: An Introduction, Second Edition
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
The verifying compiler: A grand challenge for computing research
Journal of the ACM (JACM)
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
Verified Software: Theories, Tools, Experiments Vision of a Grand Challenge Project
Verified Software: Theories, Tools, Experiments
Integrating Theories and Techniques for Program Modelling, Design and Verification
Verified Software: Theories, Tools, Experiments
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
POST: a case study for an incremental development in rCOS
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |
We propose a collaboration project to integrate the research effort and results obtained at UNU-IIST on formal techniques in component and object systems with research at TRDDC in modelling and development of tools that support object-oriented and component-based design. The main theme is an integration of verification techniques with engineering methods of modelling and design, and an integration of verification tools and transformation tools. This will result in a method in which a correctprogram can be developed through transformations that are either proven to be correct or by showing that the transformed model can be proven correct by a verification tool.