1239 search results - page 19 / 248 » Applying Model Checking to Concurrent UML Models |
139
Voted
UML
1999
Springer
15 years 6 months ago
1999
Springer
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
85
Voted
ER
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...
89
Voted
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
119
Voted
JOT
2007
15 years 1 months ago
2007
Workflow and business process modeling approaches have become essential for designing service collaborations when developing SOA-based systems. To derive actual executable busines...