Software blueprints : lightweight uses of logic in conceptual modelling /
"Conceptual models are descriptions of our ideas about a problem, used to shape the implementation of a solution to it. Everyone who builds complex information systems uses such models - be they requirements analysts, knowledge modellers or software designers - but understanding of the pragmati...
Zapisane w:
| 1. autor: | |
|---|---|
| Kolejni autorzy: | |
| Format: | Książka |
| Język: | English |
| Wydane: |
Reading, MA :
Addison-Wesley,
1999.
|
| Hasła przedmiotowe: |
Spis treści:
- Ch. 1. Introduction
- Ch. 2. Models in a design lifecycle
- Ch. 3. Logic as a modelling language
- Ch. 4. Communication
- Ch. 5. Re-use of paradigms: parameterisable components
- Ch. 6. Design processes inspired by formal methods
- Ch. 7. Argumentation
- Ch. 8. Temporal reasoning
- Ch. 9. Syntax, semantics and pragmatics
- Ch. 10. Conclusion
- App. B. Syntax of expressions.