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...
Збережено в:
| Автор: | |
|---|---|
| Інші автори: | |
| Формат: | Книга |
| Мова: | 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.