1663 search results - page 33 / 333 » Software Reuse and Safety |
ENTCS
2010
13 years 7 months ago
2010
AOSD
2010
ACM
14 years 4 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 ...
TASE
2007
IEEE
14 years 4 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...
CBSE
2004
Springer
14 years 3 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. ...
ICONS
2009
IEEE
14 years 4 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...