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.

Bibliographic Details

Main Authors:	Wirsing, Martin. editor., Bergstra, Jan A. editor., SpringerLink (Online service)
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!