TY - BOOK ID - 16242313 TI - ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday AU - Katoen, Joost-Pieter. AU - Langerak, Rom. AU - Rensink, Arend. PY - 2017 SN - 3319682709 3319682695 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer science. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Algorithms. KW - Computer logic. KW - Mathematical logic. KW - Computer simulation. KW - Computer Science. KW - Logics and Meanings of Programs. KW - Software Engineering. KW - Programming Languages, Compilers, Interpreters. KW - Simulation and Modeling. KW - Mathematical Logic and Formal Languages. KW - Algorithm Analysis and Problem Complexity. KW - Computer modeling KW - Computer models KW - Modeling, Computer KW - Models, Computer KW - Simulation, Computer KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Computer science logic KW - Algorism KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Computer software engineering KW - Informatics KW - Electromechanical analogies KW - Mathematical models KW - Simulation methods KW - Model-integrated computing KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Logic, Symbolic and mathematical KW - Algebra KW - Arithmetic KW - Electronic data processing KW - Languages, Artificial KW - Engineering KW - Science KW - Foundations KW - Logic design. KW - Computer software. KW - Software, Computer KW - Computer systems KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory UR - https://www.unicat.be/uniCat?func=search&query=sysid:16242313 AB - 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. ER -