系统和软件工程创新，第4卷
第4卷第1期，2008年4月
迈克尔·欣奇 
:
专刊简介：SEW-31精选论文。 1 Reinhold Plösch , 哈拉尔德·格鲁伯 , 亚历山大·亨切尔 , 克里斯蒂安·科纳 , 古斯塔夫·蓬伯格 , 斯特凡·希弗 , 马蒂亚斯·萨夫特 , 斯蒂芬·斯托克 :
EMISQ方法及其工具支持基于专家的内部软件质量评估。 3-15 安娜·索菲亚·马尔索尔 , 布鲁诺·塞尔索·德·弗雷塔斯 , 菲利佩·桑塔娜·富塔多·索尔斯 , 玛丽亚·伊丽莎白·苏库皮拉·福塔多 , 特蕾莎·M·马西尔 , 阿纳多·迪亚斯·贝尔奇奥 :
融合Scrum实践和CMMI项目管理过程领域。 17-29 加布里埃拉·罗比奥罗 , 里卡多·奥罗斯科 :
使用用例以更简单的度量来早期评估工作。 31-43 约翰·卡特 , 威廉·加德纳 :
使用Mise en Scene将场景转换为CSP跟踪，以进行基于需求的编程。 45-70 内拉姆·桑达拉扬（Neelam Soundarajan） , 杰森·奥·霍尔斯特罗姆 , 舒国强 , 阿德姆·德利巴斯 :
模式：从系统设计到软件测试。 71-85 彼得·布鲁尔 , 西蒙·皮金 :
开放源码世界中的近似验证。 87-105 伊尔凡·哈米德 , 贝奇尔·扎利拉 , 埃利·纳伊姆 , 杰尔·雨果斯 :
硬实时应用程序的自动框架生成。 107-122
第4卷第2期，2008年6月
安东尼奥·塞隆 , 保罗·柯森 :
交互式系统的形式化方法。 123 朱迪·鲍文 , 史蒂夫·里夫斯 :
用户界面设计工件的形式化模型。 125-141 Rimvydas Ruksenas公司 , 保罗·柯森 , 安·布兰德福德 :
对安全漏洞的认知原因进行建模和分析。 143-160 多伦·德鲁辛斯基 , 詹姆斯·布雷特·迈克尔 , Man-tak Shing公司 :
计算机辅助验证的框架。 161-168 蒂姆·门齐斯 , 马克兰·本森 , 肯·科斯特洛 , 克里斯蒂娜·莫茨 , 梅丽莎·诺西 , 朱利安·理查森 :
学习更好的IV&V实践。 169-183
第4卷第3期，2008年9月
Jean-Michel布鲁尔 , 阿古斯蒂运河 , 塞巴斯蒂安·杰拉德 , 伊莎贝尔·佩塞尔 :
专题介绍：UML&FM的论文。 185-187 洪乐堂 , 休伯特·杜布瓦 , 塞巴斯蒂安·杰拉德 :
在基于MARTE的实时嵌入式系统方法中建立可追溯性模型。 189-193 伊莎贝尔·佩塞尔 , 劳伦特·鲍特 :
实时系统新软件工程方法的基础。 195-202 田章 , 福雷德里克·朱厄尔（Frédéric Jouault） , 让·贝齐文 , 李宣东 :
一种基于MDE的桥接不同设计符号的方法。 203-213 于华峰 , 阿卜杜拉耶·加马蒂 , 埃里克·鲁滕 , Jean-Luc Dekeyser公司 :
MDE框架中高性能嵌入式系统的安全设计。 215-222 斯特凡·格鲁纳 :
通过基于元模型的推理从用例到测试用例。 223-231 克里斯蒂安·比斯加德·拉森 , 西蒙·特杰尔 :
使用UML序列图和有色petri网对反应系统进行基于模型的需求分析。 233-240 李丹（Dan Li） , 小山·李 , 刘济聪 , 刘志明 :
通过自动原型验证需求模型。 241-248 拉尔夫·巴斯切姆（Ralf Buschermöhle） , 约尔格·奥利林克 :
丰富的元对象工具形式化集成平台：语法、语义和实现。 249-257 博尔巴巴·本·阿马尔 , 穆罕默德·塔哈尔·比里 , 珍妮·苏奎尔斯 :
使用操作精化对UML规范进行增量开发。 259-266 大卫·德拉海耶 , Jean-Frédéric Etienne女士 , Véronique Donzeau-Gouge公司 :
从Focal到UML的正式而合理的转换：机场安全法规的应用。 267-274 克里斯托夫·西贝汀·布兰克 , 纳比尔·哈默伦 , 奥马尔·塔希尔 :
基本序列图的模糊性和结构属性。 275-284 马克·弗拉皮耶 , 弗雷德里克·热尔维斯（Frédéric Gervais） , 雷金·拉劳 , 贝诺·特·弗雷金 , 理查德·圣丹尼斯（Richard St-Denis） :
使用进程代数运算符扩展状态图。 285-292 Yann Thierry-Mieg公司 , 洛姆·梅桑·希拉 :
使用可实例化Petri网进行UML行为一致性检查。 293-300 尤利安·奥贝尔 , 苏珊·格拉芙 , 尤里·尤什廷 , 伊莱娜·奥贝尔 :
使用UML进行时序分析和验证：嵌入式MARS总线管理器的案例。 301-308 油炸木槌 :
时钟约束规范语言：使用UML/MARTE指定时钟约束。 309-314
2008年12月第4卷第4期
路易斯·安德烈·P·佩斯·莱姆 , 丹妮拉·布劳纳 , 卡琳·库根·布莱特曼 , 马可·卡萨诺娃 , 亚历山大·加佐拉 :
匹配对象目录。 315-328 罗纳德·克内塞尔 :
用高阶函数扩展交互式数据语言。 329-339 朱慧标 , 何继峰 , 乔纳森·鲍文 :
从代数语义到Verilog的指称语义。 341-360 斯文·约格斯 , 蒂齐亚娜·玛格丽亚 , 伯恩哈德·斯特芬 :
Genesys：面向服务的构建符合属性的代码生成器。 361-384 伯恩德·克雷默 :
组件满足服务：混血儿是什么样子的？ 385-394
