缺少摘要。
- 讨论文档在现代软件工程背景下的未来作用(ISoLA 2022跟踪介绍)克劳斯·哈维隆德,蒂姆·泰格勒,史蒂文·斯迈思,伯恩哈德·斯特芬.3-9 [doi]
- 软件系统文档:软件系统属性的一致描述曼弗雷德·布罗伊.10-27 [doi]
- 模型作为文档,文档作为模型佩迪塔·史蒂文斯.28-34 [doi]
- 使用补充属性减少文档需求奥勒·勒曼·马德森,伯格·莫勒·佩德森.35-59 [doi]
- 十二年后的语用学:关于法语的报告莱因哈德·冯·汉克斯利登,爱德华·A·李,豪克·福尔曼,亚历山大·舒尔兹·罗森加滕,Sören DomröS,马丁·洛斯特罗,索鲁什·巴泰尼,克里斯蒂安·梅纳德.60-89 [doi]
- 保证起源:软件文档中的下一个挑战加博尔·卡赛,丹尼尔·巴拉苏布拉曼尼亚.90-104 [doi]
- AADL运行时服务的正式化约翰·哈特克利夫,杰尔·雨果斯,丹妮尔·斯图尔特,卢兹·沃奇.105-134 [doi]
- 可执行文件:测试-首次使用史蒂文·斯迈思,杰特·佩佐德,乔纳斯·舒尔曼,弗洛里安·卡布斯,蒂齐亚娜·玛格丽亚,莱因哈德·冯·汉克斯利登,伯恩哈德·斯特芬.135-156 [doi]
- 运行时验证作为文档丹尼斯·达姆斯,克劳斯·哈维隆德,肖恩·考夫曼.157-173 [doi]
- 可执行文档:从文档语言到目的特定语言蒂姆·泰格勒,史蒂夫·博·埃尔曼,乔纳斯·舒尔曼,史蒂文·斯迈思,塞巴斯蒂安·特乌米特,伯恩哈德·斯特芬.174-192 [doi]
- 自动化软件再造:ISoLA 2022轨道简介谢尔盖·德梅耶,雷内·哈内尔,海科·曼特尔.195-200 [doi]
- 数据分析工作流规范语言的统一视图马库斯·希尔布里奇,塞巴斯蒂安·米勒,斯维特兰娜·库拉吉纳,克里斯托弗·拉齐克,尼农·德梅克南,拉尔斯·格伦斯克.201-215 [doi]
- 基于组件的软件与主动自动机学习工具接口的系统方法丹尼斯·亨德里克斯,库萨尔·阿斯拉姆.216-236 [doi]
- C语言中简单DFA模块和对象的验证软件单元伦纳特·贝林格.237-258 [doi]
- 具有抽象执行的重构的等价概念奥勒·约根虐待,爱德华·坎伯扬,紫罗兰Ka I Pun,沃尔克·斯托尔茨.259-280 [doi]
- 走向一种可用且可持续的演绎验证工具伯恩哈德·贝克特,理查德·布贝尔,雷内·哈内尔,马蒂亚斯·乌尔布里奇.281-300 [doi]
- 软件测试中的技术债务——来自业界的观察Sigrid Eldh公司.301-323 [doi]
- 重构实体智能合约以防范再进入漏洞谢尔盖·德梅耶,亨利克·罗查,达林·维尔海克(Darin Verheijke).324-344 [doi]
- 使用形式验证实现数据最小化的重构弗洛里安·兰辛格,马蒂亚斯·乌尔布里奇,亚历山大·维格尔.345-364 [doi]
- DIME日(ISoLA 2022跟踪介绍)蒂齐亚娜·玛格丽亚,多米尼克·维尔克纳,丹尼尔·布什,亚历山大·班茨克,蒂姆·泰格勒,伯恩哈德·斯特芬.367-373 [doi]
- 使用Rig评估CI/CD工作流的图形建模塞巴斯蒂安·特默特,蒂姆·泰格勒,乔纳斯·舒尔曼,丹尼尔·布什,多米尼克·维尔克纳.374-388 [doi]
- 语言驱动工程背景下的持续质量控制亚历山大·班茨克,Steve Boßelmann先生,马文·克劳斯,马可·克鲁姆雷,多米尼克·维尔克纳,伯恩哈德·斯特芬.389-406 [doi]
- Cinco云:基于网络的语言驱动工程的整体方法亚历山大·班茨克,丹尼尔·布什,马可·克鲁姆雷,丹尼尔·萨米·米特瓦利,乔纳斯·舒尔曼,乔尔·塔古肯·东莫,伯恩哈德·斯特芬.407-425 [doi]