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...
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Llibre |
| Idioma: | English |
| Publicat: |
Reading, MA :
Addison-Wesley,
1999.
|
| Matèries: |
Taula de continguts:
- 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.