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:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Reading, MA :
Addison-Wesley,
1999.
|
| Subjects: |
| LEADER | 02273nam a22003258a 4500 | ||
|---|---|---|---|
| 001 | c000385978 | ||
| 003 | CARM | ||
| 005 | 00000000000000.0 | ||
| 008 | 990112s1999 mau b 001 0 eng | ||
| 010 | |a 99012088 | ||
| 019 | 1 | |a 14454641 |5 LACONCORD2021 | |
| 020 | |a 0201398192 | ||
| 035 | |a (OCoLC)40646275 |5 LACONCORD2021 | ||
| 040 | |a DLC |b eng |c DLC |d OrLoB-B |d LC | ||
| 050 | 0 | 0 | |a QA76.76.D47 |b R635 1999 |
| 082 | 0 | 4 | |a 005.1015113 |
| 100 | 1 | |a Robertson, David |q (David S.) | |
| 245 | 1 | 0 | |a Software blueprints : |b lightweight uses of logic in conceptual modelling / |c David Robertson, Jaume Agustí. |
| 260 | |a Reading, MA : |b Addison-Wesley, |c 1999. | ||
| 300 | |a xvii, 220p. : |b ill ; |c 24cm. | ||
| 505 | 0 | |a 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. | |
| 520 | 1 | |a "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 pragmatics of model design tends to be informal and parochial. Lightweight uses of logic can add precision without destroying the intuitions we use to interpret our descriptions. Computing with logic allows us to make use of this precision in providing automated support tools. Modern information scientists need to know what these methods are for and may need to build their own. This book gives you a place to begin."--BOOK JACKET. | |
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Computer software |x Development. | |
| 650 | 0 | |a Computer logic. | |
| 650 | 0 | |a Mathematical models. | |
| 700 | 1 | |a Agustí, Jaume. | |
| 852 | 8 | |b CARM |h A3:AI14C0 |i F07810 |p 0478245 |f BK | |
| 999 | f | f | |i e0521ffd-9e15-5832-8f7f-e51d49c0008d |s f07d267c-b7f0-55db-9f94-c7599bb96bf8 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e F07810 |f A3:AI14C0 |h Other scheme |i book |m 0478245 |