Algebraic Specification: Difference between revisions
From Cibernética Americana
Jump to navigationJump to search
No edit summary |
|||
| Line 37: | Line 37: | ||
==See also== | ==See also== | ||
* [[AII]] | |||
* [[:en:Algebraic specification]] | * [[:en:Algebraic specification]] | ||
* [[:en:Common Algebraic Specification Language]]. | * [[:en:Common Algebraic Specification Language]]. | ||
* [[:en:Formal specification]] | * [[:en:Formal specification]] | ||
* [[TAIS]] | |||
== Notes == | == Notes == | ||
<references /> | <references /> | ||
Revision as of 11:58, 9 August 2009
This Page
Algebraic modeling of systems is a current in ai-integration.biz with antecedents going back to Langefors. This page documents the role in my systems offerings.
Overview
Algebraic specification [1][2][3] is a specific approach to the formal specification, prototyping, and general development of computer programs.
Elements
As an area of applied mathematics and computer science, Algebraic Specification (AS) addresses these concerns[1]:
- design of algebraic specification formalisms;
- application of algebraic specification techniques to the definition programming languages;
- generation of testable or executable prototypes from specifications.
Although there is also a branch of this topic which is more concentrated on theoretical computer than applications, the latter are the focus of this article.
Implementation
Algebraic specification Formalisms
Pure Functional Programming and Specifications
Development Practices
The broad spectrum of observed practices in which computer systems are actually developed is a superset of those covered in en:Software Engineering.
Capability Maturity
Software Design in a Social Context
Researchers
See also
- AII
- en:Algebraic specification
- en:Common Algebraic Specification Language.
- en:Formal specification
- TAIS
Notes
- ↑ 1.0 1.1 Bergstra, J. A.; B. Mahr (1989). Algebraic Specification. Academic Press. ISBN 0-201-41635-2.
- ↑ Ehrig, E.; J. Heering, J. Klint (1985). Algebraic Specification. EATCS Monographs on Theoretical Computer Science. 6. Springer-Vrlag.
- ↑ Wirsing, M. (1990). J. van Leeuwen (ed.). ed. Algebraic Specification. Handbook of Theoretical Computer Science. B. Elsevier. pp. 675–788.
