Z and Larch

Article View: comp.specification

Article #495

Back to comp.specification Previous Next

#495

From: Paolo Ciancarini
Date: Tue, 26 Jan 1993 15:46

23 lines
1197 bytes

This year I am teaching a class on software engineering.
I choose to focus on specification;
I (ill) defined a project, and my student are working
on formalizing it in Z. Then they will use Larch
for the design phase.

I would like to know if there are any other courses
that are using the same combination: Z for
requirement analysis and specification document,
and Larch for specification analysis and design document.

I am aware of the paper by prof. Garland in the last
Sw Eng Education Conference (published in Springer LNCS).

I would like to exchange ideas and problems...

Paolo Ciancarini
Univ. of Bologna
-- 
Paolo Ciancarini
Dept. of Mathematics 
Univ. of Bologna -  Pza di Porta S.Donato 5, 40126 Bologna Italy
tel +39 51 354496

Technical Details

Message-ID: <1993Jan26.154610.14213@cs.unibo.it>

Path:

arc1-ca.pugleaf.net!sparky!uunet!ukma!darwin.sura.net!zaphod.mps.ohio-state.edu!rpi!ghost.dsi.unimi.it!cs.unibo.it!cianca

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification,comp.specification.z
Path: arc1-ca.pugleaf.net!sparky!uunet!ukma!darwin.sura.net!zaphod.mps.ohio-state.edu!rpi!ghost.dsi.unimi.it!cs.unibo.it!cianca
From: cianca@cs.unibo.it (Paolo Ciancarini)
Subject: Z and Larch
Message-ID: <1993Jan26.154610.14213@cs.unibo.it>
Sender: news@cs.unibo.it
Organization: Laboratory for Computer Science, University of Bologna, Italy
Date: Tue, 26 Jan 1993 15:46:10 GMT
Lines: 23