Citation |
How to Formalize It? Formalization Principles for Information Systems Development Methods, Information and Software Technology, 40(10):519-540, 1998.
, |
---|---|
Descriptions |
Abstract:
Although the need for formalisation of modelling techniques is generally recognised, not much literature is devoted to the actual process involved. This is comparable to the situation in mathematics where focus is on proofs but not on the process of proving. This paper tries to accommodate for this lacuna and provides essential principles for the process of formalisation in the context of modelling techniques as well as a number of small but realistic formalisation case studies. |
Resources | |
Bibliography Navigation: Reference List; Author Index; Title Index; Keyword Index
Generated by sharef2html
on 2011-04-15, 02:00:41.