Participating 
     Organizations 
  Research   
     Topics 
  People 
   

formalWARE 
    results 
 
  Overview 
  Publications 
  Presentation 
  Tools   
  Methods 
  Examples   
  Training 

formalWARE  
  information  

  Events 
  Index  
  Links   
  Contacts

October, 1998 formalWARE members Ken Wong and Jeff Joyce presented "Refinement of Safety-Related Hazards into Verifiable Code Assertions" at SAFECOMP'98 in Heidelberg, Germany, October 5-7, 1998. 

September, 1998 formalWARE members Jeff Joyce and Ken Wong presented "Generating Safety Verification Conditions Through Fault Tree Analysis and Rigorous Reasoning" at the 16th International System Safety Conference, Seattle, Washington, USA, September 14-19.    

July 29, 1998 formalWARE members Michael R. Donat and Jeffrey J. Joyce presented "Applying an Automated Test Description Tool to Testing Based on System Level Requirements" at INCOSE '98: International Council on Systems Engineering, July 1998, Vancouver B.C., Canada    

July 29, 1998 formalWARE member Kendra Cooper presented "Advantages of Stimulus Response Requirement Specification Techniques for System Testing" at INCOSE '98: International Council on Systems Engineering, July 1998, Vancouver B.C., Canada   

July 28, 1998 formalWARE members Richard Yates, James H. Andrews and Phil Gray presented "Practical Experience Applying Formal Methods to Air Traffic Management Software" at INCOSE '98: International Council on Systems Engineering, July 1998, Vancouver B.C., Canada   

June 11, 1998 formalWARE member Ken Wong presented Looking at Code with Your Safety Goggles On at Ada-Europe '98, Uppsala, Sweden.   

May 26 - June 12, 1998 formalWARE member Ken Wong presented "Derivation of Safety Verification Conditions from Hazard Definitions" at: 

May 26, Center for Software Reliability (CSR),  
City University, London, UK 
http://www.csr.city.ac.uk 

May 28, Praxis Critical Systems,  
Bath, UK 
http://www.praxis-cs.co.uk 

and "Overview of formalWARE Research" at: 

June 3, The Institute of Applied Computer Science (IFAD),  
Odense, Denmark 
http://www.ifad.dk 

June 12, Industrilogik,  
Stockholm, Sweden 
http://www.l4i.se 

May 21, 1998 the formalWARE project review was held in the CICSR building at the University of British Columbia. 

May 10, 1998 formalWARE member Paul Gilmore presented An Impredicative Simple Theory of Types at the 14'th Workshop on the Mathematical Foundations for Programming Systems, London, England, May 10-13. 

March 18, 1998 formalWARE member Ken Wong presented Safety Verification of Software-Intensive Systems:  Emerging Methods, Techniques and Tools at Raytheon Systems Canada Ltd. 

March 10, 1998 the formalWARE project presented their work at the BC ASI Exchange Day at Robson Square.  Please see our brochure! 

February 27, 1998 formalWARE member Lee White presented Managing Software Change:  A Firewall to Contain Parts of Modified Programs for Testing at Raytheon Systems Canada Ltd.  

December 3, 1997 formalWARE member Lee White held a two-part seminar on Probability and Statistics and Probabilistic Analysis of Software Testing. 

November 28, 1997 formalWARE member Jeff Joyce presented "Development of Software-Intensive Critical Systems" at UBC (as part of the ASI/CICSR Industry/Academic Lecture Series). 

November 10, 1997 formalWARE member Nancy Day presented "Specification and Tool-based Analysis of an Aircraft Separation Minima" at Raytheon Systems Canada Ltd.  Nancy's presentation. 
 
October 8, 1997  formalWARE Open House at the University of British Columbia.   
 
September 2, 1997 formalWARE member Nancy Day presented her "Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region" paper to a group of engineers at a weekly R&D meeting at MDA.  

July 14, 1997 formalWARE member Dr. Dan Hoffman of the University of Victoria presented his Ada Package Exerciser (APE) tool to a group of 20 software engineers at Raytheon Systems Canada Ltd. in Richmond, BC. 
 
June 10, 1997 formalWARE member Michael Donat presented his work on test case generation at MDA.  Michael's presentation focused on relaying the type of testing he is automating in his research.