Sommerville-Software-Engineering-10ed

Chapter 10 ■ References 305
Ball, T., E. Bounimova, B. Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, S. K. Rajamani,
and A. Ustuner. 2006. “Thorough Static Analysis of Device Drivers.” In Proc. EuroSys 2006. Leuven,
Belgium. doi:10.1145/1218063.1217943.
Bochot, T., P. Virelizier, H. Waeselynck, and V. Wiels. 2009. “Model Checking Flight Control Systems:
The Airbus Experience.” In Proc. 31st International Conf. on Software Engineering, Companion
Volume, 18–27. Leipzig: IEEE Computer Society Press. doi:10.1109/ICSE-COMPANION.2009.5070960.
Calinescu, R. C., and M. Z. Kwiatkowska. 2009. “Using Quantitative Analysis to Implement Autonomic
IT Systems.” In Proc. 31st International Conf. on Software Engineering, Companion Volume,
100–10. Leipzig: IEEE Computer Society Press. doi:10.1109/ICSE.2009.5070512.
Douglass, B. 2013. “Agile Analysis Practices for Safety-Critical Software Development.” http://www
.ibm.com/developerworks/rational/library/agile-analysis-practices-safety-critical-development/.
Hall, A., and R. Chapman. 2002. “Correctness by Construction: Developing a Commercially Secure
System.” IEEE Software 19 (1): 18–25.doi:10.1109/52.976937.
Jhala, R., and R. Majumdar. 2009. “Software Model Checking.” Computing Surveys 41 (4), Article 21.
doi:1145/1592434.1592438.
Miller, S. P., E. A. Anderson, L. G. Wagner, M. W. Whalen, and M. P. E. Heimdahl. 2005. “Formal Verification
of Flight Critical Software.” In Proc. AIAA Guidance, Navigation and Control Conference. San
Francisco. doi:10.2514/6.2005-6431.
Parnas, D. 2010. “Really Rethinking Formal Methods.” IEEE Computer 43 (1): 28–34. doi:10.1109/
MC.2010.22.
Parnas, D., J. van Schouwen, and P. K. Shu. 1990. “Evaluation of Safety-Critical Software.” Comm.
ACM 33 (6): 636–651. doi:10.1145/78973.78974.
Swartz, A. J. 1996. “Airport 95: Automated Baggage System?” ACM Software Engineering Notes 21
(2): 79–83. doi:10.1145/227531.227544.
Trimble, J. 2012. “Agile Development Methods for Space Operations.” In SpaceOps 2012. Stockholm.
doi:10.2514/6.2012-1264554.
Woodcock, J., P. G. Larsen, J. Bicarregui, and J. Fitzgerald. 2009. “Formal Methods: Practice and
Experience.” Computing Surveys 41 (4): 1–36. doi:10.1145/1592434.1592436.