1077 search results - page 44 / 216 » Introducing Software Engineering by means of Extreme Program... |
IWPC
2000
IEEE
15 years 4 months ago
2000
IEEE
As a software system evolves, its architecture will drift. System changes are often done without considering their effects on the system structure. These changes often introduce s...
103
click to vote
CLEIEJ
2010
14 years 9 months ago
2010
Software Process Improvement, based on a Maturity Level or a Process Capability Profile, from a Capability Maturity Model or an ISO/IEC 15504-based model, is well established in t...
94
Voted
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Software product lines have already proven to be a successful methodology for building and maintaining a collection of similar software products, based on a common architecture. H...