Search academic resources

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

"The failures that bugs in software lead to can sometimes be bypassed by the so-called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to c...

Test-based automated program repair (TB-APR) techniques automatically fix buggy programs by relying on a failing test suite. This test suite serves a dual purpose: pinpointing bugs and evaluating the validity of potentia...

The importance of correctly determining the requirements of a system at the very beginning of the development process it is a well known fact. Experience shows that the incorrect definition of the requirements leads to t...

"Formal requirements specifications, eg, software cost reduction (SCR) specifications, are challenging to analyse using automated techniques such as model checking. Since such specifications are meant to capture requirem...

Abstract This paper presents a four-wheel differential-drive (4WD) autonomous platform that consolidates grass cutting, collection, leaf crushing, and precision seeding through modular, quick-release toolheads. A vertica...

This paper links three areas: reflections on translation as a decision process, the field of institutional translation, and translation manuals / style guides. Inherently, human translation is a decision-making process. ...

There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this...

A sibutramina é um fármaco anorexígeno indicado para o tratamento da obesidade e redução de peso corpóreo, em conjunto com dieta e exercícios físicos. No Brasil, encontra-se comercialmente na forma farmacêutic...

I have been teaching, in reality, preaching, the importance of a clear understanding for the word “analysis”. It is my conclusion, after years of exposure to the term “system analysis”, that it has mislead lots o...

Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software ...

In recent years, Large Language Models (LLMs) and Generative Artificial Intelligence (GenAI) have gained significant momentum in the automation of software development. Although, previous research studies have also explo...

The paper presents a formal model for a knowledge repository shared by members of a Virtual Community of Practice (VCPs), describes how the repository can be used to underpin collaborative problem solving, and how to bui...

In this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The utilization of this ...