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}
}