Stepwise refinement process with modularity

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings of the 11th international conference on Software engineering s. 166 - 177
Hlavní autoři:	Nakagawa, Ataru T., Futatsugi, Kokichi
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 15.05.1989
Edice:	ACM Conferences
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!