04264nam 22007815 450 99646549010331620201111142635.03-319-50230-110.1007/978-3-319-50230-4(CKB)3710000000981132(DE-He213)978-3-319-50230-4(MiAaPQ)EBC6303798(MiAaPQ)EBC5595404(Au-PeEL)EBL5595404(OCoLC)1076232439(PPN)197137407(EXLCZ)99371000000098113220161130d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierSoftware Technologies: Applications and Foundations[electronic resource] STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers /edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XXXII, 472 p. 185 illus.) Programming and Software Engineering ;9946Includes Index.3-319-50229-8 Practical and foundational advances in software technology -- Formal foundations of software technology -- Testing and formal analysis -- Graph transformations and model transformations -- Model driven engineering, and tools.This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.Programming and Software Engineering ;9946Software engineeringComputer logicArtificial intelligenceApplication softwareMathematical logicComputer communication systemsSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software engineering.Computer logic.Artificial intelligence.Application software.Mathematical logic.Computer communication systems.Software Engineering.Logics and Meanings of Programs.Artificial Intelligence.Information Systems Applications (incl. Internet).Mathematical Logic and Formal Languages.Computer Communication Networks.005.1Milazzo Paoloedthttp://id.loc.gov/vocabulary/relators/edtVarró Dánieledthttp://id.loc.gov/vocabulary/relators/edtWimmer Manueledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465490103316Software Technologies: Applications and Foundations1934715UNISA