42 search results - page 3 / 9 » Analyzing architectural styles with alloy |
WICSA
2001
14 years 10 months ago
2001
Product lines evolve out of existing products. In order to evaluate the potential of creating a product line from existing products it is necessary to `mine' their architectu...
99
Voted
ASE
2004
14 years 9 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
CAV
2012
Springer
12 years 12 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Making architectural decisions based on requirements, analyzing cost-benefit trade-offs, and keeping design options open is a difficult task. Existing work on classification of ar...
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
In order to extract a suitable common core information model, design representations on both system and architecture levels are analyzed. Following the specification trajectory, ...