This Festschrift volume, published in honor of Egon BAprger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.contracts enable the direct manipulation of the set of diagrams as transparently as possible and offer the required feedback ... The constraint requires that states in statecharts must by defined by attributes of the ruling class in a class diagram.
|Title||:||Rigorous Methods for Software Construction and Analysis|
|Author||:||Jean-Raymond Abrial, Uwe Glässer|
|Publisher||:||Springer - 2010-01-10|