MIT Artificial Intelligence Laboratory
RELIABLE SOFTWARE 2001
Sotware affidabile 2001

JONATHAN BACHRAC Convenient Macros for Languages with convenctional Algebraic Sintax. Interactive High-Performance Language Design and Implementation

HOWARD SHROBE, JON DOYLE & PETER SZOLOVITS Active Trust Management for Adaptive Survivable Systems (ATM for ASS 1s)

HOWARD SROBE & ROBERT LADDAGA Self Adaptive Software

GREGORY T. SULLIVAN The Dynamic Virtual Machine: Aplatform for Dynamic Language Implementation
http://www.ai.mit.edu/research/abstracts/abstracts2001/reliable-sotware/reliable-software.shtml