474 search results - page 25 / 95 » Assurance Based Development of Critical Systems |
143
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
127
Voted
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
The paper proposes an approach to content dissemination that exploits the structural properties of XML Document Object Model in order to provide efficient dissemination by at the...
191
Voted
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...
142
click to vote
JSS
2002
15 years 4 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
150
Voted
CLEIEJ
2007
15 years 5 months ago
2007
Framework based application development is increasingly being adopted by software organizations. Frameworks provide reuse of both software design and code, and supply more trustab...