384 search results - page 10 / 77 » Introduction to the Unified Modeling Language |
FDL
2005
IEEE
15 years 3 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
UML
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...
FAC
2006
14 years 9 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
ER
2007
Springer
15 years 1 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
73
Voted
BPM
2005
Springer
15 years 3 months ago
2005
Springer
The 20 workflow patterns proposed by Van der Aalst et al. provide a comprehensive benchmark for comparing control flow aspects of process modelling languages. In this paper, we p...