عنوان

Semantics of specification languages (SoSL) :

(Number (ISBN

3540198547

(Number (ISBN

9783540198543

Number

b536488

Title Proper

Semantics of specification languages (SoSL) :

General Material Designation

[Book]

Other Title Information

Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993

First Statement of Responsibility

Ed. by D.J. Andrews, J.F. Groote and C.A. Middelburg

Place of Publication, Distribution, etc.

Berlin

Name of Publisher, Distributor, etc.

Springer

Date of Publication, Distribution, etc.

1994

Specific Material Designation and Extent of Item

357 sider

Series Title

Workshops in computing

Text of Note

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.

Ed. by D.J. Andrews, J.F. Groote and C.A. Middelburg

C A Middelburg

D J Andrews

J F Groote

Electronic name

[Book]

Y