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...
Saved in:
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | 图书 |
| 语言: | English |
| 出版: |
Reading, MA :
Addison-Wesley,
1999.
|
| 主题: |
书本目录:
- 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.