Skip to Main content Skip to Navigation
Directions of work or proceedings

Software Technologies: Applications and Foundations (STAF 2018)

Manuel Mazzara 1 Iulian Ober 2, 3 Gwen Salaün 4
2 IRIT-ARGOS - Advancing Rigorous Software and System Engineering
IRIT - Institut de recherche en informatique de Toulouse
4 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : The STAF 2018 conferences and workshops brought together leading researchers and practitioners from academia and industry to advance the state of the art in practical and foundational advances in software technology. They address all aspects of software technology, from object-oriented design, testing, mathematical approaches to modelling and verification, transformation, model-driven engineering, aspect-oriented techniques, and tools. The satellite workshops provided a highly interactive and collaborative environment to discuss emerging areas of software engineering, software technologies, model-driven engineering and formal methods. The eight workshops papers are included in this volume.
Document type :
Directions of work or proceedings
Complete list of metadata

Cited literature [2 references]  Display  Hide  Download
Contributor : Gwen Salaün Connect in order to contact the contributor
Submitted on : Thursday, December 20, 2018 - 12:05:40 PM
Last modification on : Thursday, October 21, 2021 - 3:45:26 AM
Long-term archiving on: : Friday, March 22, 2019 - 10:27:50 AM


Files produced by the author(s)



Manuel Mazzara, Iulian Ober, Gwen Salaün. Software Technologies: Applications and Foundations (STAF 2018). Mazzara, Manuel; Ober, Iulian; Salaun, Gwen. STAF 2018 - Federation of International Conferences on Software Technologies: Applications and Foundations, Jun 2018, Toulouse, France. Springer, XXI, 658 p., 2018, Programming and Software Engineering book series, 978-3030047702. ⟨10.1007/978-3-030-04771-9⟩. ⟨hal-01961961⟩



Record views


Files downloads