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 条

[1] SoSyM Special Section on Software Engineering and Formal Methods
Jorge Cuellar
Zhiming Liu
[J]. Software & Systems Modeling, 2007, 6 : 37 - 38
[2] SoSyM special section on service-based software engineering
Manfred Broy
Heinrich Hussmann
Ingolf H. Krüger
Bernhard Schätz
[J]. Software & Systems Modeling, 2006, 5 (2) : 170 - 171
[3] Software engineering and formal methods: SEFM 2019 special section
Peter Csaba Ölveczky
Gwen Salaün
[J]. Software and Systems Modeling, 2021, 20 : 291 - 292
[4] Software engineering and formal methods: SEFM 2019 special section
Olveczky, Peter Csaba
Salaun, Gwen
[J]. SOFTWARE AND SYSTEMS MODELING, 2021, 20 (02): : 291 - 292
[5] Special section on formal methods in software practice
Dillon, LK
Sankar, S
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (01) : 2 - 3
[6] Special issue on ‘Software Engineering and Formal Methods’
[J]. Science of Computer Programming, 2023, 225
[7] Special issue on 'Software Engineering and Formal Methods'
不详
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[8] Special issue on 'Software Engineering and Formal Methods' Preface
不详
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2023, 225
[9] Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008
Antonio Cerone
Stefan Gruner
[J]. Software & Systems Modeling, 2011, 10 : 143 - 145
[10] Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008
Cerone, Antonio
Gruner, Stefan
[J]. SOFTWARE AND SYSTEMS MODELING, 2011, 10 (02): : 143 - 145

← 1 2 3 4 5 →