2342 search results - page 148 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
162
click to vote
PRIMA
2009
Springer
15 years 11 months ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
154
click to vote
FMSD
2002
15 years 4 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
120
click to vote
SCAM
2002
IEEE
15 years 9 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
217
click to vote
IHI
2012
14 years 1 days ago
2012
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
138
click to vote
IWPC
2000
IEEE
15 years 8 months ago
2000
IEEE
Experimental evaluation of clustering techniques for component recovery is necessary in order to analyze their strengths and weaknesses in comparison to other techniques. For comp...