3801 search results - page 66 / 761 » An Approach to Modeling Software Safety |
CASCON
1997
14 years 11 months ago
1997
Software evolution and reuse is more likely to receive higher payoff if high-level artifacts—such as architectures and designs—can be reused and can guide low-level component ...
SE
2007
14 years 11 months ago
2007
: The actual benefits of model-driven approaches compared to code-centric development have not been systematically investigated. This paper presents a case study in which function...
ASWEC
2000
IEEE
15 years 2 months ago
2000
IEEE
Industrial software projects are not based on a top-down development process relying on refinement but use a more iterative and incremental approach with respect to changing requ...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
114
click to vote
ISCA
2012
IEEE
13 years 6 days ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...