Algebraic Methods: Theory, Tools and Applications [electronic resource] /
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.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1989
|
Subjects: | Computer science., Computer communication systems., Software engineering., Computer programming., Programming languages (Electronic computers)., Computer logic., Computer Science., Software Engineering., Software Engineering/Programming and Operating Systems., Programming Languages, Compilers, Interpreters., Programming Techniques., Computer Communication Networks., Logics and Meanings of Programs., |
Online Access: | http://dx.doi.org/10.1007/BFb0015032 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | 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. |
---|