409 search results - page 4 / 82 » Approaching a Discrete-Continuous UML: Tool Support and Form... |
ICECCS
2005
IEEE
15 years 3 months ago
2005
IEEE
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
ETFA
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
CAISE
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
104
click to vote
JCSS
2011
14 years 4 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
102
Voted
FMCO
2003
Springer
15 years 2 months 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...