Sciweavers

4349 search results - page 317 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
WCRE
1999
IEEE
15 years 9 months ago
MoJo: A Distance Metric for Software Clusterings
The software clustering problem has attracted much attention recently, since it is an integral part of the process of reverse engineering large software systems. A key problem in ...
Vassilios Tzerpos, Richard C. Holt
135
Voted
ECIS
2004
15 years 6 months ago
Activity Based generation of requirements for web-based information systems: the SSM/ICDT approach
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
Mary Meldrum, Jeremy Rose
IEEEICCI
2003
IEEE
15 years 10 months ago
Analogy of Incremental Program Development and Constructivist Learning
During software evolution, programmers add new functionalities and release new versions of software. This complicated work involves not only program development but also learning ...
Václav Rajlich, Shaochun Xu
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 2 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
130
Voted
ACSAC
2005
IEEE
15 years 10 months ago
Model Checking An Entire Linux Distribution for Security Violations
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
Benjamin Schwarz, Hao Chen, David Wagner, Jeremy L...