The female contribution in architecting a set of tools for a formal method
Silvia Bonfanti, Valentina Centurelli, Elvinia Riccobene, Patrizia Scandurra · 2017
This paper presents the female contribution on engineering a reference software architecture for ASMETA, a framework for an integrated use of tools developed around the Abstract State Machine formal method. Based on our experience in such a development project, we discuss how feminine mindset and skills can bring concrete advantages, but some disadvantages too, in the creative process of metamodeling, architecting and maintaining software.