Socrates/Erasmus Programme, University of Minho, Braga, May 29, 2003 1/27 Automatic Generation of Language-based Tools: The LISA Approach Marjan Mernik.
Abstract State Machines Method for High-Level System Design and Analysis A Software EngineeringTechnique Egon Börger (Slightly adapted by Fabio Martinelli.
INTERACTIVE SMALL-STEP ALGORITHMS I: AXIOMATIZATION ANDREAS BLASS, YURI GUREVICH, DEAN ROSENZWEIG, AND BENJAMIN ROSSMAN.
Final exam week Three things on finals week: –final exam –final project presentations –final project report.
Agent-Based Modelling Piper Jackson PhD Candidate Software Technology Lab School of Computing Science Simon Fraser University.
Formal Methods. Contents What are Formal Methods? Definition Myths History Types of formal methods Use of mathematics Do we really need Formal Methods?
Abstract State Machines and Computationally Complete Query Languages Andreas Blass,U Michigan Yuri Gurevich,Microsoft Research & U Michigan Jan Van den.
Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages Kai Chen Janos Sztipanovits Sandeep Neema Matthew Emerson Sherif Abdelwahed.
Formal Methods
CitLab : a Laboratory for Combinatorial Interaction Testing