Please use this identifier to cite or link to this item:
https://hdl.handle.net/10216/98120| Author(s): | Cesar Andres Rui Abreu Alberto Núñez |
| Title: | OCE: An Online Colaborative Editor |
| Issue Date: | 2012 |
| Abstract: | In this paper we present the development of an Online Collaborative Editor (OCE) software system. It allows several people, to edit and share computer files using different devices, such as mobiles, PDAs in an easy way. We use formal methods in order to automatize and describe OCE. Its formalism is very suitable to specify time requirements (both time consumption due to the performance of tasks and timeouts) as well as to represent data communication among different components of the system. This exercise convinced us that a formal approach to develop complex systems can facilitate some of the development phases. In particular, the testing and debugging phases, more precisely, how to chose those tests more suitable to be applied, is simplified since tests are automatically extracted from the specification. |
| Subject: | Outras ciências da engenharia e tecnologias Other engineering and technologies |
| Scientific areas: | Ciências da engenharia e tecnologias::Outras ciências da engenharia e tecnologias Engineering and technology::Other engineering and technologies |
| URI: | https://repositorio-aberto.up.pt/handle/10216/98120 |
| Source: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Document Type: | Artigo em Livro de Atas de Conferência Internacional |
| Rights: | restrictedAccess |
| Appears in Collections: | FEUP - Artigo em Livro de Atas de Conferência Internacional |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 60312.pdf Restricted Access | 612.75 kB | Adobe PDF | Request a copy from the Author(s) |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.