15155 search results - page 225 / 3031 » System Software |
200
click to vote
ICSEA
2006
IEEE
16 years 1 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
207
click to vote
SCP
2010
15 years 5 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
279
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
226
click to vote
LCTRTS
1998
Springer
15 years 11 months ago
1998
Springer
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...
168
click to vote
SIGADA
2005
Springer
16 years 19 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...