2009: J Paul GibsonT&MSP-CSC 4504 : Langages formels et applications Event-B/Purse.1 CSC 4504 : Langages formels et applications (La méthode Event-B) J.
Pesentation of formal
Logical Program Specification and Testing Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin and Fraunhofer FIRST, Berlin, Germany.
Lecture 2 Computation Models and Abstractions: Properties of Abstract Models Time– Real, Relative, and Constrained Simplest Embedded Systems Forrest Brewer.
sql case studies
CSC 415: Translators and Compilers Dr. Chuck Lillie.
OGSA - A View From The Trenches
Formal methods engineering
Promoting and Standardizing Grid Computing OGSA - A View From The Trenches Andrew Grimshaw GGF Architecture Area Co-Director January, 2005.
To appear in Proceedings QFM’09
AOSE-2003, Melbourne July 15 th 1 Agent Oriented modeling by interleaving formal and informal analysis Anna Perini 1, Marco Pistore 2,1, Marco Roveri 1,
A Framework for Testing Database Applications Joint work with Phyllis G. Frankl (Polytechnic) Saikat Dan (Polytechnic) Filippos Vokolos (Lucent Technologies)