1121 search results - page 142 / 225 » Building Formal Requirements Models for Reliable Software |
127
click to vote
LICS
1996
IEEE
15 years 8 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
155
click to vote
SCP
2010
15 years 2 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
163
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Recent research results have shown more benefits of the management of code clones, rather than detecting and removing them. However, existing management approaches for code clo...
166
click to vote
IJHPCA
2011
14 years 11 months ago
2011
Over the last twenty years, the open source community has provided more and more software on which the world’s High Performance Computing (HPC) systems depend for performance ...
150
click to vote
ENTCS
2006
15 years 4 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...