首页> 外文OA文献 >Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14)

【2h】

Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14)

机译：软件工程和形式方法期刊的形式方面专刊（SEFM'14）

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Giannakopoulou Dimitra; Salaün Gwen; Butler Michael;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Software engineering and formal methods: SEFM 2019 special section [J] . Olveczky Peter Csaba, Salaun Gwen Software and systems modeling . 2021,第2期

机译：软件工程和形式方法：SEFM 2019特殊部分
2. Special section on software engineering and formal methods:extended versions of contributions presented at SEFM 2008 [J] . Antonio Cerone, Stefan Gruner Software and systems modeling . 2011,第2期

机译：关于软件工程和形式方法的特殊部分：在SEFM 2008上发表的文稿的扩展版本
3. SEFM: software engineering and formal methods [J] . Gilles Barthe, Alberto Pardo, Gerardo Schneider Software and systems modeling . 2015,第1期

机译：SEFM：软件工程和形式方法
4. Formal Methods for Interactive Systems: A Research Field in Between HCI, Formal Methods and Software Engineering [C] . Yamine Aiet-Ameur, Philippe Palanque International workshop on formal co-simulation of cyber-physical systems;International symposium on from data to models and back;International workshop on formal methods for interactive systems;Conference on software technologies: applications and foundations;International workshop on foundations of coordination languages and self-adaptative systems;International workshop on graph computation models;International workshop on model-driven engineering for design-runtime interaction in complex systems;International workshop on microservices: science and engineering;International workshop on security for and by model-driven engineering . 2018

机译：交互系统的形式方法：人机交互，形式方法和软件工程之间的研究领域
5. Special education for adolescent Latino students with limited formal schooling: Issues, stories, and perceptions of students and their teachers. [D] . Fenner, Diane Marie Staehr. 2006

机译：正规学校教育有限的青少年拉丁裔学生的特殊教育：学生及其老师的问题，故事和看法。
6. HOLON/CADSE: integrating open software standards and formal methods to generate guideline-based decision support agents. [O] . B. G. Silverman, O. Sokolsky, V. Tannen, 1999

机译：HOLON / CADSE：集成开放软件标准和正式方法以生成基于准则的决策支持代理。
7. Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14) [O] . Giannakopoulou Dimitra, Salaün Gwen, Butler Michael 2016

机译：软件工程和形式方法期刊的形式方面专刊（SEFM'14）

Special Issue of the Formal Aspects of Computing Journal on Software Engineering and Formal Methods (SEFM'14)

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅