Wirsing

Algebraic Methods: Theory, Tools and Applications

Mitarbeit:Wirsing, Martin; Bergstra, Jan A.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 394
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-51698-9
• 1989.
• Seitenzahl: 568
• Erscheinungstermin: 20. September 1989
• Englisch
• Abmessung: 235mm x 155mm x 31mm
• Gewicht: 1001g
• ISBN-13: 9783540516989
• ISBN-10: 3540516980
• Artikelnr.: 09249524

Autorenporträt

Prof. Dr. Martin Wirsing ist Leiter des Lehrstuhls für Programmierung und Software-Technik des Instituts für Informatik der LMU München und Vizepräsident der LMU für den Bereich Studium.

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.