Busque entre los 156185 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-11-13T21:19:29Z | |
dc.date.available | 2012-11-13T21:19:29Z | |
dc.date.issued | 1998-11 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/24110 | |
dc.description.abstract | 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. | en |
dc.language | en | es |
dc.subject | cooperative software | en |
dc.subject | SOFTWARE ENGINEERING | es |
dc.subject | software enviroment | en |
dc.subject | Computer-supported cooperative work | es |
dc.subject | formal methods | en |
dc.subject | Programming Environments | es |
dc.subject | algebraic specification | en |
dc.title | A synchronous cooperative architecture for the PROSOFT software engineering environment | en |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Quites Reis, Rodrigo | es |
sedici.creator.person | Lima Reis, Carla Alessandra | es |
sedici.creator.person | Nunes, Daltro José | es |
sedici.description.note | Ingeniería de Software | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.subject.materias | Informática | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 1998-10 | |
sedici.relation.event | IV Congreso Argentina de Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |