826 search results - page 86 / 166 » A Pragmatic Approach to Formalizing Object-Oriented Modeling... |
166
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
166
click to vote
FM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
168
click to vote
SPLC
2004
15 years 7 months ago
2004
Feature modeling is an important approach to capturing commonalities and variabilities in system families and product lines. In this paper, we propose a cardinality-based notation ...
179
click to vote
SPIN
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
171
click to vote
RTCSA
2008
IEEE
16 years 20 days ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...