Methods Integration: Proceedings of the Methods Integration Workshop, Leeds, 25-26 March 1996Antony Bryant, Lesley Semmens The Methods Integration Workshop, held in Leeds in March 1996, had three main aims: to promote research into, and use of, software development methods which combine the use of formal methods with other heuristic or semiformal methods; to evaluate integrated methods in the light of current practice; and to discuss future research directions. The papers cover a range of issues in methods integration, including: data modelling in ZIM; integrated formal and object-oriented methods; CASE support for methods integration; and mapping object diagrams into B specifications. The full papers from the Methods Integration Workshop are available on-line at: http://www.springer.co.uk/eWiC/Workshops/MI96.html This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the user with unlimited access to the site for four years (subject, of course, to entry of the correct passwords each time). |
Common terms and phrases
3-dimensional abstract machine activity modelling algorithms analysis and design analysis models Antony Bryant approach BNFL booklet Co-operative components Computer concepts data modelling Design Method distributed formal methods formal model acts formal specification FSTs full papers Functional Programming graphical modelling Health Authority http://www.springer.co.uk/eWiC/Workshops/MI96.html Implementation Information Modelling inheritance Integrated Formal Integrated Methods is-a link ISBN Leeds mapped MERISE message passing Method and Tool Methods Integration notation Object Diagrams Object Oriented Object-Oriented Analysis Object-Oriented Method oriented analysis paper describes paper looks participative structures passwords you need Process Modelling Programming Languages RACE method real-time systems requirements modelling Requirements Specification RPT+ SART SCCS-VP programs Semantic Function Semmens Soft Systems Analysis software development method Spanning Tree specification step specification techniques Structural Design Structure Diagram Structured Analysis Structured Method structured methodologies System Specification techniques and tools theoretical framework User-Centred VDM++ Ward-Mellor workshop World Wide World Wide Web