2935 search results - page 262 / 587 » An Integrated Approach to High Integrity Software Verificati... |
163
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
181
click to vote
WEBENG
2001
Springer
15 years 11 months ago
2001
Springer
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...
171
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
199
click to vote
ICSM
2007
IEEE
16 years 28 days ago
2007
IEEE
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
147
click to vote
SCOPES
2005
Springer
16 years 3 days ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...