SoSyM Special Section on Software Engineering and Formal Methods

Jorge Cuellar; Zhiming Liu

doi:10.1007/s10270-006-0010-3

SoSyM Special Section on Software Engineering and Formal Methods

Software & Systems Modeling ◽

10.1007/s10270-006-0010-3 ◽

2006 ◽

Vol 6 (1) ◽

pp. 37-38

Author(s):

Jorge Cuellar ◽

Zhiming Liu

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Special Section

Download Full-text

Software engineering and formal methods: SEFM 2019 special section

Software & Systems Modeling ◽

10.1007/s10270-021-00874-1 ◽

2021 ◽

Vol 20 (2) ◽

pp. 291-292

Author(s):

Peter Csaba Ölveczky ◽

Gwen Salaün

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Special Section

Download Full-text

Special section on software engineering and formal methods: extended versions of contributions presented at SEFM 2008

Software & Systems Modeling ◽

10.1007/s10270-010-0169-5 ◽

2010 ◽

Vol 10 (2) ◽

pp. 143-145

Author(s):

Antonio Cerone ◽

Stefan Gruner

Keyword(s):

Software Engineering ◽

Formal Methods ◽

Special Section

Download Full-text

Guest Editorial for Special Section from Empirical Software Engineering & Measurement (ESEM) 2011

Information and Software Technology ◽

10.1016/j.infsof.2012.12.008 ◽

2013 ◽

Vol 55 (7) ◽

pp. 1277-1278

Author(s):

Martin Shepperd ◽

Forrest Shull

Keyword(s):

Software Engineering ◽

Guest Editorial ◽

Special Section ◽

Empirical Software Engineering ◽

Engineering Measurement

Download Full-text

Software engineering and formal methods

Communications of the ACM ◽

10.1145/1378727.1378742 ◽

2008 ◽

Vol 51 (9) ◽

pp. 54-59 ◽

Cited By ~ 31

Author(s):

Mike Hinchey ◽

Michael Jackson ◽

Patrick Cousot ◽

Byron Cook ◽

Jonathan P. Bowen ◽

...

Keyword(s):

Software Engineering ◽

Formal Methods

Download Full-text

Guest Editorial: Special section on the selected papers from 14th International Conference on Evaluation and Assessment in Software Engineering (EASE 2010)

Information and Software Technology ◽

10.1016/j.infsof.2010.12.008 ◽

2011 ◽

Vol 53 (6) ◽

pp. 615

Author(s):

Mahmood Niazi ◽

Mark Turner

Keyword(s):

Software Engineering ◽

Guest Editorial ◽

Special Section ◽

International Conference ◽

Evaluation And Assessment

Download Full-text

Software Engineering and Formal Methods

10.1007/978-3-319-41591-8 ◽

2016 ◽

Cited By ~ 1

Keyword(s):

Software Engineering ◽

Formal Methods

Download Full-text

Formal Methods and Software Engineering

10.1007/978-3-319-47846-3 ◽

2016 ◽

Cited By ~ 2

Keyword(s):

Software Engineering ◽

Formal Methods

Download Full-text

Guest Editorial for the 8 th Symposium on Search Based Software Engineering Special Section

Information and Software Technology ◽

10.1016/j.infsof.2017.12.013 ◽

2018 ◽

Vol 95 ◽

pp. 265

Author(s):

Federica Sarro ◽

Kalyanmoy Deb ◽

Marouane Kessentini

Keyword(s):

Software Engineering ◽

Guest Editorial ◽

Special Section ◽

Search Based Software Engineering

Download Full-text

2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)

10.1109/formalise52586.2021 ◽

2021 ◽

Keyword(s):

Software Engineering ◽

Formal Methods ◽

International Conference

Download Full-text

Formal Methods in Software Engineering

Encyclopedia of Information Science and Technology, First Edition ◽

10.4018/978-1-59140-553-5.ch213 ◽

2005 ◽

pp. 1205-1211 ◽

Cited By ~ 1

Author(s):

Aristides Dasso ◽

Ana Funes

Keyword(s):

Software Engineering ◽

Formal Methods ◽

General Rule ◽

Engineering Applications

As a general rule, all engineering applications use mathematics or mathematical tools as a basis for their development. However, software engineering is an exception to this rule.

Download Full-text