×

验证特性:细粒度重用的增量证明系统。 (英语) Zbl 1342.68059号


理学硕士:

68甲19 其他编程范式(面向对象、顺序、并发、自动等)
68号30 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Apt KR、de Boer FS、Olderog ER(2009)《顺序和并发系统的验证》。计算机科学文本和专著,第3版。柏林施普林格·Zbl 1183.68361号
[2] Apel S、Kästner C、Lengauer C(2013)《语言依赖和自动化软件组合:featureHouse体验》。IEEE跨软件工程39(1):63-79
[3] 奥尔德里奇J(2005)《开放模块:关于建议的模块化推理》。摘自:Black AP(ed)《面向对象编程欧洲会议论文集》(ECOOP),计算机科学课堂讲稿第3586卷,第144-168页。柏林施普林格
[4] Ancona D、Lagorio G、Zucca E(2003)Jam-designing a Java extension with mixins。语言系统翻译程序25(5):641-712
[5] America P(1991)使用行为子类型设计面向对象的编程语言。摘自:de Bakker JW,de Roever W-P,Rozenberg G(eds)面向对象语言基础,计算机科学课堂讲稿第489卷,第60-90页。柏林施普林格·Zbl 1118.68031号
[6] Apt KR(1981)《霍尔逻辑的十年:调查——第一部分:语言系统转换程序》3(4):431-483·Zbl 0471.68006号
[7] Bracha G,Cook W(1990)基于Mixin的继承。参见:Meyrowitz N,(ed)《面向对象编程会议论文集:系统、语言和应用》/《面向对象程序设计欧洲会议》,第303-311页。纽约ACM出版社
[8] Burdy L、Cheon Y、Cok DR、Ernst MD、Kiniry JR、Leavens GT、Leino KRM、Poll E(2005)《JML工具和应用概述》。国际J Softw Tools Technol Transf 7(3):212-232
[9] Bettini L、Capecchi S、Damiani F(2012)《类Java语言的灵活动态特征替换》。科学计算程序。可用在线doi:10.1016/j.scico.2012.11.003·Zbl 1284.68101号
[10] Bettini L、Damiani F、De Luca M、Geilmann K、Schäfer J(2010)《类爪哇环境中盒子和特征的微积分》。在:Clarke D,Agha G(编辑)《协调模型与语言》,计算机科学讲义第6116卷,第46-60页。柏林施普林格
[11] Bono V,Damiani F,Giachino E(2007)分离类型、行为和状态以实现非常精细的重用。In:类Java程序的形式化技术会议录(FTfJP)
[12] Bono V、Damiani F、Giachino E(2008)《类爪哇环境中的特征和类型》。摘自:第五届IFIP理论计算机科学国际会议(TCS’08),国际信息处理联合会第273卷,第367-382页。柏林施普林格·Zbl 0312.68011号
[13] Bettini L、Damiani F、Geilmann K、Schäfer J(2013)在类似Java的环境中结合特征、方框和所有权类型。科学计算程序78(2):218-247·Zbl 1264.68046号
[14] Black A、Ducasse S、Nierstrasz O、Pollet D、Cassou D、Denker M(2009)《举例法》。方括号关联
[15] Bergel A、Ducasse S、Nierstrasz O、Wuts R(2008)《状态特征及其形式化》。计算语言系统结构34(2-3):83-108
[16] Bettini L,Damiani F,Schaefer I(2009)使用特征实施SPL。都灵大学信息学院技术报告。可在网址:http://www.di.unito.it/damiani/papers/isplurat.pdf
[17] Bettini L,Damiani F,Schaefer I(2010)使用特征实施软件产品线。在:2010年美国计算机学会应用计算研讨会论文集(SAC'10),第2096-2102页。纽约ACM出版社
[18] Bettini L,Damiani F,Schaefer I,Strocco F(2010)具有记录和特征的典型类爪哇语言。摘自:第八届Java编程原理与实践国际会议论文集(PPPJ’10),第129-138页。纽约ACM出版社
[19] Bettini L、Damiani F、Schaefer I、Strocco F(2013)《TraitRecordJ:一种具有特征和记录的编程语言》。科学计算程序78(5):521-541·Zbl 1146.68026号
[20] Beckert B,Hähnle R,Schmitt PH(eds)(2007)《面向对象软件的验证:关键方法》,计算机科学课堂讲稿第4334卷。柏林施普林格·Zbl 1202.68092号
[21] Booch G,Rumbaugh JE,Jacobson I(1999)统一建模语言用户指南。Addison-Wesley,阅读
[22] Bagherzadeh M、Rajan H、Leavens GT、Mooney SL(2011)《透明合同:面向方面接口的表达规范和模块验证》。参见:Borba P,Chiba S(eds)《面向方面软件开发第十届国际会议论文集》(AOSD 2011),第141-152页。纽约ACM出版社
[23] Batory D,Sarvela JN,Rauschmayer A(2004),缩放逐步细化。IEEE Trans Softw工程30:355-371
[24] Back R-J,von Wright J(1998)《精化演算:系统介绍》。计算机科学研究生课程。柏林施普林格·Zbl 1204.68072号
[25] de Boer FS(1999)面向对象的WP演算。摘自:Thomas W(ed)《软件科学与计算结构基础学报》(FOSSACS’99),计算机科学课堂讲稿第1578卷,第135-149页。柏林施普林格
[26] Damiani F,Dovland J,Johnsen EB,Owe O,Schaefer I,Yu IC(2012)面向增量编程的转换证明系统。收录:de Almeida ES、Schwanninger C、Benavides D(eds)《第16届国际软件产品线会议论文集》(SPLC'12),第2卷,第53-60页。纽约ACM出版社·Zbl 0312.68011号
[27] Damiani F、Dovland J、Johnsen EB、Schaefer I(2011)《验证特性:细粒度重用的证明系统》。摘自:类Java程序的形式化技术会议录(FTfJP),第8:1-8:6页。纽约ACM出版社·Zbl 1342.68059号
[28] Dovland J、Johnsen EB、Owe O、Steffen M(2010)《懒惰行为子类型》。逻辑代数程序J 79(7):578-607·Zbl 1204.68072号
[29] Dovland J,Johnsen EB,Owe O,Steffen M(2011)多继承的惰性行为子类型增量推理。科学计算程序76(10):915-941·Zbl 1221.68058号
[30] Ducasse S、Nierstrasz O、Schärli N、Wuts R、Black AP(2006)《特性:细粒度重用机制》。语言系统转换程序28(2):331-388
[31] De Fraine B,Ernst E,Südholt M(2010)《基本AOP:A演算》。摘自:D'Hondt T(ed)《面向对象编程欧洲会议论文集》(ECOOP),计算机科学讲稿第6183卷,第101-125页。柏林施普林格
[32] Flatt M,Krishnamurthi S,Felleisen M(1998)课程和混音。摘自:《编程语言原理学报》(POPL),第171-183页。纽约ACM出版社
[33] Hatcliff J、Leavens GT、Leino KRM、Müller P、Parkinson MJ(2012)行为界面规范语言。ACM计算概况44(3):16·Zbl 1293.68078号
[34] Hoare CAR(1969)计算机编程的公理基础。社区ACM 12:576-580·Zbl 0179.23105号
[35] Hoare CAR(1971)程序和参数:公理方法。摘自:Engeler E(E)算法语言语义研讨会,数学课堂讲稿第188卷,第102-116页。柏林施普林格·Zbl 1264.68046号
[36] Hähnle R,Schaefer I(2012)面向增量编程的Liskov原则。摘自:Margaria T,Steffen B(eds)第五届利用形式方法的应用、验证和确认(ISoLA)国际研讨会论文集,计算机科学课堂讲稿第7609卷,第32-46页。柏林施普林格
[37] Igarashi A、Pierce BC、Wadler P(2001)《轻量级Java:Java和GJ的最小核心演算》。语言系统翻译程序23(3):396-450
[38] Johnsen EB,Owe O,Yu IC(2006)Creol:分布式并发系统的类型安全面向对象模型。计算机科学理论365(1-2):23-66·Zbl 1118.68031号
[39] Krishnamurthi S,Fisler K(2007)增量方面模型检查的基础。Trans-Softw工程方法16(2)
[40] Kiczales G,Lamping J,Mendekar A,Maeda C,Lopes C,Loingtier J-M,Irwin J(1997)面向方面编程。摘自:Akšit M,Matsuoka S(eds)《面向对象编程欧洲会议论文集》(ECOOP),计算机科学课堂讲稿第1241卷,第220-242页。柏林施普林格
[41] Leavens GT、Naumann DA(2006)行为子类型、规范继承和模块化推理。艾姆斯爱荷华州立大学计算机科学系06-20a技术报告
[42] 罗C,秦S(2008)多重继承的分离逻辑。理论计算机科学电子笔记。摘自:信息学、计算和软件基础(FICS)第一届国际会议记录,第212卷,第27-40页·Zbl 1286.68320号
[43] Liquori L,Spiwack A(2008)《使用接口扩展FeatherTrait Java》。计算机科学理论398(1-3):243-260·Zbl 1146.68026号
[44] Liquori L,Spiwack A(2008)FeatherTrait:Featherweight Java的适度扩展。Trans Program Lang Syst语言系统30(2):1-32
[45] Lagorio G、Servetto M、Zucca E(2009)羽量级拼图的扁平化与直接语义。附:面向对象语言基础研讨会论文集·Zbl 1242.68048号
[46] Liskov B,Wing JM(1994)子类型的行为概念。跨程序语言系统16(6):1811-1841
[47] Nordio M,Calcagno C,Müller P,Meyer B(2009)埃菲尔的一个完善的程序逻辑。收录于:Oriol M(ed)TOOLS-EUROPE 2009,商业和信息处理课堂讲稿第33卷,第195-214页
[48] Nierstrasz O,Ducasse S,Schärli N(2006)扁平化特征。对象技术杂志5(4):129-148
[49] Owicki S,Gries D(1976)并行程序的公理证明技术I.Acta Inf 6(4):319-340·Zbl 0312.68011号
[50] Odersky M、Spoon L、Venners B(2010)《Scala编程》,第2版。加利福尼亚州阿蒂玛出版社
[51] Parkinson MJ,Bierman GM(2008)分离逻辑、抽象和继承。摘自:《程序设计语言原理学报》,第75-86页。纽约ACM出版社·Zbl 1295.68091号
[52] Parkinson MJ、Bornat R、Calcagno C(2006)《Hoare逻辑中的变量资源》。摘自:计算机科学逻辑研讨会论文集(LICS’06),第137-146页。IEEE计算机学会出版社,纽约
[53] Poetzsch-Heffter A,Müller P(1999)顺序Java的编程逻辑。收录于:Swierstra SD(ed)第八届欧洲编程语言和系统研讨会(ESOP’99),计算机科学课堂讲稿第1576卷,第162-176页。柏林施普林格
[54] Reppy JH,Turon A(2006)基于trait的元编程的基础。In:FOOL/WOOD会议记录
[55] Reppy JH,Turon A(2007),《特征的元编程》。摘自:《面向对象编程欧洲会议论文集》(ECOOP),计算机科学课堂讲稿第4609卷,第373-398页。柏林施普林格
[56] Steele Jr GL、Allen EE、Chase D、Flood CH、Luchangco V、Maessen J-W、Ryu S(2011)Fortress(Sun HPCS语言)。收录于:Padua DA(ed)并行计算百科全书,第718-735页。柏林施普林格
[57] Schaefer I、Bettini L、Bono V、Damiani F、Tanzarella N(2010),面向三角洲的软件产品线编程。收录:Bosch J,Lee J(编辑)《软件产品线:超越》(SPLC'10),计算机科学课堂讲稿第6287卷,第77-91页。柏林施普林格
[58] Schwerhoff M(2010)《验证鳞片性状》。瑞士苏黎世联邦理工学院(ETH)学期报告
[59] Smith C,Drossopoulou S(2005)Chai:类Java语言的特征。在:《面向对象编程欧洲会议论文集》(ECOOP),计算机科学讲义第3586卷,第453-478页。柏林施普林格
[60] Schärli N,Ducasse S,Nierstrasz O,Black A(2003)《特征:可组合的行为单位》。摘自:《面向对象编程欧洲会议论文集》(ECOOP),计算机科学课堂讲稿第2743卷,第248-274页。柏林施普林格
[61] TraitRecordJ网站(2011)http://traitrecordj.sourceforge.net/
[62] Thüm T、Schaefer I、Apel S、Hentschel m(2012)《基于家族的软件产品线演绎验证》。摘自:生成性编程和组件工程国际会议(GPCE),第11-20页。纽约ACM出版社·Zbl 1118.68031号
[63] Thüm T,Schaefer I,Kuhlemann m,Apel S(2011)软件产品线演绎验证的证明构成。摘自:可变密集型系统测试、验证和验证国际研讨会论文集,第270-277页。IEEE计算机学会出版社,纽约
[64] Van Limberghen M,Mens T(1996)《封装和组合作为mixin上的正交算子:多重继承问题的解决方案》。面向对象系统3(1):1-30
[65] van Staden S,Calcagno C(2010)《使用MultiStar进行多个相关抽象的推理》。摘自:《面向对象编程系统、语言和应用程序学报》(OOPSLA),第504-519页。纽约ACM出版社
[66] Wills A(1991)《壁画中的胶囊和类型:小对话中的程序验证》。摘自:美国P(ed)《面向对象编程欧洲会议论文集》(ECOOP),计算机科学讲稿第512卷,第59-76页。柏林施普林格
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。