Participating 
     Organizations 
  Research   
     Topics 
  People 
   

formalWARE 
    results  

  Overview 
  Publications 
  Presentations 
  Tools   
  Methods 
  Examples   
  Training 

formalWARE  
  information  

  Events 
  Index  
  Links   
  Contacts

Agenda: 
formalWARE Welcome/Project Overview 
1:00 to 1:40PM 

The formalWARE project brings engineering staff and researchers from four different organizations together to work collaboratively on a range of specific tasks.  A detailed project plan is used to coordinate resources (people, time and funding) and to achieve project objectives (primarily the completion of well-defined tasks). Project progress is tracked in terms of both actual effort and completion of tasks, reported regularly by project members to a project management office.  As project objectives have matured into specific methods, techniques, tools and examples, the management perspective of this project has gradually shifted from viewing the project in terms of "tasks" to a view based on the detailed specification of the project deliverables. 

To view the presentation click here. 

University of British Columbia Presentations 
1:40 to 2:30PM 

formalWARE research at the University of British Columbia (UBC) focuses on several different aspects of developing software-intensive, critical systems including requirements specification and validation, requirements-based testing and safety verification.  This research includes several different approaches to capturing requirements in a format that can be parsed as input to a variety of analysis tools.  Some of these analysis tools assist requirements authors by automating checks for properties such as consistency and completeness.  Other tools under development at UBC partially automate the derivation of test cases for requirements-based testing.  Much of this work involves the use of specification techniques based on mathematical logic and related methods of logical reasoning.  Considerable emphasis is placed by the UBC formalWARE researchers on understanding established industrial processes for developing software-intensive, critical systems with the objective of addressing genuine problems and limitations of established techniques and methods.  Click here to view abstracts and on-line presentations for UBC presentations.  

Coffee Break 
2:30 to 2:45 

University of Victoria Presentations 
2:30 to 3:15PM 

At the University of Victoria, members of the formalWARE project are investigating methods of engineering software components with particular emphasis on techniques and tools for testing software components.  The objectives of this work include reducing the amount of effort required to write test scripts while maintaining or improving the test coverage.  Other formalWARE supported research at the University of Victoria in the area of testing is focused on topics such as regression testing, safety and reliability.  Yet another aspect of the formalWARE project at the University of Victoria involves using mathematical techniques to analyze models of communicating systems as a means of detecting potential problems such as "deadlock" or "unsafe" sequences of events.  These analysis techniques are potentially more thorough than what may typically be achieved for a non-trivial system using conventional methods based on testing or simulation. 

To view presentations click here. 

formalWARE Results Dissemination 
3:15 to 3:25PM 

The world wide web will be used in formalWARE as the primary mechanism for "packaging" project results into a single deliverable for the project sponsors.  The deliverable items include documents,  presentations and prototype tools.  Working from a detailed "output specification" for the project, the formalWARE website will be populated with deliverable items from now until the end of the project in March 1998.  In addition to results produced internally by the group, the formalWARE web site will include links to related work. 
 

Lessons Learned 
3:25 to 3:45PM 

As a university/industry collaborative research project, formalWARE involves several different kinds of stakeholders including graduate students, research faculty, sponsors and company employees.  Each kind of stakeholder may naturally have a different perception of the project objectives and deliverables.   We discuss some lessons learned during project in bridging these differences. 
 
To view the presentation click here. 

Audience Feedback 
3:45 to 4:15PM 

formalWARE Open House guests will have an opportunity to ask questions and provide feedback to the formalWARE research group. 

Closing Comments 
4:15 to 4:20PM 
 
Location of Cecil Green House and Parking 
 
Click here to see the University of British Columbia Campus Map.  
To see details on the location of the Cecil Green House, click on the Northeast (green) quadrant of the UBC Campus Map. 

Parking for Cecil Green House: 
There is meter parking in front of the Cecil Green House or you can park in the Rose Garden Parkade which is located on NW Marine Drive -- about a 4 minute walk to Cecil Green House. 
.