Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited.
Donald SannellaAndrzej TarleckiPublished in: Acta Informatica (1988)
Keyphrases
- formal specification
- formal descriptions
- software engineering
- control flow
- case study
- reactive systems
- neural network
- knowledge based systems
- efficient implementation
- formal model
- rapid development
- development process
- software testing
- mathematical theory
- formal language
- knowledge representation
- programming environments
- learning technology standards
- data sets