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.