355 search results - page 36 / 71 » Aspects of Formal and Graphical Design of a Bus System |
SIMUTOOLS
2008
13 years 9 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
ER
2007
Springer
14 years 2 months ago
2007
Springer
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
DIGRA
2005
Springer
14 years 1 months ago
2005
Springer
Is there a way to analyze games by the means of a game? Is there a way to brainstorm game ideas and design solutions through theory? Finnish scholar and game designer Aki Järvine...
ECMDAFA
2009
Springer
14 years 2 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
ECMDAFA
2007
Springer
14 years 2 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...