A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Object modeling for user-centered development and user interface design: the wisdom approach

João Bernardo de Sena Esteves Falcão e Cunha

Cozinha da Madeira website: the online touchpoint for a sustainability oriented service of Madeira Island

Over the past several years technology has been evolving in a way that it has become crucial for most businesses and companies to have interactive technology enabled touchpoints available online. Such interactive touchpoints can be developed as mobile application, webpages, or even through social networks. In the end such touchpoints will most surely represent the most easily reachable and marketable side of the business. Today selling a product alone is no longer enough to make consumers satisfied and complete, businesses and business models are changing. Increasingly, companies are choosing to not just sell products but to combine both sale and service. These service-based approaches will provide the client with a unique and personalized experience of what the company is selling. By selling a service the company transmits values that are more complex than the simple selling of a product. A service is something immaterial, happens over time and exists in the moment of the delivery. When conceiving and designing services, the use of the new technologies becomes a crucial step in order to craft touchpoints that facilitate the whole experience cycle of the service, from attracting, orienting, interacting and retaining the client, as well as providing later support to the consumer to advocate for the service itself. This thesis reports on the design and implementation of the online touchpoint of Cozinha da Madeira, which is a service designed to support tourism, specifically promoting the discovery of tradition and landscapes in the island of Madeira. Such touchpoint developed in the form of a website, embodies completely or partially various stages of the Service Experience cycle, from attracting and connecting, orienting, interacting as well as retaining and advocating. Through this thesis we will describe the design and implementation of such touchpoint as well as the evaluation and possible future implications.