Sciweavers

206 search results - page 15 / 42
» Using UML in a Risk-Driven Development Process
Sort
View
UML
2001
Springer
15 years 2 months ago
An Action Semantics for MML
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a precise meta-modelling language designed for developing families of UML languages. A...
José M. Álvarez, Tony Clark, Andy Ev...
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 3 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
76
Voted
JUCS
2010
80views more  JUCS 2010»
14 years 4 months ago
Developing and Analyzing the MP (Materialization Pattern) Model for Math Educational Standards
: Educational standards alignment, which matches similar or equivalent concepts of educational standards, is a necessary task for educational resource retrieval. In order to automa...
Namyoun Choi, Il-Yeol Song, Yuan An
GI
2005
Springer
15 years 3 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
80
Voted
ICALT
2005
IEEE
15 years 3 months ago
Application of the UML in Modeling SCORM-Conformant Contents
Up to date, there is no standardized notation scheme for modeling SCORM-conformant contents. It is a time-consuming process to build up a new and widely-acceptable notation scheme...
Shueh-Cheng Hu