Talks

Please first login if you wish to upload a talk.

Alloy Modeling Language and Analyzer
Greg Dennis & Robert Seater
Aug 22 2006
MIT-SDG
Alloy in 90 Minutes
Daniel Jackson
Sep 1 2005
MIT-SDG
Relational Logic for Software Design
Daniel Jackson
Jul 18 2005
MIT-SDG
Modelling and Analyzing Software Abstractions
Daniel Jackson
Mar 21 2005
MIT-SDG
Software Modeling Techniques and the Semantic Web
Jin Song Dong (National University of Singapore)
May 25 2004
Conceptual Models and Modern Software Construction
Daniel Jackson
Mar 23 2004
MIT-SDG
Analyzable Models for Software Design
Daniel Jackson
Feb 4 2004
MIT-SDG
Alloy: A Logical Modelling Language
Daniel Jackson
Jun 4 2003
MIT-SDG
Alloy: An Analyzable Modelling Language
Daniel Jackson
Apr 25 2003
MIT-SDG
Generalized Model Checking for Shape Analysis
Michael Huth (Imperial College London)
Mar 3 2003
Don't know and don't care: applications of executable under-specifications
Michael Huth (Imperial College London)
Feb 7 2003
Declarative Modelling and Analysis with Alloy
Daniel Jackson
Jul 20 2002
MIT-SDG
Analyzing Objects
Daniel Jackson (joint work with Mandana Vaziri and Allison Waingold)
Dec 5 2001
MIT-SDG
Micromodels of Software
Daniel Jackson
Nov 13 2001
MIT-SDG
Analysis of Software Architecture
Alex Aiken (University of California, Berkeley)
Oct 4 2001
A Micromodularity Mechanism
Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
Sep 10 2001
MIT-SDG
Lightweight Formalism
Daniel Jackson
Aug 14 2001
MIT-SDG
Lightweight Formal Methods
Daniel Jackson
Mar 14 2001
MIT-SDG
Alloy Revisited
Daniel Jackson
Feb 19 2001
MIT-SDG
Logic, Models and Analysis
Daniel Jackson
Jun 29 2000
MIT-SDG
Unintentional Naming
Daniel Jackson
Jun 26 2000
MIT-SDG
Future of Software Analysis
Daniel Jackson
Jun 4 2000
MIT-SDG
A Relational Logic, Its Analysis and Application
Daniel Jackson
Apr 4 2000
MIT-SDG
Shape Analysis with SAT
Daniel Jackson
Feb 21 2000
MIT-SDG
Tractable Object Modelling
Daniel Jackson
Feb 7 2000
MIT-SDG

Search

Navigation

User login