Index of /~bochmann/ELG7187C/CourseNotes/Literature

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 roadmap-requirements..> 2010-12-19 22:04  100K  
 roadmap-analysis.pdf    2010-12-19 22:04  117K  
 papersByAalst/          2013-03-15 10:27    -   
 Zafiropulos-1980.pdf    2010-12-19 22:05  1.2M  
 WorkflowGen-White-Pa..> 2010-01-16 12:08   73K  
 WS_FTP.LOG              2012-02-15 10:19  9.2K  
 UML - superstructure..> 2013-01-06 15:15  4.5M  
 UML - 05-07-05 - inf..> 2010-12-19 22:05  1.6M  
 SpinTutorial.pdf        2010-01-20 13:18  1.1M  
 SPIN application to ..> 2010-12-19 22:04  225K  
 RealizabilityOfColla..> 2010-12-19 22:04  521K  
 Overview of SDL.pdf     2010-12-19 22:04  118K  
 OCL - 12-01-01.pdf      2012-01-10 18:40  1.7M  
 Nakata-2002-NHT98RTC..> 2010-12-19 22:04   81K  
 Nakata-1998.pdf         2010-12-19 22:04   81K  
 Lamport-78.pdf          2010-12-19 22:04  835K  
 Khendek-1989.pdf        2010-12-19 22:04  921K  
 Holzmann-1997-SPIN.pdf  2010-12-19 22:02  248K  
 Gouda-Yu 1984.pdf       2010-12-19 22:04  1.0M  
 Clarke - FM State of..> 2010-12-19 22:04  291K  
 Bowen - FM 10 years ..> 2010-12-19 22:04  1.0M  
 Bowen - 7 more myths..> 2010-12-19 22:04  864K  
 Bochmann-Gotzhein 19..> 2010-12-19 22:03  685K  
 Boch90xx - from IEEE..> 2012-02-15 10:13  291K  
 Boch90b - from IEEE ..> 2010-12-19 22:03  1.0M  
 Boch80e - from IEEE ..> 2011-02-08 11:37  843K  
 Boch80b - from IEEE ..> 2011-02-08 11:37  1.0M  
 Boch78i - from Compu..> 2010-12-19 22:03  887K  
 Boch77c - from IFIP ..> 2010-12-19 22:03  3.9M  
 Amyot - URN tutorial..> 2010-12-19 22:03  554K  
 Amyot - BP example -..> 2010-12-19 22:03  386K