Specification and development of interactive system focus on streams, interfaces, and refinement
Saved in:
Main Author: | Broy, Manfred |
---|---|
Other Authors: | Stolen, Ketil |
Format: | Book |
Published: |
New York
Springer
2001
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Specification of software systems
by: Alagar, Vangalur S. 1940-
Published: (1998) -
The construction of formal specifications an introduction to the model-based and algebraic approaches
by: Turner, John G
Published: (1994) -
Systems and software requirements engineering
Published: (1990) -
A handbook of software and systems engineering empirical observations, laws, and theories
by: Endres, Albert
Published: (2003) -
Practical foundations of business system specifications
Published: (2003)