Auflistung P179 - FM+AM`2010 - Second International Workshop on Formal Methods and Agile Methods nach Titel - Digitale Bibliothek - Gesellschaft für Informatik e.V.

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

Anzeige der Dokumente 1-6 von 6

«
»