2276 search results - page 283 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
167
click to vote
ECSA
2008
Springer
2008
Springer
Automating Architecture Trade-Off Decision Making through a Complex Multi-attribute Decision Process
15 years 6 months ago
A typical software architecture design process requires the architects to make various trade-off architecture decisions. The architects need to consider different possibilities and...
140
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
165
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
110
click to vote
REFSQ
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The research presented in this paper investigates how observation of information- and communication-intensive work in hospital wards can be used to produce requirements f...
151
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...