Engineering Dependable Software Systems - researchr publication

researchr

You are not signed in
Sign in
Sign up

Manfred Broy, Doron Peled, Georg Kalus, editors, Engineering Dependable Software Systems. Volume 34 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, 2013.

Abstract is missing.

A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural ViewsManfred Broy. 1-48 [doi]

Mastering System Analysis and Design through Abstraction and RefinementMichael Butler. 49-78 [doi]

Data Abstraction in VCCErnie Cohen. 79-114 [doi]

Families of software systems: a model checking approachStefania Gnesi. 115-140 [doi]

A Tutorial on Runtime VerificationYliès Falcone, Klaus Havelund, Giles Reger. 141-175 [doi]

Model Checking Meets Probability: A Gentle IntroductionJoost-Pieter Katoen. 177-205 [doi]

Risk-driven Engineering of Requirements for Dependable SystemsAxel van Lamsweerde. 207-234 [doi]

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time SystemsUli Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane. 235-273 [doi]

Model-Driven Engineering and Model Transformation: for Fun and ProfitRichard F. Paige, Dimitrios S. Kolovos. 275-311 [doi]

Symbolic Execution and Software TestingCorina S. Pasareanu. 313-333 [doi]

Model Checking BasicsDoron Peled. 335-362 [doi]

runs on WebDSL