Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop
| By: | R. J. Wieringa; R. B. Feenstra |
| Publisher: | World Scientific Publishing |
| Print ISBN: | 9789810222406 |
| eText ISBN: | 9789814532853 |
| Edition: | 0 |
| Copyright: | 1995 |
| Format: | Page Fidelity |
Lifetime - $279.60
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
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.