A Formal Design Method
Abstract
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.Downloads
Download data is not yet available.
Published
2000-01-03
Issue
Section
Articles
License
Copyright (c) 2015 Acta Polytechnica
![Creative Commons License](http://i.creativecommons.org/l/by/4.0/88x31.png)
This work is licensed under a Creative Commons Attribution 4.0 International License.