REGGIO , Gianna

No description

On the basis of some experience in the use of UML-based methods, we believe that a more refined and stringent structuring of the knowledge in the Requirement Specification may help the specification process and make easier the consistency checks among the various components. Thus we propose a way of structuring and representing the Requirement...

This paper presents an attempt, perhaps unorthodox, at bridging the gap between the use of formal techniques and the current software engineering practices. After years of full immersion in the development and use of formal techniques, we have been led to suggest a Virtuous Cycle philosophy, better marrying the rigor of formalities to the needs...

No description

No description

We consider the problem of specifying reactive systems at different level of abstraction and propose a method for connecting the requirement to the design phase. As in a variety of other approaches, we assume that a process is modelled by a labelled transition system. The requirement phase is supposed to define a class of models, while at the...

No description

Coordination via tuple spaces is a well known and accepted technique for designing distributed systems; originally introduced in Linda, it has been very recently adopted within the Java environment as an underlying mechanism of the JavaSpacesTM technology. We explore the possibility of using such a technique in the development of systems...

No description

No description

No description

We address the problem of giving a clean and uniform mathematical model for handling user-defined data types in imperative languages, contrary to the ad hoc treatment usual in classical denotational semantics. The problem is solved by defining the store as a homomorphic mapping of an algebraic structure of left values modelling containers into...

No description

No description

No description

A poweful paradigm is presented for defining semantics of data types which can assign sensible semantics also to data representing processes. Processes are abstractly viewed as elements of observable sort in an algebraic structure, independently of the language used for their description. In order to define process semantics depending on the...

No description