3801 search results - page 65 / 761 » An Approach to Modeling Software Safety |
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
SE
2007
14 years 11 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
157
click to vote
HICSS
2011
IEEE
14 years 1 months ago
2011
IEEE
Although our society is critically dependent on software systems, these systems are mainly secured by protection mechanisms during operation instead of considering security issues...
102
click to vote
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
1686
click to vote
ICECCS
2008
IEEE
15 years 4 months ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...