2276 search results - page 219 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
140
click to vote
WACC
1999
ACM
15 years 8 months ago
1999
ACM
Today, organizations deal with an ever-increasing number of documents that have to be archived because they are either related to their core business (e.g., product designs) or ne...
167
Voted
ESAW
2008
Springer
15 years 6 months ago
2008
Springer
Modern software systems share with social organizations the attributes of being large-scale, distributed, and heterogeneous systems of systems. The organizational metaphor for soft...
145
click to vote
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
125
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
175
Voted
CIBSE
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...