2339 search results - page 135 / 468 » Models and Tools for Mulan Applications |
156
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
177
Voted
JUCS
2007
15 years 6 months ago
2007
: Handheld devices are becoming more and more popular in education. Educational simulation and modelling are not new soil, but for handhelds they are still much under explored. Due...
185
click to vote
CPE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
161
Voted
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
182
click to vote
ADAEUROPE
2007
Springer
15 years 8 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...