3799 search results - page 260 / 760 » An Engineering Approach to Formal Methods |
145
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Software product lines have already proven to be a successful methodology for building and maintaining a collection of similar software products, based on a common architecture. H...
181
click to vote
MSR
2005
ACM
16 years 6 days ago
2005
ACM
Source code version repositories provide a treasure of information encompassing the changes introduced in the system throughout its evolution. These repositories are typically man...
202
Voted
BPM
2005
Springer
16 years 5 days ago
2005
Springer
Companies are developing a growing interest in aligning their information systems in a process-oriented way. However, current processaware information systems (PAIS) fail to meet p...
157
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
Requirements prioritization plays a key role in the requirements engineering process, in particular with respect to critical tasks such as requirements negotiation and software re...
175
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary...