Wanderley Lopes de Souza

Federal University of São Carlos | UFSCar · Departamento de Computação (DC)

When developing a Learning Management System (LMS) using Scrum, we noticed that it was quite often necessary to redefine some system behaviour scenarios, due to ambiguities in the requirement specifications, or due to misinterpretations of stories reported by the Product Owners (POs). The definition of test suites was also cumbersome, resulting in...

Since the physical inactivity is one of the four main risk factors for the incidence of Non-Communicable Diseases, the World Health Organization has stimulated the creation of actions to promote regular physical activity practices. The Brazilian Ministry of Health established a physical activity program, where people perform physical activities und...

Most of the Brazilian universities employ teaching-learning methodologies based on classic frontal lectures. The Medicine Programme of the Federal University of S˜ao Carlos (UFSCar) is an exception, since it employs active learning methodologies. The Educational and Academic Management System for Courses Based on Active Learning Methodologies (EAMS...

Este artigo apresenta a ABORA, uma abordagem em realidade aumentada para momentos de aprendizagem autodirigida em cursos baseados em metodologias ativas de aprendizagem. A fim de avaliar a ABORA, uma tecnologia de software deve ser desenvolvida e sua arquitetura tambem e apresentada. Este estudo busca aproximar educacao, tecnologias inovadoras e at...

This study investigated the deployment of a Reflective e-Portfolio (REP) for Professional Practice (PP) activities, which activities occur on and off the campus. For the prototype evaluation, the e-Portfolio was installed on netbooks and used for five months by a group of students and a facilitator of the first cycle of the Educational Unit of Prof...

The education has configured itself by the transfer of teacher’s knowledge to the student, without the proper criticism or reflection by the student. Thereby, the main objective of the education, the student’s learning, is not being achieved and it has taken people to a constant questioning of this traditional education and giving space to the Acti...

One of the software engineering challenges is the development of applications that can adapt to the heterogeneous needs of users. Technical Dynamic Composition of Services Driven by User is a solution for developing applications capable of overcoming these challenges. This type of application which will call User-Driven Service Composition Applicat...

Over time Business Process has become an asset for organization since it allows managing what happens within their environments. It is possible to automate some activities of the business process using information systems and accordingly decrease the execution time and increase the production. However, information systems often suffer maintenance o...

Although Business Process Management has emerged as a means to manage and improve business processes, it may require high costs due to the need for software, hardware and technical support. Cloud Computing can help achieve efficient business processes with lower costs, since it provides a fast and cheap way to acquire computing resources in a pay-p...

This paper presents an architecture for health information exchange in pervasive healthcare environments meant to be generally applicable to different applications in the healthcare domain. Our architecture has been designed for message exchange by integrating ubiquitous computing technologies, intelligent agents and healthcare standards, in order...

Introducao e Objetivo : Este trabalho propoe uma arquitetura para a troca de mensagens ciente de contexto em ambientes de Cuidado de Saude Pervasivo. Material e Metodo : No Cuidado de Saude Pervasivo, novas tecnologias de informacao e comunicacao sao aplicadas para apoiar a prestacao de servicos de saude em qualquer lugar, a qualquer momento e a qu...

Introducao e Objetivo : Este trabalho propoe uma abordagem para o desenvolvimento de aplicacoes no ambiente de Cuidado de Saude Pervasivo, atraves do uso de arquetipos. Material e Metodo : O Cuidado de Saude Pervasivo foca o uso de novas tecnologias, ferramentas e servicos, para ajudar os pacientes a ter um papel mais ativo no tratamento de suas co...

A aplicacao das TICs na area de cuidado de saude, conhecida como e-Health , pode facilitar o acesso aos servicos de cuidado de saude e so sera aceitavel se permitir a troca de informacao eficiente e segura entre os cuidadores de saude e pacientes. O objetivo deste trabalho e apresentar uma abordagem para troca de mensagens em cenarios realisticos.

Due to safety requirements, certain data or activities of a business process should be kept within the user premises, while others can be allocated to a cloud environment. This paper presents a generic approach to business processes decomposition taking into account the allocation of activities and data. We designed transformations to decompose bus...

The application of ICT on the whole range of health sector activities, known as e-health, can simplify the access to health care services and will only be acceptable for realistic scenarios if it supports efficient information exchange amongst the caregivers and their patients. The aim of this paper is present an approach for message exchange to re...

Background: In nurse and in medicine courses, the use of reflective portfolios as a pedagogical tool is becoming a common practice; in the last years, this practice has gradually migrated from paper-based to electronic-based portfolios. Current approaches for reflective e-portfolios, however, do not widely operate at outdoor sites, where data netw...

Pervasive Healthcare focuses on the use of new technologies, tools, and services, to help patients to play a more active role in the treatment of their conditions. Pervasive Healthcare environments demand a huge amount of information exchange, and specific technologies has been proposed to provide interoperability between the systems that comprise...

Recent research results have shown that Model-Driven Development (MDD) is a beneficial approach to develop software systems. The reduction of development time enabled by code generation mechanisms is often acknowledged as an important benefit to be further explored. This paper reports on an experiment in which an MDD-based approach using code gener...

In Pervasive Healthcare, novel information and communication technologies are applied to support the provision of health services anywhere, at anytime, and to anyone. Ubiquitous Computing technologies allow efficient and safe information exchange amongst caregivers and their patients in communities, homes and hospitals. Since health systems may off...

The main objective of this paper is to present a reusable architecture for message exchange in pervasive healthcare environments meant to be generally applicable to different applications in the healthcare domain. This architecture has been designed by integrating different concepts and technologies of ubiquitous computing, software agents, and ope...

Health information technology is the area of IT involving the design, development, creation, use and maintenance of information systems for the healthcare industry. Automated and interoperable healthcare information systems are expected to lower costs, improve efficiency and reduce error, while also providing better consumer care and service. Perva...

Ubiquitous Computing promises seamless access to a wide range of applications and Internet-based services from anywhere, at anytime, and using any device. In this scenario, new challenges for the practice of software development arise: Applications and services must keep a coherent behavior, a proper appearance, and must adapt to a plenty of contex...

Model-Driven Development (MDD) has been a subject of several studies focused on software development. MDD aims to keep the model consistent with the implementation and most studies in this area are restricted to show how to transform domain models to implement different applications. However, a problem that still challenges the researchers is to de...

Model-Driven Development (MDD) has been a subject of several studies focused on software development. Most studies in this area aims to show how to transform domain models, designing and implementing applications running on different architectures. However, a problem is related to develop a practical approach to support the reengineering of a legac...

The physical inactivity has been indicated by the World Health Organization (WHO) as one of the main risk factors for the incidence of Chronic Non-Communicable Diseases (CNCDs). Millions of deaths in the world are a result of these diseases, and this number has increased each year. In an attempt to change this scenario WHO has stimulated regular pr...

The chapter presents a software process named Model Driven RichUbi (Model Driven Process to Construct Rich Interfaces for Context-Sensitive Ubiquitous Applications). The process aims at supporting the development of rich interfaces for interactive ubiquitous applications that adapt themselves when viewed on different types of devices. Based on the...

The Computation Ubqua imposed a number of additional requirements to software development. Among these the challenge, there is the need to adapt the content and behavior of applications the heterogeneity of computational devices of the users, as well as the environment in which they are immersed. Faced with these challenges them, propos-seo process...

The physical inactivity has been indicated by the World Health Organization (WHO) as one of the main risk factors for the incidence of Chronic Non-Communicable Diseases (CNCDs). To change this scenario WHO has stimulated regular practice of physical activities because they play an important role in preventing CNCDs. In Brazil, these activities are...

Among the benefits of the Model Driven RichUbi process â€" proposed to support the construction of adaptive rich interfaces for context-sensitive ubiquitous applications â€" there are gains in efficiency of development teams by means of effort reduction and productivity increasing. This paper presents the results of an experimentation of the Model...

Ubiquitous Computing has enabled seamless access to a wide variety of services and Internet-based applications anywhere, anytime, and using any device. These capacities along with the recent advances of wireless communication technologies allowed the development of the so-called location-based systems. However, building these systems can be a compl...

Pervasive healthcare focuses on the use of new technologies, tools, and services, in order to help patients to play a more active role in the treatment of their diseases. Since pervasive healthcare environments demand a huge amount of information exchange, the use of technologies like Health Level Seven (HL7) and archetypes has been proposed to pro...

The demand for software in Ubiquitous Computing, in which access to applications occurs anywhere, anytime and from different devices, has raised new challenges for Software Engineering. One of these challenges is related to the adaptation of the contents of an application to the numerous devices that can access it in distinct contexts. Another chal...

Software development that meets the demand of Ubiquitous Computing, in which access to applications occurs anywhere, anytime and from different devices, has raised new challenges for Software Engineering. Among these challenges it stands out the development of context-sensitive ubiquitous applications. Much of the effort required for building such...

Ubiquitous Computing has enabled users the easy access to services and applications from anywhere, at anytime, and using any device. In this scenario, software development presents a number of challenges, among them the need for adapting applications to different access devices. Each device has a set of specific capabilities, which difficult to bui...

In traditional computer-related courses the theoretical knowledge is first taught to the students, who further must remember it to solve specific problems. The main drawbacks of this approach are the student lack of motivation during classes, and the quick knowledge forgetfulness. This paper reports on an experience of using Problem Based Learning...

The Reflexive Electronic Portfolio (PRE) is a collaborative environment developed under the prism of Web 2.0, which supports the process of teaching and learning in constructivist courses of medicine. In its first version PRE supports educational activities presented through texts created by teachers, this paper presents the evolution of the PRE al...

Currently there is a growth on the access of Peer-to-Peer (P2P) networks content by mobile devices. However this access still limited, because a content generated in a device may be incompatible in another. Aiming to allow this access in a distance education environment this paper presents an application based on a P2P network with content adaptati...

Este artigo apresenta uma abordagem para o desenvolvimento de software, baseado na Domain-Specific Modeling (DSM), de Linhas de Produtos de Software na computação ubíqua. Com foco no domínio do problema modela-se a Linha de Produtos, e baseado na DSM, elabora-se um metamodelo que suporta a construção de diversos produtos. Um framework, denominado U...

This paper presents an approach for software development based on Domain-Specific Modeling (DSM) of Software Product Lines (SPL) in ubiquitous computing. Focused on the problem domain is modeled the product line and based on the DSM is produced a metamodel that supports the development of various products. A framework, called Ubiquitous Computing F...

Ubiquitous Learning (UbiLearning) environments heavily em-ploy mobile devices to empower users with mobility and tooling support to learn anytime, anywhere. Introducing mobile devices in educational settings imposes constraints on search behavior due to limited resources on these devices such as small screens and restricted input functionalities. T...

This paper presents an approach to Development based on Model-Driven Architecture (MDA), of Ubiquitous Applications Domain Software Product Lines (SPL). MDA is used because it takes into account the diversity of the Ubiquitous Computing architectures and to facilitate the reuse. With focus in the problem domain, the Core Asset is developed, which i...

This paper presents the Electronic Reflexive Portfolio (ERP), a collaborative content creation environment, which supports the teaching/learning process in constructivism-based medical courses. The ERP was developed under the concepts of Web 2.0, having a social network, AJAX tools for the content creation, and a folksonomy-based mechanism for cont...

Currently, is verified a growth of the participation of mobile devices in the access of available multimedia content in P2P networks. However, the majority of these devices still having limited access to these networks, because almost all the available content is created exclusively for PCs. Aiming to improve this access, this paper presents a poss...

This paper proposes a Ubiquitous Computing Environment for Medical Education, whose kernel is a Web-based system with collaborative tools, to support the interactions and computational tasks among different actors involved in the Medical Education process. In order to allow this environment to be ubiquitous, the Web pages of this system are adapted...

This paper proposes an information retrieval process that employs a relevance feedback approach based on implicit evidences provided by contextual information and explicit evidences provided by the user behavior during interaction. This process takes advantage of semantic information processing enabled by the use of ontologies to build semantic ind...

The diversity of small mobile devices and networks enabling users to access the Internet expands every day. In this highly dynamic environment of Ubiquitous Computing, current programming paradigms do not offer the flexibility needed for software reuse. To improve this flexibility, this paper proposes the use of ontologies and Web services, within...

This paper proposes an ubiquitous computing environ ment to support medical education centered on Problem Based Learning (PBL). The ACUEM-PBL, whose the main tool of storage and refle ction is an Electronic Reflexive Portfolio, allows the cooperative work su pported by several devices. This environment is been evaluated at the medicine undergraduat...

Resumo. Este artigo apresenta o framework UBICK, construído para reuso no desenvolvimento de aplicações ubíquas cientes de contexto, cujo desenvolvimento baseou-se Agentes de Software. Agentes de Software são combinados com Ontologias, que representam o contexto das aplicações ubíquas, e Serviços Web Semânticos, componentes de software distribuídos...

This paper presents an approach that combines Ontologies, Semantic Web Services and Mobile Agents, for the Component-Based Software Development. The Ontologies are employed to improve the problem domain analysis, and to get software components with a semantic description, which may be reused in a wide variety of applications. The Semantic Web Servi...

Small mobile devices for accessing the Internet through wireless access networks have become increasingly common in recent years. In this new context, a major challenge is the adaptation of content to these devices, satisfying their capabilities and user preferences and optimizing the use of wireless access networks. This paper therefore presents a...

Over the last few years, the Web's expansion has been accompanied by a growing number of mobile devices with Internet access capabilities. However, most Web-based content is still developed for presentation on personal computers, disregarding the limited resources of these mobile devices (e.g., processing, memory, power, screen, markup languages)....

The amazing growth of the Web in recent years, which includes content inappropriate for some classes of users, has gone hand in hand with increasingly sophisticated mobile access devices (e.g., cell phones). In this context, a major challenge is the dynamic adaptation of content, which allows these devices to access any given content independently...

In the near future, most users will access the Internet by means of small mobile devices. This context of ubiquitous computing is highly volatile because the diversity of device characteristics and access networks extends each day. The flexibility necessary for software reuse in this environment is not provided by the current programming paradigms....

Nos últimos anos tornou-se mais comum o acesso de pequenos dispositivos móveis a Internet via redes de acesso sem fio. Neste novo contexto um grande desafio é a adaptação de conteúdo para tais dispositivos. Essas adaptações buscam satisfazer as capacidades dos dispositivos, as preferências dos usuários e otimizar o uso das redes de acesso sem fio....

In the last years the impressive growth of the Web - which includes contents rated as improper to some classes of users - has been accompanied by the appearance of new mobile access devices. In this context, one of the greatest challenges is the dynamic content adaptation to permit such devices to access certain contents independently of their orig...

This article presents an approach and tool for specification simulations accomplished in the formal description technique (FDT) enhancements to language of temporal ordering specification (E-LOTOS). Based on the defined inference rules for the E-LOTOS operators, the tool offers resources for interactive simulation, enabling the user to monitor the...

The applications involving multimedia usually require a certain level of quality of service and, if these qualities can not be guaranteed over the Internet, these applications should be able to adapt to the available transmission qualities. Currently, the Internet Content Adaptation Protocol (ICAP) defines rules for exchanging the information to be...

This paper presents and discusses the LOTOS specification of a real-time parallel kernel. The purpose of this specification exercise has been to evaluate LOTOS with respect to its capabilities to model real-time features with a realistic industrial product. LOTOS was used to produce the formal specification of TRANS-RTXC, which is a real-time paral...

The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance, but also could help the construction of tools able to derive implementations automatically. In order to attend such a need, some Formal Description Techniques (FDT's) have be...

Many researchers have pursued the establishment of a low-cost, effective testing and validation strategy at the program level as well as at the specification level. Mutation Testing is an error-based approach, originally introduced for program testing, that provides testers a systematic way to evaluate how good a given test set is. Some studies hav...

Many researchers have pursued the establishment of a low-cost, effective testing and validation strategy at the program level as well as at the specification level. Mutation Testing is an error-based approach, originally introduced for program testing, that provides testers a systematic way to evaluate how good a given test set is. Some studies hav...

Mondel is a specification language based on the object-oriented paradigm, which was developed to model the operational and management aspects of communication networks. Automatic implementation can be achieved based on a Mondel system specification, using a transformational software system called Draco. The main purpose of this work is to demonstra...

A b s t r a c t Estelle is one of the Formal Description Techniques standardized by ISO that has been successfully used in the development of communication protocols. We believe that the concepts and constructions of Estelle are general enough to be used in other kinds of distributed systems. The main goal of this work is to show how Estelle and a...

The main goal of this work is to show how the Formal Description Technique (FDT) Language of Temporal Ordering Specification (LOTOS), a standard by International Organization for Standardization (ISO), can be useful in the design of real-time systems. This paper concentrates on the specification phase of a development methodology and uses as an exa...

Design of Distributed Multimedia Applications (DAMD) is a multi-institutional co-operative project aiming the development of a methodology, based on the Formal Description Technique (FDT) Enhancements to Language of Temporal Ordering Specification (E-LOTOS) and supported by a set of appropriate tools, for the specification, validation, implementat...

Formal specification techniques and automatic refinement tools for distributed systems have become key issues in current computing technology. The paper reports the development of a refinement tool based on the Extended State Transition Language (Estelle). Estelle is a format description technique (FDT) for distributed systems and communication pro...

Identifying temporal and logical synchronization constraints during a multimedia and hypermedia authoring process is a relevant issue. Based on a general purpose model, this paper investigates an equivalence framework to model the temporal relationships between the MHEG-5 applications and E-LOTOS specifications of these behavior patterns. This work...

: Modelling temporal and logical synchronization constraints in a multimedia/hypermedia scenario is a relevant issue. Based on a general purpose framework, this paper investigates the E-LOTOS applicability to specify the synchronization constraints from the adopted model, and proposes a MHEG-5 modelling of these structures to enable the conception...

The main goal of this work is to show h o w LOTOS and a set of appropriate tools can be useful in the development of real-time systems. This work concentrates on the speciication and implementation phases of a design methodology and uses as an example a real-time kernel.

Pervasive health care focuses on the use of new technologies, tools, and services, in order to help patients to play a more active role in the management and treatment of their diseases, placing them in the center of the health care. Ubiquitous computing in communities, homes and hospitals, can be extremely useful for building a pervasive health ca...

Mondel i s a specification language based on the object-oriented pa radigm, which was developed to model t he operational and management aspects of communication networks. Automatic implementation can be achieved based on a Mondel system specification, using a transformational software system called Draco. The main purpose of this work is to d emon...

The Electronic Reflexive Portfolio is a collaborative environment for Web content creation, which supports the teaching/learning process in constructivism-based Medical courses. This paper presents an architectural view of PRE, and the evaluations performed at the Medical graduation course of Federal Uni- versity of São Carlos.

TITLE. Using Mobile Devices for Supporting Medical Education: Challenges and Proposals. IN- TRODUCTION. The use of mobile devices by health care professionals and students is becoming common. However some limitations, such as the reduced screen size, and the difficulty in typing text, restrict the use of these devices for wireless access to Web-bas...