A Formal Design Method

S. Hostomský, I. Jelínek


In the first part of this article, there are described two ways out of the design process theory: metamodel as a basic principle of a design process description and non-standard logics as a feasible formal background of the design theory. In the second part, one possibility of the design process description is discussed by means of one type of nonstandard logic – modal logic formalism. A simple example shows some of the properties of our approach.


  • There are currently no refbacks.

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

ISSN 1210-2709 (Print)
ISSN 1805-2363 (Online)
Published by the Czech Technical University in Prague