3425 search results - page 141 / 685 » A Model Driven Approach for Software Systems Reliability |
129
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
134
Voted
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
141
Voted
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
110
Voted
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
150
click to vote
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Memory errors are a notorious source of security vulnerabilities that can lead to service interruptions, information leakage and unauthorized access. Because such errors are also ...