1663 search results - page 33 / 333 » Software Reuse and Safety |
71
Voted
ENTCS
2010
14 years 11 months ago
2010
91
Voted
AOSD
2010
ACM
15 years 8 months ago
2010
ACM
Statically typed aspect-oriented programming languages restrict application of around advice only to the join points that have conforming types. Though the restriction guarantees ...
137
click to vote
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
138
Voted
CBSE
2004
Springer
15 years 7 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
132
click to vote
ICONS
2009
IEEE
15 years 8 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...