799 search results - page 83 / 160 » Generating Reliable Code from Hybrid-Systems Models |
PR
2008
13 years 10 months ago
2008
Given the pervasive nature of malicious mobile code (viruses, worms, etc.), developing statistical/structural models of code execution is of considerable importance. We investigat...
ICFEM
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
CODES
2007
IEEE
14 years 4 months ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
ICMT
2009
Springer
14 years 4 months ago
2009
Springer
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...