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!

Be the first to leave a comment!