An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools

Abstract

Even though the development of formal methods makes steady progress with respect to techniques and tool support, their acceptance in industry is still relatively low. One reason for this probably stems from the fact that most formal approaches require users to forget about their conventional techniques and tools, and to relearn in a new environment. What… (More)
DOI: 10.1007/3-540-48257-1_11

Topics

4 Figures and Tables