2836 search results - page 133 / 568 » Model Checking for Software Architectures |
125
click to vote
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
116
Voted
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...
168
click to vote
SPLC
2007
15 years 5 months ago
2007
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and implementing this kind of systems is a difficult opera...
119
Voted
IFIP
1998
Springer
15 years 8 months ago
1998
Springer
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
128
click to vote
RTS
2006
15 years 3 months ago
2006
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...