Auflistung nach Autor "Gruner, Stefan"
Anzeige der Dokumente 1-6 von 6
-
Agile formality: A "Mole" of software engineering practices
Bianco, Vieri del; Stosic, Dragan; Kiniry, Joseph R.
29-48 -
Are formal methods ready for agility? A reality check
Gorm Larsen, Peter; Fitzgerald, John; Wolff, Sune
13-25 -
An experience on formal analysis of a high-level graphical SOA design
Beek, Maurice H. ter; Mazzanti, Franco; Sulova, Aldi
79-98 -
FM+AM`2010 – Second International Workshop on Formal Methods and Agile Methods
Gruner, Stefan; Rumpe, Bernhard
-
Improved underspecification for model-based testing in agile development
Faragó, David
63-78 -
State-based coverage analysis and UML-driven equivalence checking for C++ state machines
Heckeler, Patrick; Behrend, Jörg; Kropf, Thomas; Ruf, Jürgen; Rosenstiel, Wolfgang; Weiss, Roland
49-62