391 search results - page 37 / 79 » Embedded software development on top of transaction-level mo... |
159
click to vote
ADAEUROPE
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
153
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
118
Voted
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
145
Voted
ECRTS
2002
IEEE
15 years 8 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
138
Voted
ESE
2006
15 years 3 months ago
2006
UML and UML-based development methods have become de facto standards in industry, and there are many claims for the positive effects of modelling object-oriented systems using meth...