Tiago Massoni

Nonconformance between programs and contracts

2017

Detecting nonconformances between contracts and code is critical in contract-based programs, although detection is only the first step in correction; one needs to pinpoint their causes. For example, a nonconformance may be due to a …

A Domain-Specific Language for Verifying Software Requirement\n Constraints

2019 · arXiv (Cornell University)

Software requirement analysis can certainly benefit from prevention and early\ndetection of failures, in particular by some kind of automatic analysis. Formal\nmethods offer means to represent and analyze requirements with rigorous tools,\navoiding ambiguities and allowing automatic …

Investigating the Relationship between Software Team Leadership Styles and Turnover Intention

2022

In other fields than Software Engineering, previous studies observed that leadership styles could influence employee turnover. This turnover is prominent, especially among software developers, who have identified personal and work issues related to this career …