Skip to main content

and
  1. No Access

    Chapter

    Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy?

    The Object Teams programming model [1] has been developed to advance our capability to write modular programs. A central concept in this programming model is the notion of teams - instantiable classes - that s...

    Stephan Herrmann in Aliasing in Object-Oriented Programming. T… (2013)

  2. 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)