03433nam 22007215 450 99646631970331620200701221238.03-030-03044-X10.1007/978-3-030-03044-5(CKB)4100000007145828(DE-He213)978-3-030-03044-5(MiAaPQ)EBC6295779(PPN)232470618(EXLCZ)99410000000714582820181023d2018 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFormal Methods: Foundations and Applications[electronic resource] 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /edited by Tiago Massoni, Mohammad Reza Mousavi1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (X, 271 p. 52 illus.) Programming and Software Engineering ;112543-030-03043-1 Techniques and methodologies -- Specification and modeling languages -- Theoretical foundations -- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Programming and Software Engineering ;11254Software engineeringProgramming languages (Electronic computers)Computer programmingComputer logicMathematical logicAlgorithmsSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Software engineering.Programming languages (Electronic computers).Computer programming.Computer logic.Mathematical logic.Algorithms.Software Engineering.Programming Languages, Compilers, Interpreters.Programming Techniques.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Algorithm Analysis and Problem Complexity.005.1Massoni Tiagoedthttp://id.loc.gov/vocabulary/relators/edtMousavi Mohammad Rezaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466319703316Formal Methods: Foundations and Applications773789UNISA