4476 search results - page 403 / 896 » Modeling software architectures in the Unified Modeling Lang... |
205
click to vote
FM
1999
Springer
15 years 12 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
238
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
232
click to vote
ICSR
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product li...
216
click to vote
ECBS
2004
IEEE
15 years 11 months ago
2004
IEEE
During their usage, software systems have to be changed constantly. If such changes are implemented in an incomplete or inconsistent way a loss of architectural quality will occur...
180
click to vote
IFIP
1999
Springer
15 years 12 months ago
1999
Springer
Most control systems of flexible production cells have a hierarchical structure. They become very complicated and difficult to maintain and modify when the underlying production c...