4476 search results - page 571 / 896 » Modeling software architectures in the Unified Modeling Lang... |
200
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...
219
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
159
click to vote
RE
2005
Springer
16 years 8 days ago
2005
Springer
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
167
click to vote
EDO
2005
Springer
16 years 9 days ago
2005
Springer
re connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors provide additional services (e.g., adaptation, synchronizati...
188
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...