- CORDIE 2006 Preliminary Programme Tuesday 4 July
- An Introduction to BON Richard Paige
- Integrating a program design calculus and a subset of UML
- When Are Methods Complementary? Richard F. Paige
- Using an Object-Oriented Predicative Style to Solve the Invoicing Case Study
- Registration Form Symposium on Concurrency, Real-Time and Distribution in Eiffel-
- Richard Paige paige@cs.york.ac.uk
- Agile Specification-Driven Development Jonathan S. Ostroff1
- High-level circuit design Eric C. R. Hehner1 , Theodore S. Norvell2 , Richard F. Paige3
- Towards Model Transformation with TXL Richard Paige and Alek Radjenovic
- Platform Abstract Models for High-Integrity Real-Time Systems (Extended Abstract)
- Using PVS to Support a Real-Time Refinement Calculus (Work-in-Progress and Extended Abstract)
- A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems
- Formal Methods in the Classroom: The Logic of Real-Time Software Design
- Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space
- Combining XP Practices with UML and EJB
- Metamodelling and Conformance Checking with PVS Richard F. Paige and Jonathan S. Ostroff
- Formal Method Integration Heterogeneous Notations
- The Design of a Tool-Supported Graphical Notation for Phillip J. Brooke
- DEPARTMENT OF COMPUTER Heslington, York Y010 5DD
- An Information Model for High-Integrity Real Time Systems Alek Radjenovic, Richard Paige, Philippa Conmy, Malcolm Wallace, and John
- Extending the Message Flow Debugger for MQSI Shuxia Tan, Eshrat Arjomandi, Richard Paige
- Correctness and Performance Analysis of Imperative and
- Specification and Refinement using a Heterogeneous Notation for
- A Test-Based Agile Approach to Checking the Consistency of Class and Collaboration Diagrams
- Combining Agile Practices with UML and EJB: a Case Study in Agile Development
- A Meta-Method for Formal Method Integration
- Formal Aspects of Computing 1998 3: 1 000 Heterogeneous Notations for Pure
- Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods
- Agile Development of a Metamodel in Eiffel Richard F. Paige
- CASE STUDIES IN USING A META-METHOD FOR FORMAL METHOD INTEGRATION
