Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by José Creissac Campos

2013

A Model-based Approach for Test Cases Generation

Authors
Silva, JC; Silva, JL; Campos, JC; Saraiva, JA;

Publication
PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)

Abstract
The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

2013

MapIt: A model based pattern recovery tool

Authors
Couto, R; Nestor Ribeiro, A; Creissac Campos, J;

Publication
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Abstract
Design patterns provide a means to reuse proven solutions during development, but also to identify good practices during analysis. These are particularly relevant in complex and critical software, such as is the case of ubiquitous and pervasive systems. Model Driven Engineering (MDE) presents a solution for this problem, with the usage of high level models. As part of an effort to develop approaches to the migration of applications to mobile contexts, this paper reports on a tool that identifies design patterns in source code. Code is transformed into both platform specific and independent models, and from these design patterns are inferred. MapIt, the tool which implements these functionalities is described. © 2013 Springer-Verlag.

2014

Rapid development of first person serious games using the APEX platform: The Asthma Game

Authors
Gomes, T; Abade, T; Campos, JC; Harrison, M; Silva, JL;

Publication
Proceedings of the ACM Symposium on Applied Computing

Abstract
Serious games combine a ludic component with instructive and formative goals. They aim to educate and train through play. This paper explores the use of a development framework for dynamic virtual environments to develop serious games. The framework (APEX) was originally developed to prototype ubiquitous computing environments. Here it is used to develop a first person serious game: the Asthma Game. This game aims to teach children with asthma how to act to prevent attacks by drawing attention to asthma triggers in the home, and by providing information about how to avoid them. Besides the description of the game, results about the viability and utility of the approach are also discussed.

2014

A study on the viability of formalizing use cases

Authors
Couto, R; Ribeiro, AN; Campos, JC;

Publication
Proceedings - 2014 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014

Abstract
Use case scenarios are known as powerful means for requirements specification. On the one hand, they join in the same modelling space the expectations of the stakeholders and the needs of the developers involved in the process. On the other hand, they describe the desired high level functionalities. By formalizing these descriptions we are able to extract relevant information's from them. Specifically, we are interested in identifying requirements patterns (common requirements with typical implementation solutions) in support for a requirements based software development approach. This paper addresses the transformation of use case descriptions expressed in a Controller Natural Language into an ontology expressed in the Web Ontology Language (OWL), as well as the query process for such information. It reports on a study aimed at validating our approach and our tool with real users. A preliminary set of results is discussed. © 2014 IEEE.

2014

An Approach for Graphical User Interface External Bad Smells Detection

Authors
Silva, JC; Campos, JC; Saraiva, J; Silva, JL;

Publication
NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2

Abstract
In the context of an effort to develop methodologies to support the evaluation of interactive system, this paper investigates an approach to detect graphical user interface external bad smells. Our approach consists in detecting user interface external bad smells through model-based reverse engineering from source code. Models are used to define which widgets are present in the interface, when can particular graphical user interface (GUI) events occur, under which conditions, which system actions are executed, and which GUI state is generated next. From these models we obtain metrics that can later be used to identify the smells.

2013

Automated theorem proving for the systematic analysis of an infusion pump

Authors
Harrison, MD; Masci, P; Campos, JC; Curzon, P;

Publication
ECEASST

Abstract

  • 2
  • 12