Sciweavers

11973 search results - page 189 / 2395
» Methods for organizational development
Sort
View
SEFM
2005
IEEE
15 years 10 months ago
Experimental Evaluation of FSM-Based Testing Methods
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih,...
155
Voted
FMAM
2010
174views Formal Methods» more  FMAM 2010»
15 years 3 months ago
Are Formal Methods Ready for Agility? A Reality Check
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
Peter Gorm Larsen, John S. Fitzgerald, Sune Wolff
ICSE
2005
IEEE-ACM
16 years 5 months ago
What you always wanted to know about agile methods but did not dare to ask
A fleet of emerging agile methods is both gaining popularity and generating lots of controversy. Real-world examples argue for (e.g. [4]) and against (e.g. [6]) agile methods. Sev...
Frank Maurer, Grigori Melnik
ICSE
2007
IEEE-ACM
16 years 5 months ago
Agile Methods: Crossing the Chasm
An armada of emerging agile methods of software development (with eXtreme Programming and Scrum being the most broadly used) is both gaining popularity and generating lots of cont...
Frank Maurer, Grigori Melnik
CORR
2006
Springer
68views Education» more  CORR 2006»
15 years 5 months ago
A rigorous proof of the cavity method for counting matchings
In this paper we rigorously prove the validity of the cavity method for the problem of counting the number of matchings in graphs with large girth. Cavity method is an important he...
Mohsen Bayati, Chandra Nair