A synchronous cooperative architecture for the PROSOFT software engineering environment

This paper shows the evolution of a software engineering environment (SEE) called PROSOFT to support the formal development of groupware applications. This environment, which is centered in the data-driven approach for software development, evolved to support cooperation in the software development...

Descripción completa

Detalles Bibliográficos
Autores principales: Quites Reis, Rodrigo, Lima Reis, Carla Alessandra, Nunes, Daltro José
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1998
Materias:
Ciencias Informáticas
Informática
cooperative software
software enviroment
formal methods
algebraic specification
SOFTWARE ENGINEERING
Computer-supported cooperative work
Programming Environments
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24110
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24110
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Informática
cooperative software
software enviroment
formal methods
algebraic specification
SOFTWARE ENGINEERING
Computer-supported cooperative work
Programming Environments
spellingShingle Ciencias Informáticas
Informática
cooperative software
software enviroment
formal methods
algebraic specification
SOFTWARE ENGINEERING
Computer-supported cooperative work
Programming Environments
Quites Reis, Rodrigo
Lima Reis, Carla Alessandra
Nunes, Daltro José
A synchronous cooperative architecture for the PROSOFT software engineering environment
topic_facet Ciencias Informáticas
Informática
cooperative software
software enviroment
formal methods
algebraic specification
SOFTWARE ENGINEERING
Computer-supported cooperative work
Programming Environments
description This paper shows the evolution of a software engineering environment (SEE) called PROSOFT to support the formal development of groupware applications. This environment, which is centered in the data-driven approach for software development, evolved to support cooperation in the software development process. Its transition is founded in a client/server communication model called Distributed PROSOFT that provides software mechanisms to permit concurrent use of the environment resources. Thus, this paper presents a formal model that provides an object middleware with synchronous handling and version support for the objects created with the software tools integrated to the environment. Cooperative PROSOFT is presented as an architecture for the formal development of groupware applications that permits the formal validation of cooperative applications specified under its paradigm. A consequence of this work is the integration of the advantages found in formal specification techniques to the groupware development that provides the development of higher quality groupware applications than those obtained with the use of traditional techniques.
format Objeto de conferencia
Objeto de conferencia
author Quites Reis, Rodrigo
Lima Reis, Carla Alessandra
Nunes, Daltro José
author_facet Quites Reis, Rodrigo
Lima Reis, Carla Alessandra
Nunes, Daltro José
author_sort Quites Reis, Rodrigo
title A synchronous cooperative architecture for the PROSOFT software engineering environment
title_short A synchronous cooperative architecture for the PROSOFT software engineering environment
title_full A synchronous cooperative architecture for the PROSOFT software engineering environment
title_fullStr A synchronous cooperative architecture for the PROSOFT software engineering environment
title_full_unstemmed A synchronous cooperative architecture for the PROSOFT software engineering environment
title_sort synchronous cooperative architecture for the prosoft software engineering environment
publishDate 1998
url http://sedici.unlp.edu.ar/handle/10915/24110
work_keys_str_mv AT quitesreisrodrigo asynchronouscooperativearchitecturefortheprosoftsoftwareengineeringenvironment
AT limareiscarlaalessandra asynchronouscooperativearchitecturefortheprosoftsoftwareengineeringenvironment
AT nunesdaltrojose asynchronouscooperativearchitecturefortheprosoftsoftwareengineeringenvironment
AT quitesreisrodrigo synchronouscooperativearchitecturefortheprosoftsoftwareengineeringenvironment
AT limareiscarlaalessandra synchronouscooperativearchitecturefortheprosoftsoftwareengineeringenvironment
AT nunesdaltrojose synchronouscooperativearchitecturefortheprosoftsoftwareengineeringenvironment
bdutipo_str Repositorios
_version_ 1764820466620432385

Ejemplares similares