Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling - Couverture rigide

Robertson, David; Agusti, Jaume

Couverture rigide

ISBN 10 : 0201398192 ISBN 13 : 9780201398199

Editeur : Addison Wesley, 1999

Synopsis

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. Where do you start when building models in a precise language like logic? One way is by following standard paradigms for design and adapting these to your needs. Some of these come from an analysis of existing informal notations. Others are from within logic itself. We take you through a sample of these, from more commonplace styles of formal modelling to non-standard methods such as techniques editing and argumentation. Each of these provides a window onto broader areas of applied logic and gives you a basis for adapting the method to your own needs.

A propos du livre

À propos de l?auteur

David Robertson is a lecturer in the Division of Informatics at Edinburgh, where he leads the Software Systems and Processes Group. His research (currently supported by an advanced fellowship from the UK Engineering and Physical Sciences Research Council) is primarily on the use of computational logic to support the design and analysis of complex systems and problem descriptions. Jaume Agustí is head of the Department of Formal Methods in the Institut d'Investigací en Intelligència Artificial (CSIC) at Bellaterra (Barcelona), where he leads the Computational Logic Group. His research is primarily on the refinement of formal requirements and high-level specifications into computational models of complex problems.

Détails de l'édition

• Éditeur: Addison Wesley
• Date d'édition: 1999
• Langue: anglais
• ISBN 10: 0201398192
• ISBN 13: 9780201398199
• Reliure: Relié
• Nombre de pages: 240
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible