1304 search results - page 163 / 261 » Model-Driven Engineering for Requirements Analysis |
118
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
156
click to vote
ISESE
2005
IEEE
15 years 9 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
138
Voted
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
Real production code contains lots of knowledge—on the domain, on the architecture, and on the environment. How can we leverage this knowledge in new projects? Using a novel lig...
133
Voted
ESEM
2008
ACM
15 years 5 months ago
2008
ACM
The identification and management of work dependencies is a fundamental challenge in software development organizations. This paper argues that modularization, the traditional tec...
156
click to vote
IS
1998
15 years 3 months ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...