西尔维娅·克莱里奇
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2013 [j1] 西尔维娅·克莱里奇 , 克里斯蒂娜·佐尔坦 , 吉列尔莫·普雷斯蒂亚科莫 :
图形和增量类型推断。 图变换方法。 高。 订购符号。 计算。 26 ( 1-4 ) : 29-62 ( 2013 ) 2010 [第11条] 西尔维娅·克莱里奇 , 克里斯蒂娜·佐尔坦 , 吉列尔莫·普雷斯蒂亚科莫 :
图形和增量类型推断:图形转换方法。 函数式编程的发展趋势 2010 : 66-83
2000 – 2009
2009 [第10条] 西尔维娅·克莱里奇 , 克里斯蒂娜·佐尔坦 :
一种动态可定制的以流程为中心的评估模型。 PPDP(PPDP) 2009 : 37-48 【c9】 西尔维娅·克莱里奇 , 克里斯蒂娜·佐尔坦 , 吉列尔莫·普雷斯蒂亚科莫 :
NiMoToons:用于程序调整和实验的全图形工作台。 PROLE公司 2009 : 93-107 2004 【c8】 西尔维娅·克莱里奇 , 克里斯蒂娜·佐尔坦 :
一种图形函数数据流语言。 函数式编程趋势 2004 : 129-144 2001 [第1页] 莉利亚娜·法夫尔 , 西尔维娅·克莱里奇 :
将UML静态模型转换为面向对象代码的系统方法。 统一建模语言:系统分析、设计和开发问题 2001 : 21-42
1990 – 1999
1999 【c7】 莉莉亚娜·法夫尔 , 西尔维娅·克莱里奇 :
集成UML和代数规范技术。 工具(32) 1999 : 151-162 1995 【c6】 西尔维娅·克莱里奇 , 罗莎·吉梅内斯 , 费尔南多·奥雷贾斯 :
GLIDER中的分类多态性。 罗盘/ADT 1995 : 143-160 1992 【c5】 西尔维娅·克莱里奇 , 罗莎·吉梅内斯 , 费尔南多·奥雷哈斯 :
规范语言GLIDER中的语义结构。 罗盘/ADT 1992 : 144-157 1990 【c4】 西尔维娅·克莱里奇 , 费尔南多·奥雷贾斯 :
规范语言GSBL。 ADT公司 1990 : 31-51
1980 – 1989
1988 【c3】 西尔维娅·克莱里奇 , 费尔南多·奥雷贾斯 , 佩雷·波特拉 :
GESTALT环境的规范语言。 ADT公司 1988 【c2】 费尔南多·奥雷贾斯 , 维拉·萨克里斯坦 , 西尔维娅·克莱里奇 :
带约束的代数规格说明的开发。 计算机科学中的分类方法 1988 : 102-123 【c1】 西尔维娅·克莱里奇 , 费尔南多·奥雷贾斯 :
GSBL:一种基于继承的代数规范语言。 ECOOP公司 1988 : 78-92
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)