Abstract
To enable the development of automated support for design, a challenge is
to model and analyse dynamics of design processes in a formal manner. This paper
contributes a declarative, logical approach for specification of dynamic properties of
design processes, supported by a formal temporal language. This language is used to
specify dynamic properties of
... read more