The University of New South Wales

go to UNSW home page

Handbook Home

PRINT THIS PAGE
Software System Development Using the B-Method and B-Toolkit - COMP9116
 Computing Logo

   
   
   
 
Campus: Kensington Campus
 
 
Career: Postgraduate
 
 
Units of Credit: 6
 
 
EFTSL: 0.12500 (more info)
 
 
Indicative Contact Hours per Week: 3
 
 
Fee Band: 2 (more info)
 
 
Further Information: See Class Timetable
 
  

Description

The B-Method is a rigorous mathematically based method for the development of reliable software. The method covers the complete software cycle from requirement s analysis through specification, design, implementation, testing, maintenance, and re-use. The B-Method is supported by the B-Toolkit: a collection tools of that provide for specification animation, proof obligation generation, theorem proving, configuration management, code generation, and documentation. The B-Method uses similar mathematical notation to Z, but does not use Z. Specifications are given in AMN (Abstract Machine Notation), which is a small abstract programmin g language. The B-Method is object based in the sense that systems of machines use a number of different forms of inheritance to control visibility and inherit operations. There is no dependence on a particular programming language, but the current code generator generates C.

This course will explore the use of the B-Method and the B-Toolkit. The topics covered will include: The Abstract Machine Notation; Machine Composition; Refinement; Implementation; The method of presentation will use case studies to present the method; laboratory exercises to use the tools; a major project to apply all aspects of the method, and use of the tools.

URL for this page:

© The University of New South Wales (CRICOS Provider No.: 00098G), 2004-2011. The information contained in this Handbook is indicative only. While every effort is made to keep this information up-to-date, the University reserves the right to discontinue or vary arrangements, programs and courses at any time without notice and at its discretion. While the University will try to avoid or minimise any inconvenience, changes may also be made to programs, courses and staff after enrolment. The University may also set limits on the number of students in a course.