Algebraic Methods: Theory, Tools and Applications. 1st ed. 1989

種類:

電子ブック

責任表示:

edited by Martin Wirsing, Jan A. Bergstra

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989

著者名:

• Wirsing, Martin.
• Bergstra, Jan A.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 394

ISBN:

9783540467588 [3540467580]    

注記:

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.

ローカル注記:

学内専用E-BOOKS (local access only)