Abstract
We briefly introduce the envisioned style and scope of the LNCS Transactions on Foundations for Mastering Change (FoMaC) on the basis of the individual contributions of the initial issue, which mainly features invited papers co-authored by the founding members of the editorial board.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Margaria, T.: Knowledge management for inclusive system evolution. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 7–21. Springer, Heidelberg (2016)
Celebic, B., Breu, R., Felderer, M.: Traceability types for mastering change in collaborative software quality management. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 242–256. Springer, Heidelberg (2016)
Rensink, A.: Model patterns: the quest for the right level of abstraction. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 47–70. Springer, Heidelberg (2016)
Steffen, B., Naujokat, S.: Archimedean points: the essence for mastering change. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 22–46. Springer, Heidelberg (2016)
Hinchey, M.: Good change and bad change: an analysis perspective on software evolution. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 90–112. Springer, Heidelberg (2016)
Tripakis, S.: Compositional model-based system design and other foundations for mastering change. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 113–129. Springer, Heidelberg (2016)
Bubel, R., Damiani, F., Hähnle, R., Johnsen, E., Owe, O., Schaefer, I., Yu, I.: Proof repositories for compositional verification of evolving software systems. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 130–156. Springer, Heidelberg (2016)
Havelund, K., Kumar, R.: Verified change. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 71–89. Springer, Heidelberg (2016)
Legay, A., Traonouez, L.M.: Statistical model checking with change detection. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 157–179. Springer, Heidelberg (2016)
Wirsing, M., Hölzl, M., Koch, N., Belzner, L.: Collective autonomic systems: towards engineering principles and their foundations. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 180–200. Springer, Heidelberg (2016)
Hölzl, M., Gabor, T.: Continuous collaboration for changing environments. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 201–224. Springer, Heidelberg (2016)
Felderer, M.: Issues on software quality models for mastering change. In: Steffen, B. (ed.) Transactions on FoMaC I. LNCS, vol. 9960, pp. 225–241. Springer, Heidelberg (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this chapter
Cite this chapter
Steffen, B. (2016). Introduction to the First Issue of FoMaC. In: Steffen, B. (eds) Transactions on Foundations for Mastering Change I. Lecture Notes in Computer Science(), vol 9960. Springer, Cham. https://doi.org/10.1007/978-3-319-46508-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-46508-1_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46507-4
Online ISBN: 978-3-319-46508-1
eBook Packages: Computer ScienceComputer Science (R0)