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: | 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!
|
Similar Items
-
Algebraic Methods: Theory, Tools and Applications [electronic resource] /
by: Wirsing, Martin. editor., et al.
Published: (1989) -
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings /
by: Najm, Elie. editor., et al.
Published: (2003) -
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings /
by: Najm, Elie. editor., et al.
Published: (2003) -
Proof and Computation [electronic resource] /
by: Schwichtenberg, Helmut. editor., et al.
Published: (1995) -
Proof and Computation [electronic resource] /
by: Schwichtenberg, Helmut. editor., et al.
Published: (1995)