03884nam 22007695 450 99646540940331620200701115728.03-319-68270-910.1007/978-3-319-68270-9(CKB)4100000000881946(DE-He213)978-3-319-68270-9(MiAaPQ)EBC6302809(MiAaPQ)EBC5591390(Au-PeEL)EBL5591390(OCoLC)1066194012(PPN)220121230(EXLCZ)99410000000088194620170927d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierModelEd, TestEd, TrustEd[electronic resource] Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /edited by Joost-Pieter Katoen, Rom Langerak, Arend Rensink1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XII, 391 p. 115 illus.) Programming and Software Engineering ;105003-319-68269-5 Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications.This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.Programming and Software Engineering ;10500Computer logicSoftware engineeringProgramming languages (Electronic computers)Computer simulationMathematical logicAlgorithmsLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Computer logic.Software engineering.Programming languages (Electronic computers).Computer simulation.Mathematical logic.Algorithms.Logics and Meanings of Programs.Software Engineering.Programming Languages, Compilers, Interpreters.Simulation and Modeling.Mathematical Logic and Formal Languages.Algorithm Analysis and Problem Complexity.621.395Katoen Joost-Pieteredthttp://id.loc.gov/vocabulary/relators/edtLangerak Romedthttp://id.loc.gov/vocabulary/relators/edtRensink Arendedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465409403316ModelEd, TestEd, TrustEd2830100UNISA