3801 search results - page 113 / 761 » An Approach to Modeling Software Safety |
133
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
132
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
131
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
140
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
153
click to vote
JCIT
2010
14 years 11 months ago
2010
With respect to multiple attribute decision making problem with triangular fuzzy linguistic information, in which the attribute weights and expert weights take the form of real nu...