缺少摘要。
- 发展中的关键系统-轨道介绍迈克·欣奇,蒂齐亚娜·玛格丽亚.1-3 [doi]
- 统计抽象提高了演化关键系统的设计和测试效率Axel Legay公司,肖恩·塞德瓦兹.4-25 [doi]
- 组合逻辑合成器简·贝塞,安德烈·杜登赫夫纳,鲍里斯·杜德尔,莫里茨·马滕斯,雅各布·雷霍夫.26-40 [doi]
- 进化结构化工作流的增量句法语义可靠性分析多梅尼科·比安库利,安东尼奥·菲列里,卡洛·盖齐,迪诺·曼德里奥利.41-55 [doi]
- 使用DyWA进行原型驱动的Web应用程序开发约翰内斯·纽鲍尔,马库斯·弗罗姆,伯恩哈德·斯特芬,蒂齐亚娜·玛格丽亚.56-72 [doi]
- 企业系统的领域特定语言杰斯帕·安德森,帕特里克·巴尔,弗里茨·亨利恩,汤姆·赫维特.73-95 [doi]
- “自主集成的严格工程”导论-轨道导论马丁·威辛,洛科·德·尼古拉,马蒂亚斯·霍尔兹尔.96-98 [doi]
- 海伦娜@工作:科学云平台建模安娜贝拉·克拉尔,菲利普梅尔,罗尔夫·亨尼克.99-116 [doi]
- 用KnowLang规范化自适应云埃米尔·瓦塞夫,迈克·欣奇,菲利普梅尔.117-130 [doi]
- 面向自主组件集成的性能软件工程托马斯·布雷斯,Vojtech Horky公司,Michal Kit公司,卢卡斯·马雷克,彼得·图马.131-146 [doi]
- SCEL中的自表达和基于动态属性的集成贾科莫·卡布里,尼古拉·卡波迪西奇,卢卡·塞萨里,洛科·德·尼古拉,罗萨里奥·普格利泽,弗朗西斯科·蒂齐,弗朗科·赞博内利.147-163 [doi]
- 自主计算系统的编程与策略米歇尔·洛雷蒂,安德烈亚·马格里,罗萨里奥·普格利泽,弗朗西斯科·蒂齐.164-183 [doi]
- 自治系统的严格系统设计流程萨德克·本萨勒姆,马吕斯·博兹加,雅克·康巴兹,阿勒姆·特里基.184-198 [doi]
- 验证和测试的学习模型——ISoLA 2014轨道介绍的特殊轨道福尔克·豪瓦尔,伯恩哈德·斯特芬.199-201 [doi]
- 寄存器自动机推理算法——现有方法的比较Fides艺术,福尔克·豪瓦尔,哈科·库彭斯,Frits W.Vaandrager公司.202-219 [doi]
- 从ioco角度看不确定性系统的主动学习米歇尔·沃尔帕托,简·特雷特曼.220-235 [doi]
- GUI应用程序的验证:黑盒方法斯蒂芬·阿尔特,埃夫伦·埃尔米斯,塞尔吉奥·费奥·阿雷尼斯,安德烈亚斯·波德尔斯基.236-252 [doi]
- 软件产品线工程中的基本方法和分析-(跟踪摘要)伊娜·谢弗,莫里斯·特尔·比克.253-256 [doi]
- 分离变量建模的核心语言亚历山德鲁·F·伊奥西夫·拉扎尔,伊娜·谢弗,安德烈·瓦索夫斯基.257-272 [doi]
- 用于管理功能模型的领域特定语言:进展和挑战菲利普·科莱.273-288 [doi]
- 软件产品线的三角图编程费鲁西奥·达米亚尼,伊娜·谢弗,斯文·舒斯特,蒂姆·温克尔曼.289-303 [doi]
- 面向增量的模型中的部署可变性艾纳·布罗赫·约翰森,鲁道夫·施拉特,西尔维娅·利泽斯·塔皮亚·塔里法.304-319 [doi]
- DeltaCCS:行为改变的核心演算马尔特·洛肖,斯蒂芬·门尼克,豪克·巴勒,拉尔斯·里贝克.320-335 [doi]
- 软件产品线行为测试的覆盖标准泽维尔·德夫罗伊,吉尔斯·佩鲁因,Axel Legay公司,马克西姆·科尔迪,皮埃尔·伊夫·肖本斯,帕特里克·海曼斯.336-350 [doi]
- 自行车共享系统建模和定量分析方面的挑战莫里斯·特尔·比克,亚历山德罗·范特奇,斯蒂芬妮娅·格内西.351-367 [doi]
- 利用mCRL2实现软件产品线的模块化验证莫里斯·特尔·比克,埃里克·德文克.368-385 [doi]
- 基于模型的代码生成器和编译器-跟踪介绍乌韦·Aß曼,延斯·努普,沃尔夫·齐默尔曼.386-390 [doi]
- 基于模型的水泵开发的DSL实现克里斯蒂安·贝尔格,沃尔夫·齐默尔曼.391-406 [doi]
- 使用Xtend语言的部分求值器构建DSL的代码生成器克劳斯·伯肯.407-424 [doi]
- 基于模型的代码生成器的背靠背测试斯文·约格斯,伯恩哈德·斯特芬.425-444 [doi]
- 用循环和嵌套集合重写对象模型-一个基于模型的元编程问题马库斯·勒珀,Baltasar Trancón-y-Widemann公司.445-460 [doi]
- SCCharts的编译——基于模型的交互式编译案例研究克里斯蒂安·莫蒂卡,史蒂文·斯迈思,莱因哈德·冯·汉克斯利登.461-480 [doi]
- 特定领域的代码生成器建模:一个多面并发系统的案例研究斯特凡·诺约卡特,路易斯·马里·特劳努埃兹,马尔特·伊斯伯纳,伯恩哈德·斯特芬,Axel Legay公司.481-498 [doi]
- 教程:自动学习实践福尔克·豪瓦尔,马尔特·伊斯伯纳,伯恩哈德·斯特芬.499-513 [doi]