211 search results - page 26 / 43 » A Formal Architectural Design Patterns-Based Approach to Sof... |
122
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
107
click to vote
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
105
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This article is about a measurement analysis based approach to help software practitioners in managing the additional level complexities and variabilities in software product line...
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
: This study proposes a new operational framework for Service Oriented Architecture (SOA) network security. It seeks to characterize the current state of practices in SOA network s...
FMCO
2008
Springer
15 years 1 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...