The focus of this paper is on particular and innovative structures for storing, linking and manipulating information: The zz-structures. In the last years, we worked at the formalization of these structures, retaining that the description of the formal aspects can provide a better understanding of them, and can also stimulate new ideas, projects and research. This work presents our contribution for a deeper discussion on zz-structures
Abstract. A report is given on work undertaken to produce a struc-tured specication in Z of a model ...
This paper provides an introduction to the specification language Z from a logical perspective. The ...
We present a graph-theoretical interpretation of the recently developed interface theory of single z...
The focus of this paper is on particular and innovative struc- tures for storing, linking and manipu...
Zz-structures are particular data structures capable of representing both hypertextual information a...
Zz-structures are particular data structures capable of rep- resenting both hypertextual information...
Formal design methods are becoming increasingly recognised as being useful for specifying complex sy...
Hypermedia applications tend to use simple representations for navigation: most commonly, nodes are ...
In this paper we present a formalization of the Z notation and its structuring mechanisms. One of th...
A report is given on work undertaken to produce a structured specification in Z of a model which aim...
The Z notation is a formal specification language used for describing and mod-elling computing syste...
[[abstract]]The advantages of using a formal specification are in its precise definition of object p...
The work presented in this thesis is concerned with the issues involved in writing and demonstrating...
Revised version of CSNote 89/17, appeared in the Proceedings of the VDM'90 Symposium, Springer Verla...
In this article, we formalize Z-module, that is a module over integer ring. ℤ-module is necassary fo...
Abstract. A report is given on work undertaken to produce a struc-tured specication in Z of a model ...
This paper provides an introduction to the specification language Z from a logical perspective. The ...
We present a graph-theoretical interpretation of the recently developed interface theory of single z...
The focus of this paper is on particular and innovative struc- tures for storing, linking and manipu...
Zz-structures are particular data structures capable of representing both hypertextual information a...
Zz-structures are particular data structures capable of rep- resenting both hypertextual information...
Formal design methods are becoming increasingly recognised as being useful for specifying complex sy...
Hypermedia applications tend to use simple representations for navigation: most commonly, nodes are ...
In this paper we present a formalization of the Z notation and its structuring mechanisms. One of th...
A report is given on work undertaken to produce a structured specification in Z of a model which aim...
The Z notation is a formal specification language used for describing and mod-elling computing syste...
[[abstract]]The advantages of using a formal specification are in its precise definition of object p...
The work presented in this thesis is concerned with the issues involved in writing and demonstrating...
Revised version of CSNote 89/17, appeared in the Proceedings of the VDM'90 Symposium, Springer Verla...
In this article, we formalize Z-module, that is a module over integer ring. ℤ-module is necassary fo...
Abstract. A report is given on work undertaken to produce a struc-tured specication in Z of a model ...
This paper provides an introduction to the specification language Z from a logical perspective. The ...
We present a graph-theoretical interpretation of the recently developed interface theory of single z...