6343 search results - page 899 / 1269 » Development of a Cartographic Language |
234
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
187
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
148
click to vote
ASSETS
2005
ACM
15 years 9 months ago
2005
ACM
This study has been performed in order to test the manmachine interface of a computer-based speech training aid named ARTUR with the main feature that it can give suggestions on h...
225
click to vote
ECMDAFA
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...
202
click to vote
ADAEUROPE
2007
Springer
15 years 9 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...