1805 search results - page 27 / 361 » File System Interfaces for Embedded Software Development |
ICST
2008
IEEE
14 years 3 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
ICSE
2005
IEEE-ACM
14 years 2 months ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
IJES
2006
13 years 8 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
OHS
2000
Springer
14 years 12 days ago
2000
Springer
Abstract. This paper takes a first step towards defining a standard component-based open hypermedia system storage interface in the context of the Open Hypermedia System Working Gr...