862 search results - page 126 / 173 » Model Checking Interrupt-Dependent Software |
ICFCA
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
REFSQ
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
SIGSOFT
2000
ACM
14 years 2 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
FDL
2005
IEEE
14 years 3 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
APSEC
2006
IEEE
14 years 4 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...