158 search results - page 7 / 32 » Requirement Analysis Evolution through Patterns |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
BMEI
2009
IEEE
13 years 9 months ago
2009
IEEE
It is widely accepted that complexity of biological systems arises from combinations of common subunits. In this work we investigate the combinatorial patterns of protein domains ...
ICSE
2001
IEEE-ACM
14 years 9 days ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
EUROGP
2009
Springer
14 years 14 days ago
2009
Springer
Physics-based animal animations require data for realistic motion. This data is expensive to acquire through motion capture and inaccurate when estimated by an artist. Grammatical ...
ICA
2010
Springer
13 years 9 months ago
2010
Springer
In this work we present a method for the estimation of a rank-one pattern living in two heterogeneous spaces, when observed through a mixture in multiple observation sets. Using a ...