Buch, Englisch, 357 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 557 g
Reihe: Workshops in Computing
Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 ¿ 27 October 1993
Buch, Englisch, 357 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 557 g
Reihe: Workshops in Computing
ISBN: 978-3-540-19854-3
Verlag: Springer
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
The Development of Z.- An Overview of the Development of COLD.- The Formal Basis for the RAISE Specification Language.- The Static Part of the Design Language COLD-K.- Generation of Proof Obligations for Type Consistency (Extended Abstract).- Experiences in Developing a Proof Theory for VDM Specifications.- Towards Proof Rules for Looseness in Explicit Definitions from VDM-SL.- Loose Real-Time Communicating Agents.- A Timed Specification Language for Concurrent Reactive Systems.- Multiparadigm Specification Languages: A First Attempt at Foundations.- The Semantics of Extended ML: A Gentle Introduction.- Type-Checking Revisited: Modular Error-Handling.- Proof Theory for µCRL: A Language for Processes with Data.- Case Study: Stepwise Development of a Communication Processor Using Trace Logic.- Rendez-vous with Bundle Event Structures.- Syntactic Action Refinement in Presence of Multiway Synchronization.- From Implicit via Inductive to Explicit Definitions.- Verifying Process Algebra Proofs in Type Theory.- Reasoning About Dynamic Features in Specification Languages—A Modal View on Creation and Modification.- Author Index.