Algebraic specification a step towards future software engineering
| Autor: | Helmuth Partsch |
|---|---|
| Rok vydání: | 2005 |
| Předmět: |
Functional specification
business.industry Computer science Programming language Algebraic specification Software requirements specification Specification language Formal methods computer.software_genre Language Of Temporal Ordering Specification Formal specification Programming language specification Software engineering business computer |
| Zdroj: | Algebraic Methods: Theory, Tools and Applications ISBN: 3540516980 Algebraic Methods |
| DOI: | 10.1007/bfb0015034 |
| Popis: | The wide spectrum language CIP-L offers, among other concepts, algebraic abstract types for the formulation of formal problem specifications. This concept has been used for a real-life, large-scale application, viz. the (formal) specification of the (kernel of the) program transformation system CIP-S. From the general experiences with formal specification and the technical experiences in using CIP-L (with all its particularities) that were gained in this project, a number of objectives are derived, both for the design of practically usable languages based on the idea of algebraic specification and their support by appropriate tools as part of a comprehensive software engineering discipline. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|