274 search results - page 13 / 55 » The Maude Formal Tool Environment |
CARDIS
2000
Springer
14 years 2 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
SCSC
2007
13 years 11 months ago
2007
: We introduce Embedded CD++ (eCD++), an engine that can execute DEVS models in embedded environments. It deploys a Flat Coordinator and the GGAD Graphical Modeling tool, which sup...
TCS
2002
13 years 9 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
IRI
2005
IEEE
14 years 3 months ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
AIIA
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...