|
" Design methods for reactive systems : "
R.J. Wieringa
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
696251
|
| Doc. No
|
:
|
b518440
|
| Main Entry
|
:
|
Wieringa, Roel
|
| Title & Author
|
:
|
Design methods for reactive systems : : Yourdan, Statemate, and the UML /\ R.J. Wieringa
|
| Publication Statement
|
:
|
Boston :: Morgan Kaufmann Publishers,, 2003
|
| Page. NO
|
:
|
xxv, 457 pages :: illustrations ;; 24 cm
|
| ISBN
|
:
|
1558607552
|
|
|
:
|
: 9781558607552
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Contents
|
:
|
Reactive systems -- The environment -- Stimulus-response behavior -- Software specifications -- Mission statement -- Function refinement tree -- Service description -- Entity-relationship diagrams -- ERD modeling guidelines -- The dictionary -- State transition lists and tables -- State transition diagrams -- Behavioral semantics -- Behavior modeling and design guidelines -- Data flow diagrams -- Communication diagrams -- Communication semantics -- Context modeling guidelines -- Requirements-level decomposition guidelines -- Postmodern Structured Analysis (PSA) -- Statemate -- The unified modeling language (UML) -- Not yet another method (NYAM)
|
| Abstract
|
:
|
"Design Methods for Reactive Systems helps the software designer meet today's increasingly complex challenges by bringing together specification techniques and guidelines proven useful in the design of a wide range of software systems, allowing the designer to evaluate and adapt different techniques for different projects. Written in an exceptionally clear and insightful style, Design Methods for Reactive Systems is a book that students, engineers, teachers, and researchers will undoubtedly find of great value."--Jacket
|
| Subject
|
:
|
Computer software-- Development
|
| Subject
|
:
|
System design
|
| Dewey Classification
|
:
|
005.1
|
| LC Classification
|
:
|
QA76.76.D47W525 2003
|
| |