comments & experience

Thread View: comp.specification.z

1 messages

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

1 total messages Started by Pin CHEN Fri, 08 Jan 1993 19:37

#141

Author: Pin CHEN
Date: Fri, 08 Jan 1993 19:37

27 lines
1153 bytes

Hi, I would like to post following questions:

1. Do we have any formal technique to interpret and analyse a given 
specification for applications in Z?

2. Is it possible to make use of some mathematical concepts such as algebra 
topology, category theory, topos, lattice theory or whatever to construct
a framework of a formal inference system for Z? 

3. What is the current situation about Z-based programming environment?

4. Could Object-Z lead to transformational programming towards a object-
oriented language, for instance C++?

 
The questions above are what I am interested in. I  would like to hear from
 anybody, either comments or experience.


Pin Chen
Computer Science Lab.
The Australian National University
Canberre ACT 0200
Australia

e-mail address: pin@nimbus.anu.edu.au

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