Formal methods for software development have been discussed for decades. This paper will try to explain when and under what circumstances formal methods and languages in general and the Object Constraint Language (OCL) in particular can be employed in a beneficial way. The success of using a formal approach is highly influenced by the expectations and pre-requisite knowledge of the developers, the role the formal support in the development process is given, and of course by the used tools.
CITATION STYLE
Gogolla, M. (2004). Benefits and problems of formal methods. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3063, pp. 1–15). Springer Verlag. https://doi.org/10.1007/978-3-540-24841-5_1
Mendeley helps you to discover research relevant for your work.