停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

国际技术转让软件工具杂志（STTT）第9卷

>主页 >日记账 >国际技术转让软件工具杂志

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第9卷第1期，2007年2月

关键系统自动验证进展专题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/DSouzaP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://DSouzaP07
Deepak D'Souza公司,帕维思拉·普拉巴卡:
关于MTL在逐点和连续语义中的表达性。 1-4
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BozzanoV07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BozzanoV07
马可·波扎诺,阿道夫·维拉菲奥里塔:
FSAP/NuSMV-SA安全分析平台。 5-24
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Huth07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://Huth07
伦敦帝国学院:
模型检查中的一些当前主题。 25-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/DimovskiL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/DimovskiL07
阿列克桑达尔·迪莫夫斯基,兰科·拉齐奇:
基于游戏语义和过程代数的组合软件验证。 37-51
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GuelevRS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/GuelevRS07网址
迪米塔尔·普·盖列夫,马克·德莫特·瑞安,皮埃尔·伊夫·肖本斯:
在特征集成时对时间属性的保留进行模型检查。 53-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/SiminieanuC07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/SiminiceanuC07
西米尼亚努半径,詹弗兰科·西亚多:
NASA跑道安全监测器的正式验证。 63-76
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BraunsteinE07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BraunsteinE07
塞西尔·布劳恩斯坦,Emmanuelle Encrenaz公司:
增量设计过程中的CTL属性转换。 77-88
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/VasudevanEA07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/VasudevanEA07网站
肖巴·瓦苏德万,E.艾伦·艾默生,雅各布·A·亚伯拉罕:
通过先决条件切片改进了硬件设计的验证。 89-101

第9卷第2期，2007年3月

软件工程基本方法专题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GasevicDD07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/GasevicDD07
德拉甘·加西维奇,德拉甘·朱里奇,弗拉丹·德维德齐克:
基于MDA的自动OWL本体开发。 103-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GrumbergK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/GrumbergK07
奥尔娜·格伦伯格,Shmuel Katz先生:
VeriTech：一个在模型描述符号之间进行转换的框架。 119-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Pezze07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Pezze07网址
毛罗·佩泽尔:
2003年FASE专题介绍。 133-134
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/VanderperrenSFJ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/VanderperrenSFJ07
维姆·范德佩伦,戴维·苏韦,布鲁诺·德·弗雷恩,Viviane Jonckers公司:
通过入侵合成适配器在PacoSuite中进行面向方面的组件合成。 135-154
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/SoraVB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/SoraVB07
艾奥娜·索拉,皮埃尔·韦巴滕,尤兰德·贝伯斯:
CCDL：可组合组件描述语言。 155-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Pahl07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://Pahl07
克劳斯·帕尔:
用于软件组件匹配的本体。 169-178年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BiancoLMO07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BiancoLMO07
维埃里·德尔·比安科,路易吉·拉瓦扎,马尔科·莫里,朱塞佩·奥科索:
面向基于组件的实时软件的基于UML的正式规范。 179-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/HeckelL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/HeckelL07
瑞科·赫克尔,马克·洛曼:
反应式信息系统的模型驱动开发：从图形转换规则到JML合同。 193-207

第9卷，第3-4期，2007年6月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/Jensen07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/Jensen07网址
库尔特·延森:
彩色Petri网专题。 209-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/JensenKW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/JensenKW07网址
库尔特·延森,拉尔斯·迈克尔·克里斯滕森,丽莎·威尔斯:
用于并发系统建模和验证的彩色Petri网和CPN工具。 213-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/MitchellKZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/MitchellKZ07
布里斯·米切尔,拉尔斯·迈克尔·克里斯滕森,林章（Lin Zhang）:
操作规划过程的形式化规范和状态空间分析。 255-267
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BillingtonH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BillingtonH07
乔纳森·比林顿,韩冰（Bing Han）:
对TCP连接管理过程的功能行为进行建模和分析。 269-304
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/LiuB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/LiuB07
林刘（Lin Liu）,乔纳森·比林顿:
能力交换信令协议的验证。 305-326
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/PesicA07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/http://PesicA07
马贾·佩西奇,Wil M.P.van der Aalst先生:
使用有色Petri网对工作分配机制进行建模。 327-352
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/MachadoLOCP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/MachadoLOCP07
里卡多·豪尔赫·马查多,克里斯蒂安·比斯加德·拉森,塞尔吉奥利维拉,马可·库托,帕特里夏·平托:
需求验证：使用CPN工具执行UML模型。 353-369
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/GallaschBVK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/GallaschBVK07
盖伊·爱德华·加拉斯,乔纳森·比林顿,Somsak Vanit Anunchai公司,拉尔斯·迈克尔·克里斯滕森:
用扫线法在空中检查安全性能。 371-391
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/LakosP07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/LakosP07
查尔斯·拉科斯,劳雷·佩特鲁奇:
定时petri网的模块化状态空间探索。 393-411
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BagnaraHZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/BagnaraHZ07
罗伯托·巴格纳拉,帕特里夏·M·希尔,埃娜·扎法内拉:
扩展powerset域的运营商。 413-414

第9卷，数字5-6，2007年10月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/WermelingerMC07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/WermelingerMC07网址
米歇尔·沃梅林格,蒂齐安娜·马加里亚,毛拉·塞里奥利:
软件工程基本方法专题介绍。 415-416
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/JungH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/JungH07
乔治·荣格,约翰·哈特克利夫:
CORBA组件模型的关联框架。 417-427
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/ChechikG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/CachikG07
玛莎·契契克,阿里·古芬克尔:
反例生成和探索的框架。 429-445
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/HamonR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/HamonR07
格雷戈伊尔·哈蒙,约翰·拉什比:
Stateflow的操作语义。 447-456
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/sttt/BreuPA07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BreuPA07
鲁思·布鲁,格哈德·波普,穆罕默德·阿拉姆:
基于模型的访问策略开发。 457-470
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/LarsenNW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/LarsenNW07
金·古德斯特兰·拉森,乌里克·尼曼,安德热伊·瓦索夫斯基:
使用色盲转换系统对软件产品线进行建模。 471-487
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/RanganathH07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/RanganathH07
文卡特什·普拉萨德·兰加纳思,约翰·哈特克利夫:
使用Indus和Kaveri切片并发Java程序。 489-504
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BeyerHJM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/BeyerHJM07
德克·拜尔,托马斯·汉津格,兰吉特·贾拉,鲁帕克·马朱姆达尔:
软件模型检查器Blast。 505-525
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/JurjensS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/JurjensS07
扬·朱尔扬（Jan Jürjens）,帕沙·沙巴林:
使用UML进行安全系统开发的工具。 527-544

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。