The following
are presentations made by formalWARE team members. These presentations
are in order of date presented with the most recent presentation at the
top of the list.
A Framework for Multi-Notation, Model-Oriented Requirements Analysis
Thesis defense presentation, Nancy Day, University of British Columbia,
October 5, 1998.
Refinement of Safety-Related Hazards into Verifiable Code Assertions
Presented by Ken Wong at SAFECOMP'98 in Heidelberg, Germany,
October 5-7, 1998.
Generating Safety Verification Conditions Through Fault Tree Analysis and Rigorous Reasoning
Presented by Ken Wong at the 16th International System Safety Conference,
Seattle, Washington, USA, September 14-19.
Looking at Code with Your Safety Goggles On
Presented by Ken Wong at Ada-Europe'98, Uppsala, Sweden, June 8-12, 1998.
Derivation of Safety Verification Conditions from Hazard Definitions
Variations of this talk was presented by Ken Wong at:
May 21,
formalWARE project review
CICSR building, University of British Columbia
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
June 3, The Institute of Applied Computer
Science (IFAD),
Odense, Denmark
http://www.ifad.dk
June 12, Industrilogik,
Stockholm, Sweden
http://www.l4i.se
Safety Verification
of Software-Intensive Systems: Emerging Methods, Techniques
and Tools
Presented by Ken Wong on March 18, 1998 at Raytheon Systems
Canada Ltd.
Probability
and Statistics and Probabilistic Analysis of Software Testing
Presented by Lee White on December 3rd,
1997 in the CICSR building at UBC.
Using
a Formal Description Technique to Model Aspects of a Global Air Traffic
Telecommunications Network
Presented by James
H. Andrews at the 10th annual FORTE/PSTV conference held in Osaka, Japan
on Nov. 18-21.
Specification
and Tool-based Analysis of an Aircraft Separation Minima
Presented by Nancy Day on November 10,
1997 at Raytheon Systems Canada Ltd., Richmond, BC.
Formalware
project overview
Presented by Christine Jensen at formalWARE's
Open House on October 8 1997 at the Cecil Green House, UBC.
Lessons
Learned
Presented by Jeff Joyce at formalWARE's
Open House on October 8, 1997 at Cecil Green House, UBC.
Formal
Validation of System Specifications
Presented by Nancy Day at formalWARE's
Open House on October 8, 1997 at Cecil Green House, UBC.
Test
Generation from System-level Requirements Specification
Presented by Michael Donat at formalWARE's
Open House, Cecil Green House, UBC.
Code
Level Safety Analysis (Or "Is it Safe?")
Presented by Ken Wong at formalWARE's
Open House on October 8, 1997 at Cecil Green House, UBC.
SPECL: A Formal
Specification Language
Presented by Jeff Joyce (for Kendra Cooper)
at formalWARE's Open House on October 8, 1997 at Cecil Green House, UBC.
Automated
Package Testing
Presented by JK Nair at formalWARE's Open
House on October 8, 1997 at Cecil Green House, UBC.
Testing Library
Components: Experience with Red-Black Trees
Presented by Lee White at formalWARE's
Open House on October 8, 1997 at Cecil Green House, UBC.
Formalization
and Analysis of the Separation Minima for Aircraft in the North Atlantic
Region.
Presented by Nancy Day at the 4th NASA
Langley Formal Methods Workshop, Hampton Virgina, USA, September 10-12
1997.
Executing Formal
Specifications by Translation to Higher Order Logic Programming.
Presented by James H. Andrews at the 1997 International Conference on Theorem
Proving in Higher Order Logics, Bell Labs, Murray Hill, 19-22 August 1997.
Formal Analysis
of System Specifications
Presented by Nancy Day at the International
Conference on Software Engineering, Boston MA, USA, May 18, 1997
. |
