3801 search results - page 215 / 761 » An Approach to Modeling Software Safety |
159
click to vote
ECOOPW
1997
Springer
15 years 10 months ago
1997
Springer
There are many similarities between industrial goods manufacturing and software development processes. This paper first briefly analyzes the recent developments in goods manufactur...
168
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
179
click to vote
JUCS
2010
15 years 1 months ago
2010
: Software product lines have become a successful but challenging approach to software reuse. Some of the problems that hinder the adoption of this development paradigm are the con...
168
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...
143
click to vote
TVLSI
2008
15 years 6 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...