Showing 2019Show all
2 papers · 1 filter
cs.SE2019
A Domain-Specific Language for Verifying Software Requirement Constraints
Marzina Vidal, Tiago Massoni, Franklin Ramalho
Software requirement analysis can certainly benefit from prevention and early detection of failures, in particular by some kind of automatic analysis. Formal methods offer means to…
cs.SE2019
Relating Voluntary Turnover with Job Characteristics, Satisfaction and Work Exhaustion - An Initial Study with Brazilian Developers
Tiago Massoni, Nilton Ginani, Wallison Silva +2
High rates of turnover among software developers remain, involving additional costs of hiring and training. Voluntary turnover may be due to workplace issues or personal career dec…