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!

Schreiben Sie den ersten Kommentar!