Z and Larch

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Paolo Ciancarini Tue, 26 Jan 1993 15:46

#495

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads