3799 search results - page 389 / 760 » An Engineering Approach to Formal Methods |
204
click to vote
COSIT
2009
Springer
15 years 4 months ago
2009
Springer
People intuitively understand that function and purpose are critical parts of what human-configured entities are about, but these notions have proved difficult to capture formally....
175
click to vote
APSEC
1995
IEEE
15 years 10 months ago
1995
IEEE
Thispaper presents the results of an experiment that compared error detection capability of voting, instrumentation,and Fagan inspection methods. Several experimentshave measured ...
196
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
147
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
195
click to vote
ICWE
2009
Springer
16 years 1 months ago
2009
Springer
Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...