3801 search results - page 162 / 761 » An Approach to Modeling Software Safety |
127
click to vote
ISPW
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. Software development processes are often not explicitly modelled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use So...
142
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
—Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit ...
130
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
129
click to vote
ATS
2003
IEEE
15 years 9 months ago
2003
IEEE
Software-based self-testing is a promising approach for the testing of processor cores which are embedded inside a System-on-a-Chip (SoC), as it can apply test vectors in function...
158
click to vote
INFSOF
2000
15 years 4 months ago
2000
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...