researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2010
Filter by Tag
OR
AND
NOT
1
C++
Meta-Environment
UML
analysis
design
meta-model
model-driven development
rule-based
software engineering
state machines
testing
Filter by Author
OR
AND
NOT
1
Aldi Sulova
David Faragó
Dragan Stosic
Franco Mazzanti
John S. Fitzgerald
Joseph R. Kiniry
Jörg Behrend
Jürgen Ruf
Maurice H. ter Beek
Patrick Heckeler
Peter Gorm Larsen
Roland J. Weiss
Sune Wolff
Thomas Kropf
Vieri Del Bianco
Wolfgang Rosenstiel
Filter by Top terms
[+]
OR
AND
NOT
1
17
2010
agile
agility
analysis
c
check
checking
design
development
driven
engineering
equivalence
experience
fm
formal
formality
graphical
high
methods
FM+AM (fmam)
Editions
Publications
Viewing Publication 1 - 6 from 6
2010
Agile Formality: A Mole of Software Engineering Practices
Vieri Del Bianco
,
Dragan Stosic
,
Joseph R. Kiniry
.
fmam 2010
:
29-48
Improved Underspecification for Model-based Testing in Agile Development
David Faragó
.
fmam 2010
:
63-78
FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy)
Stefan Gruner
,
Bernhard Rumpe
, editors,
Volume 179 of
LNI
, GI,
2010.
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines
Patrick Heckeler
,
Jörg Behrend
,
Thomas Kropf
,
Jürgen Ruf
,
Wolfgang Rosenstiel
,
Roland J. Weiss
.
fmam 2010
:
49-62
Are Formal Methods Ready for Agility? A Reality Check
Peter Gorm Larsen
,
John S. Fitzgerald
,
Sune Wolff
.
fmam 2010
:
13-25
An Experience on Formal Analysis of a High-Level Graphical SOA Design
Maurice H. ter Beek
,
Franco Mazzanti
,
Aldi Sulova
.
fmam 2010
:
79-98
Sign in
or
sign up
to see more results.