No abstract

No abstract

The higher the quality of the specification document, the lower the effort of its translation into design models and testing plans. Besides, an adequate level of abstraction to promote such translations must be described. Therefore, to ensure the quality of requirements specifications it is strategic to develop high quality software applications. So, in this paper a model-based approach to support the correctness, structuring, and translation of functional requirements specifications is described. This approach consists of facilities to build and inspect requirements specifications based on activity diagrams (capturing use cases), and derive functional tests from them. A tool to model and check the activity diagram, a checklist-based inspection technique and a test procedure generation tool form it. This approach was assessed in experimental studies that indicated its feasibility in specification time and a significant reduction of defects in the specified use cases when compared to ad-hoc approaches.

OBJECTIVE: To find ubiquitous computing characteristics and propose a checklist for characterizing software projects regarding ubiquity. METHOD: To run systematic reviews to understand: 1) ubiquitous computing, 2) its main characteristics, and 3) its specific factors. After that, to configure and evaluate the checklist. RESULTS: 116 papers were analyzed resulting in the current definition for ubiquitous computing and the identification of 10 characteristics (associated with 123 functional and 45 restrictive factors) that have been organized into a checklist to characterize ubiquitous software projects. Eight self-nominated ubiquitous software projects were used to evaluate the checklist. None of them could be characterized as 100% ubiquitous. CONCLUSION: The current definition of ubiquitous computing embraces concepts (characteristics and factors) that allow the characterization of software projects regarding ubiquity. However, additional research effort must be invested towards the understanding of ubiquitous characteristics influence in the software engineering.

No abstract