国际技术转让软件工具杂志(STTT)第9卷
第9卷第1期,2007年2月
Deepak D'Souza公司 , 帕维思拉·普拉巴卡 :
关于MTL在逐点和连续语义中的表达性。 1-4 马可·波扎诺 , 阿道夫·维拉菲奥里塔 :
FSAP/NuSMV-SA安全分析平台。 5-24 伦敦帝国学院 :
模型检查中的一些当前主题。 25-36 阿列克桑达尔·迪莫夫斯基 , 兰科·拉齐奇 :
基于游戏语义和过程代数的组合软件验证。 37-51 迪米塔尔·普·盖列夫 , 马克·德莫特·瑞安 , 皮埃尔·伊夫·肖本斯 :
在特征集成时对时间属性的保存进行模型检查。 53-62 西米尼亚努半径 , 吉安弗兰科·西亚多 :
NASA跑道安全监测器的正式验证。 63-76 塞西尔·布劳恩斯坦 , Emmanuelle Encrenaz公司 :
增量设计过程中的CTL属性转换。 77-88 肖巴·瓦苏德万 , E.艾伦·艾默生 , 雅各布·A·亚伯拉罕 :
通过先决条件切片改进了硬件设计的验证。 89-101
第9卷第2期,2007年3月
德拉甘·加西维奇 , 德拉甘·朱里奇 , 弗拉丹·德维德齐克 :
基于MDA的自动OWL本体开发。 103-117 奥尔娜·格伦伯格 , Shmuel Katz先生 :
VeriTech:一个在模型描述符号之间进行转换的框架。 119-132 毛罗·佩泽尔 :
2003年FASE专题介绍。 133-134 维姆·范德佩伦 , 戴维·苏韦 , 布鲁诺·德·弗雷恩 , Viviane Jonckers公司 :
通过入侵合成适配器在PacoSuite中进行面向方面的组件合成。 135-154 艾奥娜·索拉 , 皮埃尔·韦巴滕 , 尤兰德·贝伯斯 :
CCDL:可组合组件描述语言。 155-168 克劳斯·帕尔 :
用于软件组件匹配的本体。 169-178 维埃里·德尔·比安科 , 路易吉·拉瓦扎 , 马可·毛里 , 朱塞佩·奥科索 :
面向基于组件的实时软件的基于UML的正式规范。 179-192 瑞科·赫克尔 , 马克·洛曼 :
反应式信息系统的模型驱动开发:从图形转换规则到JML契约。 193-207
第9卷,第3-4期,2007年6月
库尔特·延森 :
彩色Petri网专题。 209-212 库尔特·延森 , 拉尔斯·迈克尔·克里斯滕森 , 丽莎·威尔斯 :
用于并发系统建模和验证的彩色Petri网和CPN工具。 213-254 布里斯·米切尔 , 拉尔斯·迈克尔·克里斯滕森 , 林章(Lin Zhang) :
操作规划过程的形式化规范和状态空间分析。 255-267 乔纳森·比林顿 , 韩冰(Bing Han) :
对TCP连接管理过程的功能行为进行建模和分析。 269-304 林刘(Lin Liu) , 乔纳森·比林顿 :
能力交换信令协议的验证。 305-326 马贾·佩西奇 , Wil M.P.van der Aalst先生 :
使用有色Petri网对工作分配机制进行建模。 327-352 里卡多·豪尔赫·马查多 , 克里斯蒂安·比斯加德·拉森 , 塞尔吉奥利维拉 , 马可·库托 , 帕特里夏·平托 :
需求验证:使用CPN工具执行UML模型。 353-369 盖伊·爱德华·加拉斯 , 乔纳森·比林顿 , Somsak Vanit-Anunchai餐厅 , 拉尔斯·迈克尔·克里斯滕森 :
使用扫描线方法实时检查安全特性。 371-391 查尔斯·拉科斯 , 劳雷·佩特鲁奇 :
定时petri网的模块化状态空间探索。 393-411 罗伯托·巴格纳拉 , 帕特里夏·M·希尔 , 埃娜·扎法内拉 :
扩展powerset域的运营商。 413-414
第9卷,数字5-6,2007年10月
米歇尔·沃梅林格 , 蒂齐亚娜·玛格丽亚 , 毛拉·塞里奥利 :
软件工程基本方法专题介绍。 415-416 乔治·荣格 , 约翰·哈特克利夫 :
CORBA组件模型的关联框架。 417-427 玛莎·契契克 , 阿里·古芬克尔 :
反例生成和探索的框架。 429-445 格雷戈伊尔·哈蒙 , 约翰·拉什比 :
Stateflow的操作语义。 447-456 鲁思·布鲁 , 格哈德·波普 , 穆罕默德·阿拉姆 :
基于模型的访问策略开发。 457-470 金·古德斯特兰·拉森 , 乌里克·尼曼 , 安德烈·瓦索夫斯基 :
使用色盲转换系统对软件产品线进行建模。 471-487 文卡特什·普拉萨德·兰加纳思 , 约翰·哈特克利夫 :
使用Indus和Kaveri对并发Java程序进行切片。 489-504 德克·拜尔 , 托马斯·汉津格 , 兰吉特·贾拉 , 鲁帕克·马朱姆达尔 :
软件模型检查器Blast。 505-525 扬·朱尔扬(Jan Jürjens) , 帕沙·沙巴林 :
使用UML进行安全系统开发的工具。 527-544