Zz-structures are particular data structures capable of representing both hypertextual information and contextual interconnections among different information. The focus of this paper is to stimulate new research on this topic, by providing, in a state of the art survey, a short description and comparison of all the material that, to the best of our knowledge, is related to zz-structures: informal and formal descriptions, implementations, languages, demonstrations, projects and applitudes of zz-structures; in fact, despite their large use in different fields, the literature lacks of an exhaustive and up-to-date description of them
Formal design methods are becoming increasingly recognised as being useful for specifying complex sy...
This research established a foundation for formalizing the evolution of based object models to theor...
This paper describes some of the difficulties and challenges that arise during the design of tools f...
Zz-structures are particular data structures capable of rep- resenting both hypertextual information...
The focus of this paper is on particular and innovative structures for storing, linking and manipula...
The focus of this paper is on particular and innovative struc- tures for storing, linking and manipu...
Hypermedia applications tend to use simple representations for navigation: most commonly, nodes are ...
Abstract. A report is given on work undertaken to produce a struc-tured specication in Z of a model ...
A report is given on work undertaken to produce a structured specification in Z of a model which aim...
Zz-structures offer graph-centric views capable of representing contextual interconnections among di...
Web-based education enables learners and teachers to access a wide quantity of continuously updated ...
Zz-structures offer graph-centric views capable of representing contextual interconnections among di...
In this paper we present a formalization of the Z notation and its structuring mechanisms. One of th...
[[abstract]]The advantages of using a formal specification are in its precise definition of object p...
TOGO is a tourist mobile guide dedicated TO the town of GOrizia; it proposes the study of a general ...
Formal design methods are becoming increasingly recognised as being useful for specifying complex sy...
This research established a foundation for formalizing the evolution of based object models to theor...
This paper describes some of the difficulties and challenges that arise during the design of tools f...
Zz-structures are particular data structures capable of rep- resenting both hypertextual information...
The focus of this paper is on particular and innovative structures for storing, linking and manipula...
The focus of this paper is on particular and innovative struc- tures for storing, linking and manipu...
Hypermedia applications tend to use simple representations for navigation: most commonly, nodes are ...
Abstract. A report is given on work undertaken to produce a struc-tured specication in Z of a model ...
A report is given on work undertaken to produce a structured specification in Z of a model which aim...
Zz-structures offer graph-centric views capable of representing contextual interconnections among di...
Web-based education enables learners and teachers to access a wide quantity of continuously updated ...
Zz-structures offer graph-centric views capable of representing contextual interconnections among di...
In this paper we present a formalization of the Z notation and its structuring mechanisms. One of th...
[[abstract]]The advantages of using a formal specification are in its precise definition of object p...
TOGO is a tourist mobile guide dedicated TO the town of GOrizia; it proposes the study of a general ...
Formal design methods are becoming increasingly recognised as being useful for specifying complex sy...
This research established a foundation for formalizing the evolution of based object models to theor...
This paper describes some of the difficulties and challenges that arise during the design of tools f...