毛拉·塞里奥利
人员信息
附属: 意大利热那亚大学
优化列表
2020年–今天
2023 [公元10年] 毛拉·塞里奥利 , 乔瓦尼·拉戈里奥 , 毛里齐奥·利奥塔 , 菲利波·里卡 :
通过咨询TestWizard来对抗无声恐怖单元测试方法。 J.软件。 进化。 过程。 35 ( 4 ) ( 2023 ) 2021 [公元29年] 毛拉·塞里奥利 , 毛里齐奥·利奥塔 , 菲利波·里卡 :
新冠肺炎冲击就业市场:8800万份招聘广告分析。 囊 2021 : 1721-1726 2020 [公元9年] 吉安娜·雷吉奥 , 毛里齐奥·利奥塔 , 毛拉·塞里奥利 , 罗米娜·斯帕拉泽 , 法赫德·阿尔哈巴斯 :
什么是物联网系统? 软件工程方面的专家调查。 互联网事物 12 : 100313 ( 2020 ) [j8] 毛里齐奥·利奥塔 , 毛拉·塞里奥利 , 达里奥·奥利亚纳斯 , 菲利波·里卡 :
评估Hamcrest和AssertJ对断言开发的影响的两个实验。 柔和。 资格。 J。 28 ( 三 ) : 1113-1145 ( 2020 ) [公元28年] 法赫德·阿尔哈巴斯 , 罗米娜·斯帕拉泽 , 毛拉·塞里奥利 , 毛里齐奥·利奥塔 , 吉安娜·雷吉奥 :
物联网系统部署:工业调查。 ICSA公司 2020 : 17-24 [公元27年] 毛拉·塞里奥利 , 毛里齐奥·利奥塔 , 菲利波·里卡 :
500万份招聘广告告诉我们关于测试的内容:一项初步实证调查。 囊 2020 : 1586-1594
2010 – 2019
2019 [公元26年] 毛拉·塞里奥利 , 玛丽娜·里巴多 :
以太坊推动的公民参与:一项提议。 编程 2019 : 15:1-15:6 [公元25年] 毛里齐奥·利奥塔 , 毛拉·塞里奥利 , 达里奥·奥利亚纳斯 , 菲利波·里卡 :
Hamcrest vs AssertJ:测试人员生产力的实证评估。 QUATIC公司 2019 : 161-176 2018 [公元24年] 毛里齐奥·利奥塔 , 毛拉·塞里奥利 , 达里奥·奥利亚纳斯 , 菲利波·里卡 :
Java中Fluent与Basic Assertions的对比:一项实证研究。 QUATIC公司 2018 : 184-192 2013 [电子3] 安东尼·克利夫 , 菲利波·里卡 , 毛拉·塞里奥利 :
2013年3月5日至8日在意大利热那亚举行的第17届欧洲软件维护和再工程会议,CSMR 2013。 IEEE计算机学会 2013 ,国际标准图书编号 978-1-4673-5833-0 [目录]
2000 – 2009
2009 【c23】 毛拉·塞里奥利 , 玛丽娜·里巴多 :
好的敌人是好的:完善特定课程对全球课程绩效有害吗? EC-TEL公司 2009 : 651-656 2008 [公元22年] 毛拉·塞里奥利 , 乔瓦尼·拉戈里奥 , 恩里科·莫顿 , 吉安娜·雷吉奥 :
Gesper:支持利用中小企业网络中的经验。 ISoLA公司 2008 : 738-752 2007 [j7] 米歇尔·沃梅林格 , 蒂齐亚娜·玛格丽亚 , 毛拉·塞里奥利 :
软件工程基本方法专题介绍。 国际期刊软件。 技术工具。 变压器。 9 ( 5-6 ) : 415-416 ( 2007 ) [j6] 毛拉·塞里奥利 , 蒂齐亚娜·玛格丽亚 , 米歇尔·沃梅林格 :
前言。 理论。 计算。 科学。 376 ( 三 ) : 137-138 ( 2007 ) 2006 【c21】 马蒂奥·德尔·阿米科 , 毛拉·塞里奥利 :
DO-Casl:动态规范的基于观测器的Casl扩展。 AMAST公司 2006 : 96-110 2005 [电子2] 毛拉·塞里奥利 :
《软件工程的基本方法》,第八届国际会议,FASE 2005,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2005,英国爱丁堡,2005年4月4-8日,会议记录。 计算机科学课堂讲稿 3442, 施普林格 2005 ,国际标准图书编号 编号:3-540-25420-X [目录] [i1] 毛拉·塞里奥利 , 马蒂奥·德尔·阿米科 :
CASL中的注入分布。 全球计算基础 2005 2002 [公元20年] 埃吉迪奥·阿斯泰西亚诺 , 毛拉·塞里奥利 , 吉安娜·雷吉奥 :
架构特定模型:抽象平台上的软件设计(P2P案例)。 RISSEF公司 2002 : 1-15 [第19条] Astesiano埃吉迪欧 , 吉安娜·雷吉奥 , 毛拉·塞里奥利 :
从形式化技术到基础良好的软件开发方法。 联合国大学/科技研究所十周年座谈会 2002 : 132-150 2001 [c18] 埃吉迪奥·阿斯泰西亚诺 , 毛拉·塞里奥利 , 吉安娜·雷吉奥 :
从ADT到类似UML的建模。 埃尔肖夫纪念大会 2001 : 246 [c17] 吉安娜·雷吉奥 , 毛拉·塞里奥利 , 埃吉迪奥·阿斯泰西亚诺 :
面向支持其多视图方法的UML严格语义。 FASE公司 2001 : 171-186 [电子1] 毛拉·塞里奥利 , 吉安娜·雷吉奥 :
代数发展技术的最新趋势,第15届国际研讨会,2001年WADT,与CoFI工作组会议联合,意大利热那瓦,2001年4月1日至3日,论文集。 计算机科学课堂讲稿 2267, 施普林格 2001 ,国际标准图书编号 3-540-43159-4 [目录] 2000 [第16条] 埃吉迪奥·阿斯泰西亚诺 , 毛拉·塞里奥利 , 吉安娜·雷吉奥 :
受邀演讲:将数据结构插入特定于范式的语言:面向UML的应用。 AMAST公司 2000 : 273-292
1990 – 1999
1999 [第15条] 戴维德·安科纳 , 毛拉·塞里奥利 , 埃琳娜·祖卡 :
具有后期绑定的正式框架。 FASE公司 1999 : 30-44 [第14条] 戴维德·安科纳 , 毛拉·塞里奥利 , 埃琳娜·祖卡 :
通过延迟绑定延长Casl。 WADT(瓦特) 1999 : 53-72 [第1页] 毛拉·塞里奥利 , 蒂尔·莫萨科夫斯基 , 霍斯特·赖切尔 :
从全等式到部分一阶逻辑。 系统规范的代数基础 1999 : 31-104 1998 [j5] 毛拉·塞里奥利 , 吉安娜·雷吉奥 :
非常抽象的规范:一种形式主义独立的方法。 数学。 结构。 计算。 科学。 8 ( 1 ) : 17-66 ( 1998 ) 1997 【j4】 毛拉·塞里奥利 , 何塞·梅塞盖尔 :
我可以借用你的逻辑吗? (沿映射传输逻辑结构)。 西奥。 计算。 科学。 173 ( 2 ) : 311-347 ( 1997 ) [第13条] 毛拉·塞里奥利 , 安妮·E·哈克斯豪森 , 伯恩德·克里格·布吕克纳 , 蒂尔·莫萨科夫斯基 :
CASL中的允许子分类部分逻辑。 AMAST公司 1997 : 91-107 [c12] 毛拉·塞里奥利 , 埃琳娜·祖卡 :
免费实现派生程序(几乎)。 WADT(瓦特) 1997 : 141-155 1996 [j3] 埃吉迪奥·阿斯泰西亚诺 , 毛拉·塞里奥利 :
非严格不关心代数和规范。 数学。 结构。 计算。 科学。 6 ( 1 ) : 85-125 ( 1996 ) 1995 [注2] 埃吉迪奥·阿斯泰西亚诺 , 毛拉·塞里奥利 :
部分条件规范的自由对象和等式演绎。 理论。 计算。 科学。 152 ( 1 ) : 91-138 ( 1995 ) 1994 [第11条] 毛拉·塞里奥利 :
部分代数的懒惰方法。 罗盘/ADT 1994 : 188-202 [第10条] 马丁·戈戈拉 , 毛拉·塞里奥利 :
究竟什么是抽象数据类型? 罗盘/ADT 1994 : 499-523 1993 【c9】 毛拉·塞里奥利 , 吉安娜·雷吉奥 :
面向代数的机构。 AMAST公司 1993 : 201-208 【c8】 毛拉·塞里奥利 , 何塞·梅塞盖尔 :
我可以借用你的逻辑吗? MFCS公司 1993 : 342-351 【c7】 埃吉迪奥·阿斯泰西亚诺 , 毛拉·塞里奥利 :
多范式规范语言:在基础上的首次尝试。 规范语言的语义 1993 : 168-185 1992 [j1] 埃吉迪奥·阿斯泰西亚诺 , 毛拉·塞里奥利 :
部分高阶规范。 芬丹。 信息学 16 ( 1 ) : 101-126 ( 1992 ) 【c6】 毛拉·塞里奥利 , 吉安娜·雷吉奥 :
非常抽象规范的机构。 罗盘/ADT 1992 : 113-127 1991 【c5】 埃吉迪奥·阿斯泰西亚诺 , 毛拉·塞里奥利 :
逻辑框架之间的关系。 罗盘/ADT 1991 : 126-143 【c4】 埃吉迪奥·阿斯泰西亚诺 , 毛拉·塞里奥利 :
部分高阶规范。 MFCS公司 1991 : 74-83 【c3】 埃吉迪奥·阿斯泰西亚诺 , 毛拉·塞里奥利 :
非严格不关心代数和规范。 TAPSOFT,第1卷 1991 : 121-142
1980 – 1989
1989 【c2】 埃吉迪奥·阿斯泰西亚诺 , 毛拉·塞里奥利 :
部分(高阶)条件规范初始模型的存在性。 TAPSOFT,第1卷 1989 : 74-88 1988 【c1】 埃吉迪奥·阿斯泰西亚诺 , 毛拉·塞里奥利 :
部分高阶条件规范中的模型和逻辑演绎。 ADT公司 1988