580 search results - page 94 / 116 » An Approach to Quantitative Software Architecture Sensitivit... |
136
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
143
click to vote
CISIS
2009
IEEE
16 years 24 days ago
2009
IEEE
Structured, spatial-temporal data arises in many applications areas such as transportation, sensor networks or mobile services. Peer to peer networks are the natural choice for th...
131
click to vote
MSR
2006
ACM
15 years 12 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
204
click to vote
ECOOPW
2003
Springer
15 years 11 months ago
2003
Springer
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
175
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...