3564 search results - page 6 / 713 » Evaluating a Formal Modelling Language |
74
Voted
SIGADA
1999
Springer
15 years 7 months ago
1999
Springer
117
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
71
Voted
SIGIR
2004
ACM
15 years 8 months ago
2004
ACM
74
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
156
Voted
UML
2001
Springer
15 years 7 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...