1315 search results - page 166 / 263 » Towards Requirements Engineering for Context Adaptive System... |
227
click to vote
JOOP
1998
15 years 6 months ago
1998
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...
140
click to vote
SERP
2003
15 years 7 months ago
2003
Abstract Methodologies involves both process elements and product elements. The OPEN Process Framework (OPF) focusses largely on process elements in the context of object-oriented ...
155
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
167
click to vote
COMPSAC
2008
IEEE
16 years 26 days ago
2008
IEEE
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
173
click to vote
SIGSOFT
2003
ACM
15 years 11 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...