Specification and Transformation of Programs

• 1 January 1990
• book
• Published by Springer Nature
• https://doi.org/10.1007/978-3-642-61512-2

Abstract

Keywords

• ATTRIBUT
• PROGRAMMIERMETHODIK
• PROGRAMMKORREKTHEIT
• PROGRAMMTRANSFORMATION
• SOFTWARE ENGINEERING
• ALGORITHM
• ALGORITHMS
• COGNITION
• COMPLEXITY
• DATA STRUCTURE
• FORMAL LANGUAGE
• FORMAL SPECIFICATION
• FORMALE SPEZIFIKATION
• PROGRAMMING
• STRUCTURED ANALYSIS