3801 search results - page 213 / 761 » An Approach to Modeling Software Safety |
163
click to vote
OOIS
2001
Springer
15 years 11 months ago
2001
Springer
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...
197
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
173
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
155
click to vote
ICRA
2006
IEEE
16 years 16 days ago
2006
IEEE
— Autonomous robot systems have to manage their energy wisely in order to complete their missions. Typical approaches seek to conserve energy by energy-efficient motion or senso...
266
click to vote
FIW
2009
15 years 4 months ago
2009
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...