A logical theory of design

F.M. Brazier, P.H.G. van Langen, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


Design tasks typically deal with incomplete information and involve flexible reasoning patterns for which sophisticated control strategies are needed. As a result, the reasoning patterns are highly dynamic and non-monotonic. The logical framework introduced provides formal semantics of state descriptions of design processes based on (compositional) partial models and formal semantics of the reasoning behaviour based on (compositional) partial temporal models.
Original languageEnglish
Title of host publicationAdvances in Formal Design Methods for CAD, Proceedings of the Second International Workshop on Formal Methods in Design
EditorsJ.S. Gero
PublisherChapman Hall
Number of pages24
ISBN (Print)978-1-4757-4428-6, 978-0-387-34925-1
Publication statusPublished - 1996

Bibliographical note



Dive into the research topics of 'A logical theory of design'. Together they form a unique fingerprint.

Cite this