2373 search results - page 24 / 475 » The Design of the Zinc Modelling Language |
111
click to vote
GI
2009
Springer
15 years 6 months ago
2009
Springer
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...
118
click to vote
EWSPT
1995
Springer
15 years 4 months ago
1995
Springer
The paper describes the different phases and subdomains of process modelling and their needs for conceptual and linguistic support, and in what forms. We group the relevant factor...
101
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
146
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
142
click to vote
ECMDAFA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...