670 search results - page 41 / 134 » Software safety: relating software assurance and software in... |
RE
2010
Springer
13 years 3 months ago
2010
Springer
The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to in...
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
ICSE
2000
IEEE-ACM
14 years 20 days ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
EUC
2005
Springer
14 years 2 months ago
2005
Springer
In USA, 2002, approximately 3.2 million intersection-related crashes occurred, corresponding to 50 percent of all reported crashes. In Japan, more than 58 percent of all traffic cr...