A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns

Becker, Basil; Giese, Holger; Schilling, Daniela

by Basil Becker, Holger Giese, Daniela Schilling

Reference:

A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns (Basil Becker, Holger Giese, Daniela Schilling), In Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany, 2005.

Bibtex Entry:

@InProceedings{BGS05a_ag,
AUTHOR = {Becker, Basil and Giese, Holger and Schilling, Daniela},
TITLE = {{A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns}},
YEAR = {2005},
MONTH = {September},
BOOKTITLE = {Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany},
PAGES = {1-4},
ANNOTE = {LANGUAGE : english}
}