The female contribution in architecting a set of tools for a formal method Role of women in Software Architecture (short paper)

被引：2

作者：

Bonfanti, Silvia ^{[1
]}

Centurelli, Valentina ^{[1
]}

Riccobene, Elvinia ^{[2
]}

Scandurra, Patrizia ^{[1
]}

机构：

[1] Univ Bergamo, Bergamo, Italy

[2] Univ Milan, Milan, Italy

来源：

11TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE (ECSA 2017) - COMPANION VOLUME | 2017年

关键词：

LANGUAGE;

D O I：

10.1145/3129790.3129823

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：19 / 22

页数：4

共 22 条

[1] [Anonymous], 2017, XTEXT
[2] Arcaini P., 2012, LNCS, V7186, P223, DOI [10.1007/978-3-642-29860-817, DOI 10.1007/978-3-642-29860-817]
[3] SMT-Based Automatic Proof of ASM Model Refinement
Arcaini, Paolo
Gargantini, Angelo
Riccobene, Elvinia
[J]. SOFTWARE ENGINEERING AND FORMAL METHODS: 14TH INTERNATIONAL CONFERENCE, SEFM 2016, 2016, 9763 : 253 - 269
[4] A model-driven process for engineering a toolset for a formal method
Arcaini, Paolo
Gargantini, Angelo
Riccobene, Elvinia
Scandurra, Patrizia
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 2011, 41 (02) : 155 - 166
[5] Arcaini P, 2010, LECT NOTES COMPUT SC, V5977, P61, DOI 10.1007/978-3-642-11811-1_6
[6] Arcaini Paolo, 2016, P 2016 3 WORKSH HUM
[7] Arcaini Paolo., 2010, NASA Formal Methods Symposium, P4
[8] Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino
Bonfanti, Silvia
Carissoni, Marco
Gargantini, Angelo
Mashkoor, Atif
[J]. NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 295 - 301
[9] Borger Egon, 2003, Abstract State Machines: A Method for High-Level System Design and Analysis
[10] Carioni A, 2008, LECT NOTES COMPUT SC, V5238, P71

← 1 2 3 →