Information Systems, Correctness and Reusability Selected Papers from the IS-CORE Workshop, Amsterdam, 26-30 September 1994
0
0
Author Description
This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic specification. Applications include information systems, distributed systems, and real-time systems. One of the major themes in the book is the motivation to bring formal specification techniques one step further towards realistic applications.
Page Count:
291
Publication Date:
1995-01-01
ISBN-10:
9810222408
ISBN-13:
9789810222406
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!