1239 search results - page 23 / 248 » Applying Model Checking to Concurrent UML Models |
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
The goal of our research is to develop industry-proof software architecture and design metrics. We identify a number of problems that arise in computing software architecture and ...
ASM
2010
ASM
14 years 2 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
FMCO
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
GLVLSI
2008
IEEE
14 years 2 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...