BCS-FACS Northern Formal Methods Workshop: proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK, 23-24 September 1996
The main aim of the BCS-FACS Northern Formal Methods Workshop, held in Ilkley, UK, 23-24 September 1996, was to provide an informal atmosphere for the exchange of ideas in order to contribute to fundamental research in the use of formal methods for the development of concurrent, real-time and object-oriented systems. The full papers from the BCS-FACS Northern Formal Methods Workshop are available online at: http://ewic.springer.co.uk/ 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).
What people are saying - Write a review
We haven't found any reviews in the usual places.
A.S. Evans agent-based systems analysis appears in abstract application asynchronous communication Asynchronous Hardware asynchronous systems ation Avionics B-Toolkit BCS-FACS Northern Formal booklet C-elements Computer conceptual gap Concurrent Real-Time control flow Correct Classes Databases demonstrate design patterns developed an approach discussed Dynamically Distributed Systems Embedded Software environment Epitaph for Formal eWiC explosion Formal Development Formal Methods Workshop Formal Model formal refinement formal specification Formalising formally correct Four-slot Framework for Supporting framework offers full papers Glasgow hardware design industrial integrated interfaces Invited paper ISBN Learning Formal Leeds LOTOS specific mechanism Micropipeline MIST modal MTCCS Northern Formal Methods Object-Oriented Over-Sold and Under-Used paper describes passwords you need problem programming language properties provides the passwords real-time program semantics software development specification language specification style Specifications of Requirements State-Based Systems strategies and activities structural refinement techniques temporal logic tems three process algebras tion tool transformations are formal validation verification XTGraphs