Stepwise refinement process with modularity

Saved in:
Bibliographic Details
Published in:Proceedings of the 11th international conference on Software engineering pp. 166 - 177
Main Authors: Nakagawa, Ataru T., Futatsugi, Kokichi
Format: Conference Proceeding
Language:English
Published: New York, NY, USA ACM 15.05.1989
Series:ACM Conferences
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Bibliography:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:0818619414
9780818619410
DOI:10.1145/74587.74611