Verwandte Artikel zu Algebraic Methods: Theory, Tools and Applications (Lecture...

Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 394, Band 394) - Softcover

 
9783540516989: Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 394, Band 394)
Softcover
ISBN 10: 3540516980 ISBN 13: 9783540516989
Verlag: Springer, 1989

Inhaltsangabe

Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL?.- Description algebra.- The calculus ??.- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP? a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1989
Sprache
Englisch
ISBN 10 
3540516980
ISBN 13 
9783540516989
Einband
Taschenbuch
Anzahl der Seiten
568
Herausgeber
Wirsing M.
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
Deutschland