Skip to main content

On Specification Carrying Software‚ its Refinement and Composition

Matthias Anlauff and Dusko Pavlovic

Book Title
Proceedings of IDPT 2002
Editor
H. Ehrig and B.J. Krämer and A. Ertas
Publisher
Society for Design and Process Science
Year
2002