3564 search results - page 184 / 713 » Evaluating a Formal Modelling Language |
173
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We present AceWiki, a prototype of a new kind of semantic wiki using the controlled natural language Attempto Controlled English (ACE) for representing its content. ACE is a subse...
166
click to vote
PPDP
2007
Springer
16 years 17 days ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
180
click to vote
IPPS
2005
IEEE
16 years 1 days ago
2005
IEEE
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
175
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
196
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...