1481 search results - page 146 / 297 » Enriching the Software Development Process by Formal Methods |
199
click to vote
FIW
1998
15 years 7 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
183
click to vote
BERTINORO
2005
Springer
15 years 12 months ago
2005
Springer
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
195
click to vote
PROFES
2004
Springer
15 years 11 months ago
2004
Springer
In this paper a new Experimental and Explorative Research (EER) research strategy is proposed. It combines experimental software engineering with exploratory research of new techno...
166
click to vote
TAICPART
2006
IEEE
16 years 12 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
143
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...