6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, Organised by BCS-FACS, London, 5–7 January 1994
Springer London, Jul 19, 1994 - Computers - 305 pages
The Sixth Refinement Workshop took place at City University in London from 5th to 7th January 1994. The present volume includes all of the papers which were submitted and accepted for presentation, together with two papers by invited speakers. The workshops in the series have generally occurred at one year intervals but in this last case a two year period had elapsed. These workshops have established themselves as an important event in the calendar for all those who are interested in progress in the underlying theory of refinement and in the take-up by industry of the methods supported by that theory. One of the proposed themes of the sixth workshop was the reporting of successful adoption in industry of rigorous software development methods. The programme committee was perhaps slightly disappointed by the response from industry to the call in this respect. However, the recent period could be characterised as one of consolidation, when those companies which have made the decision that formal development methods are important to their business have been adopting them where appropriate and finding them to be worthwhile. On the other hand,. the difficult economic climate which exists in most parts of the developed world is perhaps not the context within which companies still dubious about the benefits are goil'\g to opt for making major changes in their working practices.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Using Refinement to Understand Architectural Connection
Improving the Process of System Specification
Testing and Safety Analysis of AM Abstract Machine
11 other sections not shown
Other editions - View all
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop ...
Limited preview - 2012
abstract agents algorithm approach assignment await behaviour C.A.R. Hoare Carroll Morgan clear-text messages co-refinement component Computer Science condition conjunct connector constraint context controller correct coupling invariant data refinement defined definition denotes derivation dining philosophers problem entity type envelope environment environment-based example execution expression flow formal formalisation formula function goals goſi guarded command implementation initial initialisation input instantiated Introduce iteration Jifeng language loop loop invariant machine machine language metavariables method micro steps monotonic nondass nondeterministic notation object-oriented Object-Z operation output parallel philosophers postcondition precondition predicate program refinement proof obligations properties protocol pſi PSpace reactive system read frame refinement calculus refinement relation represented role rule safetyR satisfied semantics sequence sequential composition skip Software Springer-Verlag string temporal logic theorem tion Transformation Schema transition variables viewpoint window inference Workshop write frames