Till | 6th Refinement Workshop | E-Book | sack.de
E-Book

E-Book, Englisch, 309 Seiten, eBook

Reihe: Workshops in Computing

Till 6th Refinement Workshop

Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994
1994
ISBN: 978-1-4471-3240-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

E-Book, Englisch, 309 Seiten, eBook

Reihe: Workshops in Computing

ISBN: 978-1-4471-3240-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark



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.

Till 6th Refinement Workshop jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


Invited Papers.- Using Refinement to Understand Architectural Connection.- Formal Semantics for Ward and Mellor’s Transformation Schemas.- Submitted Papers.- Improving the Process of System Specification and Refinement in B.- Testing and Safety Analysis of AM (Abstract Machine) Specifications.- Formal Development of Authentication Protocols.- Deriving Language Recognition Algorithms. A Case Study in Combining Program Specialisation and Data Refinement.- Program Refinement by Theorem Prover.- Co-Refinement.- Metavariables and Conditional Refinements in the Refinement Calculus.- Machine Code Programs Are Predicates Too.- Laws of Parallel Programming with Shared Variables.- Environment-Based Development of Reactive Systems.- Refinement in Object-Oriented Specification Languages.- Operation Semantics with Read and Write Frames.- Proof Obligations for Real-Time Refinement.- Author Index.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.