Stepwise refinement process with modularity

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the 11th international conference on Software engineering S. 166 - 177
Hauptverfasser: Nakagawa, Ataru T., Futatsugi, Kokichi
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: New York, NY, USA ACM 15.05.1989
Schriftenreihe:ACM Conferences
Schlagworte:
Computing methodologies > Symbolic and algebraic manipulation > Computer algebra systems
Software and its engineering > Software notations and tools > System description languages > Specification languages
Theory of computation > Logic
Theory of computation > Semantics and reasoning
Theory of computation > Semantics and reasoning > Program reasoning
executable specification
stepwise refinement
programme verification
structural programming
algebraic specification language
formal specification
OBJ2
ISBN:0818619414, 9780818619410
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Bibliographie:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:0818619414
9780818619410
DOI:10.1145/74587.74611