1121 search results - page 190 / 225 » Building Formal Requirements Models for Reliable Software |
107
Voted
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
111
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
111
click to vote
DESRIST
2009
Springer
15 years 6 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
DAC
2002
ACM
16 years 2 months ago
2002
ACM
Since software is playing an increasingly important role in systemon-chip, retargetable compilation has been an active research area in the last few years. However, the retargetti...
101
Voted
EUROMICRO
2003
IEEE
15 years 7 months ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...