799 search results - page 83 / 160 » Generating Reliable Code from Hybrid-Systems Models |
114
click to vote
PR
2008
15 years 2 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...
130
click to vote
ICFEM
2009
Springer
15 years 5 days 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...
116
click to vote
CODES
2007
IEEE
15 years 8 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...
133
click to vote
DATE
2005
IEEE
15 years 8 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...
124
click to vote
ICMT
2009
Springer
15 years 9 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...