Sciweavers

2487 search results - page 329 / 498
» Collaborative Engineering Software Development: Ontology-Bas...
Sort
View
SCAM
2008
IEEE
14 years 2 months ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao
COMPSAC
2006
IEEE
14 years 2 months ago
Test Case Prioritization Using Relevant Slices
Software testing and retesting occurs continuously during the software development lifecycle to detect errors as early as possible. The sizes of test suites grow as software evolv...
Dennis Jeffrey, Neelam Gupta
ICSM
2005
IEEE
14 years 1 months ago
Test Suite Reduction with Selective Redundancy
Software testing is a critical part of software development. Test suite sizes may grow significantly with subsequent modifications to the software over time. Due to time and res...
Dennis Jeffrey, Neelam Gupta
FASE
2004
Springer
14 years 1 months ago
Consistent Adaptation and Evolution of Class Diagrams during Refinement
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
Alexander Egyed
ECBS
2000
IEEE
115views Hardware» more  ECBS 2000»
14 years 22 days ago
PuLSE-I: Deriving Instances from a Product Line Infrastructure
Reusing assets during application engineering promises to improve the efficiency of systems development. However, in order to benefit from reusable assets, application engineeri...
Joachim Bayer, Cristina Gacek, Dirk Muthig, Tanya ...