1375 search results - page 80 / 275 » SDL-2000: A Language with a Formal Semantics |
AI
2004
Springer
14 years 9 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
103
click to vote
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
SDB
1995
15 years 1 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
EURODAC
1994
IEEE
15 years 1 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL