142 search results - page 2 / 29 » A UML 2-compatible language and tool for formal modeling rea... |
WORDS
2002
IEEE
13 years 9 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...
UML
2005
Springer
13 years 10 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
ECMDAFA
2005
Springer
13 years 10 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
JUCS
2002
13 years 4 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
VLSID
2003
IEEE
14 years 5 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...