[CSUSB]>> [CNS]>> [Comp Sci Dept]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
Jackson01
- Michael A Jackson
- Problem Frames: Analyzing and structuring software development problems
- Addison Wesley 2001 ISBN 0-201-59627-X QA76.76 D47 J32 2001
- =ESSAY PROBLEM ANALYSIS REQUIREMENTS REALITIES SYSTEMS METHODS
- An in depth attempt at deconfusing a critical part of software development: understanding the problems and planning how to tackle them. Includes detailed references to several methods and some classic examples from the literature,
- Five basic
problem frames
Required Behavior, Commanded Behavior, Information Display, Simple Workpieces, Transformation.
- Plus many variants and compositions,
- Classification of domains: lexical(symbolic, formal, data like), causal (contolable), biddable( may not follow commands...)
- Domains are collections of phenomena: events, entities, values.
- Connected by shared phenomena.
- Good discussion of the concerns that arise with different types of problems and domains.
For example: Allowing for messages that don't make it through mail to the recipient.
- Many examples. New Glossary, Careful definitions of what the diagrams mean,
- Diagrams show domains, conections, and requirements.
- Distinguishes: the machine, the parts of reality, the requirements, the existence of parts of reality that a symbolic descriptions, ...
- Some advice for decomposing a problem into subproblems -- for example introducing a designed model of a part of reality and a machine to keep it synchronized, plus other machines to meet other requirements.
- Notes problems of synchronizing the different machines that solve different subproblems.
- Introduces the idea of a formal/lexical/symbolic domain which specifies requirements to be imposed on another doamin by the machine.
- Good discussion of problems caused by dome doamins not being 100% under control and a suggestion of a special type of problem of auditting compliance.
Search for bibliographic items containing a matching string. Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]