Skip to main content

1 Result(s)

within Conference Paper Remove this filter Stephan Herrmann Remove this filter Logics and Meanings of Programs Remove this filter Programming Languages, Compilers, Interpreters Remove this filter Software Engineering Remove this filter

and

  1. No Access

    Chapter and Conference Paper

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

    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 th...

    Robert Büssow, Wolfgang Grieskamp… in Applied Formal Methods — FM-Trends 98 (1999)