Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop

AvFEENSTA B FEENSTRA FEENSTA R J WIERINGA,Roel J Wieringa

Inbunden, Engelska, 1995

1 733 kr

Tillfälligt slut

Beskrivning

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.

Produktinformation

Utgivningsdatum:1995-06-01
Format:Inbunden
Språk:Engelska
Antal sidor:300
Förlag:World Scientific Publishing Co Pte Ltd
ISBN:9789810222406

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

Algebraic specification; temporal specification; active system specification; action reification in object-oriented specifications; defaults in specification; normative specification; system design methods.