Essential concepts of algebraic specification and program development

The main ideas underlying work on the model-theoretic foundations of algebraic specification and formal program development are presented in an informal way. An attempt is made to offer an overall view, rather than new results, and to focus on the basic motivation behind the technicalities presented...

Full description

Saved in:
Bibliographic Details
Published in:Formal aspects of computing 1997-05, Vol.9 (3), p.229-269
Main Authors: SANNELLA, D, TARLECKI, A
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Programming theory
Theoretical computing
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The main ideas underlying work on the model-theoretic foundations of algebraic specification and formal program development are presented in an informal way. An attempt is made to offer an overall view, rather than new results, and to focus on the basic motivation behind the technicalities presented elsewhere.
ISSN:0934-5043
1433-299X
DOI:10.1007/BF01211084