Article PDF
References
Bowen J.P., Hinchey M.G.: Ten commandments of formal methods. Computer 28(4), 56–63 (1995)
Bowen, J.P., Hinchey, M.G.: Ten commandments revisited: a ten-year perspective on the industrial application of formal methods. In: FMICS ’05: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems, pp. 8–16. ACM Press, New York (2005)
Daws, C., Olivero, A., Tripakis, S., Yovine, S.: The tool KRONOS. In: Hybrid Systems III: Verification and Control. LNCS, vol. 1066, pp. 208–219. Springer, Berlin (1995)
de la Cámara, P., del Mar Gallardo, M., Merino, P., Sanán, D.: Checking the reliability of socket based communication software. Int. J. Softw. Tools Technol. Transf (this issue)
EU-IST-3-016004-IP-09 Sensoria Project. http://sensoria.fast.de/
Harrison, M., Timbleby, H.: The role of formal methods in human-computer interaction. In: Formal Methods in Human–Computer Interaction, pp. 1–8. Cambridge University Press, New York (1990)
Hillston, J.: Fluid flow approximation of pepa models. In: Proceedings of Second International Conference on Quantitative Evaluation of Systems (QEST’05), pp. 33–42. IEEE Computer Society Press, Washington, DC (2005)
Katoen, J.-P., Khattri, M., Zapreev, I.S.: A Markov reward model checker. In: QEST ’05: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems (QEST’05) on the Quantitative Evaluation of Systems, pp. 243. IEEE Computer Society, Washington, DC (2005)
Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Computer Performance Evaluation/TOOLS. LNCS, vol. 2324, pp. 200–204 (2002)
Larsen K.G., Pettersson P., Yi W.: Uppaal in a Nutshell. Int. J. Softw. Tools Technol. Transf. 1(1–2), 134–152 (1997)
Margaria, T. (ed.): Cover features: service orientation. IEEE Comput. 40(11), 33–80 (2007)
Mikáč, J., Caspi, P.: Flush: an example of development by refinements in SCADE/Lustre. Int. J. Softw. Tools Technol. Transf (this issue)
Raffelt, H., Steffen, B., Berg, T., Margaria, T.: LearnLib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf (this issue)
Rouff C.A., Hinchey M.G., Truszkowski W.F., Rash J.L.: Experiences applying formal approaches in the development of swarm-based space exploration. Int. J. Softw. Tools Technol. Transf. 8(6), 587–603 (2006)
Rushby J.: Using model checking to help discover mode confusions and other automation surprises. Reliab. Eng. Syst. Safety 75(2), 167–177 (2002)
Voulgaris, S., van Steen, M.: An epidemic protocol for managing routing tables in very large peer-to-peer networks. In: Self-managing distributed systems. LNCS, vol. 2867, pp. 299–308. http://www.springerlink.com/content/cwymm0ae0p2r5v4f/ (2003)
Wijs, A.J., van de Pol, J.C., Bortnik, E.M.: Solving scheduling problems by untimed model checking. Int. J. Softw. Tools Technol. Transf (this issue)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Margaria, T., Massink, M. Preface. Int J Softw Tools Technol Transfer 11, 355–357 (2009). https://doi.org/10.1007/s10009-009-0121-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-009-0121-6