03670nam 22007335 450 99646657260331620200704114932.03-030-34968-310.1007/978-3-030-34968-4(CKB)4100000009844952(DE-He213)978-3-030-34968-4(MiAaPQ)EBC5997074(PPN)25549307X(EXLCZ)99410000000984495220191114d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntegrated Formal Methods[electronic resource] 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings /edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XVII, 554 p. 1489 illus., 92 illus. in color.) Programming and Software Engineering ;119183-030-34967-5 This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.Programming and Software Engineering ;11918Software engineeringProgramming languages (Electronic computers)ComputersArtificial intelligenceComputer logicComputer simulationComputer organizationSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Logic in AIhttps://scigraph.springernature.com/ontologies/product-market-codes/I21020Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Computer Systems Organization and Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13006Software engineering.Programming languages (Electronic computers).Computers.Artificial intelligence.Computer logic.Computer simulation.Computer organization.Software Engineering.Programming Languages, Compilers, Interpreters.Theory of Computation.Logic in AI.Simulation and Modeling.Computer Systems Organization and Communication Networks.004.0151Ahrendt Wolfgangedthttp://id.loc.gov/vocabulary/relators/edtTapia Tarifa Silvia Lizethedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466572603316Integrated Formal Methods772444UNISA