Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling

by David Robertson, Jaume Agusti I Cullell

Software BlueprintsLightweight uses of logic in conceptual modellingDavid Robertson & Jaume Agust?Shelf category: Software EngineeringThis book is an exciting and significant contribution to the state-of-the-art and the state-of-the-practice, providing intelligent guidance on how some major chasms can now be bridged between the scruffies and the formalists. Lightweight uses of logic may serve as an important key to the future of software development.Daniel Cooke, University of Texas at El PasoSoftware Blueprints is a timely contribution to the important field of conceptual modelling. It is a technical tour de force, yet also a very readable presentation for both the newcomer and the old hand.John Fox, Advanced Computation Lab, Imperial Cancer Research FundConceptual 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 - butunderstanding of the pragmatics of model design tends to be informal and parochial. Lightweight uses of logic can add precision without destroying the intuitions we u

240 pages, Hardcover

First published August 25, 1999

About the author

Librarian​ ​Note:​ ​There​ ​is​ ​more​ ​than​ ​one​ ​author​ ​in​ ​the​ ​Goodreads​ ​database​ ​with​ ​this​ ​name.