SoSyM special section on software engineering and formal methods

被引：0

作者：

Cuellar, Jorge ^{[1
]}

Liu, Zhiming ^{[2
]}

机构：

[1] Siemens AG, D-81730 Munich, Germany

[2] United Nations Univ, Int Inst Software Technol, Macao SAR, Peoples R China

来源：

SOFTWARE AND SYSTEMS MODELING | 2007年 / 6卷 / 01期

关键词：

Formal Method; Formal Meth; Software Industry; Softw Syst Model; Coordination Language;

D O I：

10.1007/s10270-006-0010-3

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：37 / 38

页数：2

共 50 条

[41] Formal Methods in Software Product Line Engineering
Schaefer, Ina
Hahnle, Reiner
[J]. COMPUTER, 2011, 44 (02) : 82 - 85
[42] Formal engineering methods for software quality assurance
Shaoying Liu
[J]. Frontiers of Computer Science, 2012, 6 : 1 - 2
[43] Formal methods software engineering for the CARA system
Martin J.C.
[J]. International Journal on Software Tools for Technology Transfer, 2004, 5 (4) : 301 - 307
[44] Intelligent systems and formal methods in software engineering
Beckert, Bernhard
Hoare, Tony
Hahnle, Reiner
Smith, Douglas R.
Green, Cordell
Ranise, Silvio
Tinelli, Cesare
Ball, Thomas
Rajamani, Sriram K.
[J]. IEEE INTELLIGENT SYSTEMS, 2006, 21 (06) : 71 - 81
[45] Special Section on Empirical Software Engineering FOREWORD
Hata, Hideaki
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2019, E102D (12) : 2413 - 2413
[46] Special section on natural language in software engineering
Sawyer, Pete
Gervasi, Vincenzo
[J]. IET SOFTWARE, 2008, 2 (01) : 1 - 2
[47] Introduction to the Special Section on Software Language Engineering
Favre, Jean-Marie
Gasevic, Dragan
Laemmel, Ralf
Winter, Andreas
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2009, 35 (06) : 737 - 741
[48] Special Section on Empirical Software Engineering FOREWORD
Hayashi, Shinpei
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2022, E105D (01): : 1 - 1
[49] Special section on Visual Analytics in Software Engineering
Staron, Miroslaw
Sahraoui, Houari
Telea, Alexandru
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2018, 98 : 117 - 117
[50] Special section:: Controlled Experiments in Software Engineering
Wohlin, C
Höst, M
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2001, 43 (15) : 921 - 924

← 1 2 3 4 5 →