- Citado por SciELO
- Citado por Google
- Similares en SciELO
- Similares en Google
versión impresa ISSN 0104-6500
J. Braz. Comp. Soc. vol.9 no.2 Campinas nov. 2003
Letter from the editor-in-chief
This issue contains five papers from different events held in 2003 and 2002 that have been chosen by their program committees to be published in the JBCS in an extended and reviewed format. I would like to express my gratitude to the chairs of these events as well as their program committees for devoting their time to select one paper among the many presented in the event. I am sure they will be useful for most of our readers. In the next issue we will continue to publish the best papers of other Brazilian events.
The first paper, by Melo Filho, Pirmez and Rezende, is from the 2003 Brazilian Workshop on Computer Networks and describes a control mechanism for dynamic selection of Quality of Service parameters used in an IEEE 802.1le Wireless Local Area Network (WLAN). The second paper, by Couchot, Déharbe, Giorgetti, and Ranise, is from the 2003 Formal Methods Workshop and presents a technique to prove invariants of model-based specifications in a fragment of set theory. Proof obligations containing set theory constructs are translated to fist-order logic with equality augmented with the theory of arrays with extensionality.
The third paper, by Nóbrega, Stefano and Sallatin, from the Brazilian Workshop on the use of Informatics on Education, presents an educational agent capable of handling a contradiction-driven approach guided by the theory - experiment confrontation. The fourth paper, by Mian and Falbo, from the 2002 Iberian-american Conference on Software Engineering and Knowledge Engineering, presents ODED, an ontology editor that supports the definition of concepts, relations and properties, using graphic representations. Finally, the fifth paper, by Carver and Basili, from the 2003 Brazilian Symposium on Software Engineering, proposes a methodology to aid in performing a literature search to be used as a basis for new research into certain types of variables. The specific example used to illustrate the methodology focuses on searching for variables that deal with the individual variations among software inspectors that affect their performance during an inspection.
Paulo C. Masiero