卡洛·蒙坦格罗
人员信息
附属: 意大利比萨大学
优化列表
2020年–今天
2021 [公元37年] 罗贝多·迪·科斯莫 , 卡洛·蒙坦格罗 , 吉多·斯卡特纳 , 劳拉·布西 :
通过软件遗产收购流程保护里程碑式的遗产软件。 iPRES公司 2021
2010 – 2019
2011 [公元36年] 马可·丹拉托托 , 彼得·基尔帕特里克 , 卡洛·蒙坦格罗 , 劳拉·塞米尼 :
多非功能关注点管理中冲突解决的模型检查支持。 欧洲标准研讨会(1) 2011 : 128-138 [公元35年] 马尔科·阿尔迪努奇 , 马可·丹拉托托 , 彼得·基尔帕特里克 , 卡洛·蒙坦格罗 , 劳拉·塞米尼 :
管理并行系统中的适应性。 FMCO公司 2011 : 199-217 [第3页] 霍华德·福斯特 , LászlóGönczy先生 , 诺拉·科赫 , 菲利普梅尔 , 卡洛·蒙坦格罗 , 达尼尔·瓦罗 :
面向服务系统的UML扩展。 SENSORIA项目成果 2011 : 35-60 [第2页] 卡洛·蒙坦格罗 , Stephan Reiff Marganiec公司 , 劳拉·塞米尼 :
适应性面向服务的业务流程的模型驱动开发。 SENSORIA项目成果 2011 : 115-132
2000 – 2009
2009 [公元34年] 莫里斯·特尔·比克 , 斯蒂芬妮娅·格内西 , 卡洛·蒙坦格罗 , 劳拉·塞米尼 :
通过模型检查UML状态机检测策略冲突。 国际金融机构联合会 2009 : 59-74 2008 [公元12年] 卡洛·蒙坦格罗 , Stephan Reiff Marganiec公司 , 劳拉·塞米尼 :
分布式策略的基于逻辑的冲突检测。 芬丹。 信息学 89 ( 4 ) : 511-538 ( 2008 ) [公元33年] 卡洛·盖齐 , 保拉·因弗拉迪 , 卡洛·蒙坦格罗 :
动态演化的可靠软件:从矛盾到现实。 并发、图和模型 2008 : 330-353 2007 [公元32年] 卡洛·蒙坦格罗 , Stephan Reiff Marganiec公司 , 劳拉·塞米尼 :
基于逻辑的AppelPolicies冲突检测。 FSEN公司 2007 : 257-271 [公元31年] 斯蒂芬·戈顿 , 卡洛·蒙坦格罗 , Stephan Reiff Marganiec公司 , 劳拉·塞米尼 :
StPowla:SOA、策略和工作流。 ICSOC研讨会 2007 : 351-362 [公元30年] 卡洛·蒙坦格罗 , 劳拉·塞米尼 :
倒钩模型驱动软件开发:案例研究。 TTSS公司 2007 : 171-186 2006 [公元29年] 卡洛·蒙坦格罗 , 劳拉·塞米尼 :
编排的逻辑视图。 协调 2006 : 179-193 2005 [公元28年] 米凯尔·巴赫霍尔茨 , 斯蒂芬·吉尔摩 , 瓦伦汀·哈内尔 , 卡洛·蒙坦格罗 :
DEGAS编导平台上的端到端集成安全和性能分析。 FM公司 2005 : 286-301 2004 [公元27年] 卡洛·蒙坦格罗 , 劳拉·塞米尼 , 西蒙·塞姆普林尼 :
事件驱动自愈分布式系统的基于逻辑的协调。 协调 2004 : 248-263 [公元26年] 米凯尔·巴赫霍尔茨 , 卡洛·蒙坦格罗 , 劳拉·佩罗内 , 西蒙·塞姆普林尼 :
对于LiySa:用于身份验证分析的UML。 全球计算 2004 : 93-106 2003 [i1] 卡洛·蒙坦格罗 , 劳拉·塞米尼 :
分布式状态时序逻辑。 CoRR公司 反恐精英。 LO/0304编号46 ( 2003 ) 2002 [公元11年] 吉安·路易吉·费拉里 , 卡洛·蒙坦格罗 , 劳拉·塞米尼 , 西蒙·塞姆普林尼 :
Mark,机动性推理工具。 自动化。 柔和。 工程师。 9 ( 2 ) : 137-150 ( 2002 ) [公元25年] 阿姆贾德·胡代布 , 卡洛·蒙坦格罗 :
支持软件体系结构形式化表示的UML概要文件。 COMPSAC公司 2002 : 217-223 [公元24年] 卡洛·蒙坦格罗 , 劳拉·塞米尼 :
分布式状态逻辑。 时间 2002 : 55-57 2000 【c23】 吉安·路易吉·费拉里 , 卡洛·蒙坦格罗 , 劳拉·塞米尼 , 西蒙·塞姆普林尼 :
移动代理在Mob中的协调 adtl公司 . 协调 2000 : 232-248
1990 – 1999
1999 [公元10年] 劳拉·塞米尼 , 卡洛·蒙坦格罗 :
元组空间的精化演算。 科学。 计算。 程序。 34 ( 2 ) : 79-140 ( 1999 ) [公元9年] 沃尔夫冈·埃默里奇 , 安东尼·芬克尔斯坦 , 卡洛·蒙坦格罗 , 斯特凡诺·安东内利 , 斯蒂芬·阿米蒂奇 , 理查德·史蒂文斯 :
管理标准合规性。 IEEE传输。 软件工程。 25 ( 6 ) : 826-851 ( 1999 ) [公元22年] 卡洛·蒙坦格罗 , 劳拉·塞米尼 :
编制协调规范。 协调 1999 : 118-133 【c21】 卡洛·蒙坦格罗 , Jean-Claude德尼亚姆 , 巴达拉·阿里·卡巴 , 布莱恩·沃博斯 :
软件过程:建模和技术。 软件过程:原理、方法论、技术 1999 : 1-14 [公元20年] 沃尔夫冈·埃默里奇 , 安东尼·芬克尔斯坦 , 阿方索·福格塔 , 卡洛·蒙坦格罗 , Jean-Claude德尼亚姆 :
软件过程-标准、评估和改进。 软件过程:原理、方法、技术 1999 : 15-26 [第19条] 大卫·格雷厄姆·沃塞尔 , 塞尔马·阿尔巴奥伊 , 雅克·隆尚 , 卡洛·蒙坦格罗 :
软件过程的人性化。 软件过程:原理、方法、技术 1999 : 165-200 1997 [j8] 卡洛·蒙坦格罗 :
第五届欧洲软件过程技术研讨会报告。 ACM SIGSOFT软件。 工程注释 22 ( 1 ) : 24-27 ( 1997 ) 1996 [j7] 卡洛·蒙坦格罗 :
第五届欧洲软件过程技术研讨会报告。 柔和。 过程。 改进。 实际。 2 ( 4 ) : 307-311 ( 1996 ) [第18条] 卡洛·蒙坦格罗 , 劳拉·塞米尼 :
通过建筑风格进行改进或通过改进进行设计。 国际安全工作组/ FSE视角 1996 : 76-79 [电子1] 卡洛·蒙坦格罗 :
软件过程技术,第五届欧洲研讨会,EWSPT’96,法国南希,1996年10月9日至11日,会议记录。 计算机科学课堂讲稿 1149, 施普林格 1996 ,国际标准图书编号 3-540-61771-X型 [目录] 1995 [j6] X.J.Chen先生 , 卡洛·蒙坦格罗 :
多黑板系统中的组合优化。 信息学报 32 ( 5 ) : 415-458 ( 1995 ) [第17条] 陈晓军 , 保拉·因弗拉迪 , 卡洛·蒙坦格罗 :
ESP-MC:验证工具使用实验。 亚洲的 1995 : 396-410 [第16条] 卡洛·蒙坦格罗 :
PM语言设计中的开放问题。 EWSPT公司 1995 : 93 [第15条] 卡洛·蒙坦格罗 :
有利于相干处理编码语言。 EWSPT公司 1995 : 94-97 1994 [j5] 卡洛·蒙坦格罗 , 弗朗科·斯卡塞利 :
Oikos中的软件过程监控机制。 国际期刊软件。 工程知识。 工程师。 4 ( 4 ) : 481-499 ( 1994 ) [第14条] 文森佐·安布里奥拉 , 乔瓦尼·奇格诺尼 , 卡洛·蒙坦格罗 :
软件过程中对象管理的Oikos服务。 EWSPT公司 1994 : 2-14 [第13条] 卡洛·蒙坦格罗 :
“工具中的过程综合症”:它是否变得更糟了? ISPW公司 1994 : 53-56 1993 [第1页] 文森佐·安布里奥拉 , 卡洛·蒙坦格罗 :
软件开发过程建模。 软件工程和知识工程进展 1993 : 41-72 1992 [第12条] X.J.Chen先生 , 卡洛·蒙坦格罗 :
多黑板系统中的成分优化。 员工持股计划 1992 : 93-109 [第11条] 文森佐·安布里奥拉 , 卡洛·蒙坦格罗 :
三岁的伊科斯。 EWSPT公司 1992 : 84-93 1991 [第10条] 文森佐·安布里奥拉 , 卡洛·蒙坦格罗 :
Oikos中软件过程的层次规范。 ISPW公司 1991 : 34-36 1990 【c9】 文森佐·安布里奥拉 , 保罗·西安卡里尼 , 卡洛·蒙坦格罗 :
软件过程是一个层次结构。 ISPW公司 1990 : 57-60 【c8】 文森佐·安布里奥拉 , 保罗·西安卡里尼 , 卡洛·蒙坦格罗 :
逻辑语言ESP及其编程环境。 液化石油气 1990 : 12-15 【c7】 文森佐·安布里奥拉 , 保罗·西安卡里尼 , 卡洛·蒙坦格罗 :
Oikos中的软件过程制定。 SDE公司 1990 : 183-192
1980 – 1989
1989 【c6】 保拉·因弗拉迪 , 马提尼 , 卡洛·蒙坦格罗 :
系统配置的类型检查实用吗? TAPSOFT,第2卷 1989 : 257-271 1985 【j4】 文森佐·安布里奥拉 , 卡洛·蒙坦格罗 :
在GANDALF环境中自动生成执行工具。 J.系统。 柔和。 5 ( 2 ) : 155-171 ( 1985 ) [c5] 保拉·因弗拉迪 , 弗兰科·马赞蒂 , 卡洛·蒙坦格罗 :
Ada在分布式系统设计中的使用。 SIGAda公司 1985 : 85-96
1970 – 1979
1978 [j3] 卡洛·蒙坦格罗 , 朱利亚诺·帕西尼 , 玛丽亚·西米 , 弗朗科·图里尼 :
上下文树中的信息管理。 信息学报 10 : 85-94 ( 1978 ) 1977 [注2] 卡洛·蒙坦格罗 , 朱利亚诺·帕西尼 , 弗朗科·图里尼 :
非确定性规划的两级控制结构。 Commun公司。 ACM公司 20 ( 10 ) : 725-730 ( 1977 ) 1976 【c4】 朱塞佩·阿塔迪 , 卡洛·蒙坦格罗 , 吉安弗兰科·普里尼 :
用于人工智能的高级机器。 AISB(ECAI) 1976 : 26-37 1975 【c3】 卡洛·蒙坦格罗 , 朱利亚诺·帕西尼 , 弗朗科·图里尼 :
MAGMA-LISP:人工智能的“机器语言”。 国际JCAI 1975 : 556-561 1974 [j1] 卡洛·蒙坦格罗 :
微程序数字计算机中只读存储器最佳规格的一种方法。 IEEE传输。 计算机 23 ( 4 ) : 375-389 ( 1974 ) 【c2】 朱利亚诺·帕西尼 , 卡洛·蒙坦格罗 , 弗朗科·图里尼 :
无类型递归语言的图表示和计算规则。 ICALP公司 1974 : 157-169 【c1】 卡洛·蒙坦格罗 , 朱利亚诺·帕西尼 , 弗朗科·图里尼 :
块结构编程语言中的结构化并行处理模型。 规划专题讨论会 1974 : 350-361