Research Catalog

Software blueprints : lightweight uses of logic in conceptual modelling

Title: Software blueprints : lightweight uses of logic in conceptual modelling / David Robertson and Jaume Agustí.
Author: Robertson, David (David S.)
Publication: New York : ACM Press ; Harlow, England ; Reading, Mass. : Addison-Wesley, 1999.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	QA76.76.D47 R635 1999	Off-site

Holdings

Details

Additional Authors

Agustí, Jaume

Subject

Bibliography (note)

Includes bibliographical references (p. 207-216) and index.

Contents

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.

ISBN

0201398192

LCCN

99012088

OCLC

ocm40646275

Owning Institutions

Columbia University Libraries