3507 search results - page 59 / 702 » Slicing for architectural analysis |
103
click to vote
EWSA
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we present a pattern-based software development method that preserves usability and security quality characteristics using a role-driven mapping of requirements anal...
115
Voted
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
103
click to vote
FORTE
2004
15 years 2 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...
148
click to vote
WIESS
2000
15 years 2 months ago
2000
HP Caliper is an architecture for software developer tools that deal with executable (binary) programs. It provides a common framework that allows building of a wide variety of to...
109
Voted
ISTA
2007
15 years 2 months ago
2007
: Exception handling is one of the powerful means of achieving high dependability and fault-tolerance in service-oriented architecture (SOA). The paper introduces the results of ex...