3605 search results - page 373 / 721 » Analysis and Applications of the XDI model |
200
click to vote
SEKE
2004
Springer
16 years 3 days ago
2004
Springer
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
189
click to vote
SIGSOFT
2003
ACM
16 years 14 hour 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...
209
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
240
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
208
click to vote
CAISE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...