Stepwise refinement process with modularity

Uložené v:

Podrobná bibliografia
Vydané v:	Proceedings of the 11th international conference on Software engineering s. 166 - 177
Hlavní autori:	Nakagawa, Ataru T., Futatsugi, Kokichi
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	New York, NY, USA ACM 15.05.1989
Edícia:	ACM Conferences
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!