| 
| Curriculum Development |
| 
| Mathematics for Computer Science Course Material |
|  | UNU/IIST Home |
|
| RAISE Course Material |
II/1/3/1 RAISE Course Material
The reports produced by curriculum development fellows who work on
material for courses on RAISE usually comprise a case study that can
be used as an example on a course, though occasionally they
concentrate on other course material. Those produced by fellows so far
are:
- Course
description
by P. Venkat Reddy, Hyderabad University, India
Abstract: In this report we present a first course in software engineering for
second/third year graduates and postgraduate students in Computer
Science. The purpose of the course is to address development of large
software systems whose size and complexity extend beyond algorithms
and data structures. Designing such large systems receives very little
attention in the current computer science curricula which cover in
their software component mainly programming concepts, design and
complexity of algorithms. In this report we first provide a motivation
for the course, and then its content, structure, suggested books, the
slides for class room teaching, and finally our plans for further
improving the course.
- Course
description
by Yu Huiqun, East China University of Science and Technology.
Includes an example on manufacturing resource planning.
Abstract: This report describes a course of formal methods in software
development based on RAISE. The aim of this course is to introduce
formal methods for Master students as well as senior undergraduates in
Computer Science. The course covers the RAISE Specification Language,
the RAISE development method and computer-based tools. Through this
course, students will be able to explore design concepts in a precise
manner, to prove properties of specifications and designs.
- Example
(enquiry system for bus
transport) by Tan Xinming, Wuhan Transportation University, China.
Abstract: This is a case study of formal software development using RAISE. A
city's bus transport system has been chosen as a study object by
concentrating on enquiry aspects. All the development procedures from
Specification, Refinement to Translation are presented in this report.
- Example
(university school administration) by Nguyen Quoc Toan,
Vietnam National University, Hanoi.
Abstract: This is an example using the RAISE method in software development for
courses on RSL and on the RAISE development method. There are some
Specifications for a school of a University using the RAISE
Specification Language. The first one is an applicative specification,
and then the concurrent applicative one directly from the applicative
one. The third one is an imperative specification and then the fourth
is a concurrent imperative specification developed from the third.
- Elaboration of
a domain
theory,
specifically resource management, by
Roger Noussi, African Institute of
Computer Science, Libreville, Gabon.
Abstract: This document is about the elaboration of a domain theory. It focuses
on principles and methodological aspects following Michael Jackson's
work. It tries to draw some guidelines on the path from informal
domain to a formal domain theory on which further software development
steps can be tackled and which allows consistency checking. To make
the analysis practical, the observations are based on the specific
domain of resources management.
- Knowledge based
systems:
formalisation and application to insurance, by Souleymane Koussoubé,
African Institute of Computer Science, Libreville, Gabon.
Abstract: This document provides a formal model for Knowledge-Based
Systems(KBS). It outlines the formal modelling of the different
components of a Rule-Based System (RBS). Initially abstract, the model
becomes more concrete in a sequence of refinements., naturally
evolving to address such aspects of a RBS as knowledge representation,
mode of reasoning, consistency. An example of instantiation of the
general model in order to provide a particular RBS is also shown. The
problem dealt with is about the choice of satisfying insurance
policies for a given customer. An informal description of this
application domain is given in an appendix.
- An introductory
course
on software engineering using formal methods, by Aristides Dasso, San
Luis University,
Argentina.
Abstract: An introductory course on Software Engineering using Formal
Methods. The course includes an example (Credit Card) of an RSL
specification, as well as some teaching materials.
In addition, UNU/IIST's own RAISE course material is available:
Also, UNU/IIST has produced a free and portable type checker for RSL.
See section III/3/1 for more details.
iistinfo@iist.unu.edu, 26 August 1999
| RAISE Course Material |
| |
| Curriculum Development |
| |
| Mathematics for Computer Science Course Material |
| | UNU/IIST Home |
|