Requirements Specification and Verification Using Z (.ppt)

Research Report on
Current Trends in
Requirements Engineering (
Oral Comprehensive Exam)

Specifying Parallel and Distributed Systems in Object Z: The Lift Case Study (.pdf)


  9:00 -14:00 14:00-19:00
Saturday -  
Sunday ISLab ISLab
Monday -  
Tuesday ISLab ISLab
Wednesday   -


  © Copyright 2005  By Artificial Intelligent Systems Laboratory All Rights Reserved