3799 search results - page 132 / 760 » An Engineering Approach to Formal Methods |
CW
2002
IEEE
14 years 2 months ago
2002
IEEE
In Reverse Engineering a physical object is digitally reconstructed from a set of boundary points. In the segmentation phase these points are grouped into subsets to facilitate co...
CCE
2010
13 years 6 months ago
2010
AbstrAct A comprehensive overview of numerical methodologies currently available for analyzing and building understanding of complex processes is presented. Both equation-free and ...
ICSE
2004
IEEE-ACM
14 years 2 months ago
2004
IEEE-ACM
Rapid change and increasing software criticality drive successful development and acquisition organizations to balance the agility and discipline of their key processes. The emerg...
ESEM
2008
ACM
13 years 11 months ago
2008
ACM
This paper proposes a novel method to generate synthetic project cases and add them to a fit dataset for the purpose of improving the performance of analogy-based software effort ...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...