4799 search results - page 200 / 960 » Model Based Requirements Engineering for Embedded Software |
134
click to vote
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
118
click to vote
CBSE
2006
Springer
15 years 5 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
104
click to vote
WAC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents some important directions in the use of ontologybased semantics in achieving the vision of Autonomic Communications. We examine the requirements of Au...
125
click to vote
ICWE
2007
Springer
15 years 9 months ago
2007
Springer
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
108
click to vote
VSTTE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....