Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer International Publishing

9783319104300, 9783319104317

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Completeness of Separation Logic with Inductive Definitions for Program Verification

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_3 ◽

2014 ◽

pp. 20-34 ◽

Author(s):

Makoto Tatsuta ◽

Wei-Ngan Chin

Keyword(s):

Program Verification ◽

Separation Logic ◽

Inductive Definitions

Download Full-text

WeVerca: Web Applications Verification for PHP

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_24 ◽

2014 ◽

pp. 296-301 ◽

Author(s):

David Hauzar ◽

Jan Kofroň

Keyword(s):

Web Applications

Download Full-text

A Toolset for Support of Teaching Formal Software Development

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_21 ◽

2014 ◽

pp. 278-283 ◽

Author(s):

Štefan Korečko ◽

Ján Sorád ◽

Zuzana Dudláková ◽

Branislav Sobota

Keyword(s):

Software Development

Download Full-text

A Two-Phase Static Analysis for Reliable Adaptation

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_28 ◽

2014 ◽

pp. 347-362 ◽

Author(s):

Pierpaolo Degano ◽

Gian-Luigi Ferrari ◽

Letterio Galletta

Keyword(s):

Static Analysis ◽

Download Full-text

Tool Support for Teaching Hoare Logic

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_27 ◽

2014 ◽

pp. 332-346 ◽

Author(s):

Tadeusz Sznuk ◽

Aleksy Schubert

Keyword(s):

Tool Support ◽

Download Full-text

Automated Error-Detection and Repair for Compositional Software Specifications

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_9 ◽

2014 ◽

pp. 111-127 ◽

Author(s):

Dalal Alrajeh ◽

Robert Craven

Keyword(s):

Error Detection ◽

Software Specifications ◽

Compositional Software

Download Full-text

Formalizing DSL Semantics for Reasoning and Conformance Testing

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_7 ◽

2014 ◽

pp. 81-95 ◽

Author(s):

Sarmen Keshishzadeh ◽

Arjan J. Mooij

Keyword(s):

Conformance Testing

Download Full-text

More Flexible Object Invariants with Less Specification Overhead

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_25 ◽

2014 ◽

pp. 302-316 ◽

Author(s):

Stefan Huster ◽

Patrick Heckeler ◽

Hanno Eichelberger ◽

Jürgen Ruf ◽

Sebastian Burg ◽

...

Download Full-text

Lightweight Program Construction and Verification Tools in Isabelle/HOL

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_2 ◽

2014 ◽

pp. 5-19 ◽

Author(s):

Alasdair Armstrong ◽

Victor B. F. Gomes ◽

Georg Struth

Keyword(s):

Verification Tools ◽

Program Construction

Download Full-text

Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_13 ◽

2014 ◽

pp. 175-189 ◽

Author(s):

Reza Hajisheykhi ◽

Ali Ebnenasir ◽

Sandeep S. Kulkarni

Download Full-text