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!
Popis
Bibliografie:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:0818619414
9780818619410
DOI:10.1145/74587.74611