MPG.eBooks - Search Results

1

Formal Methods and Software Engineering...

Published 2008

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Read Now

2

Formal Methods and Software Engineering...

Published 2016

Springer International Publishing

Table of Contents: “... -- Formal verification -- Model checking -- Formal approaches to software testing and inspection -- Formal...”

Read Now

3

Formal Engineering for Industrial Software Development : Using the SOFL Method

by Liu, Shaoying
Published 2004

Springer Berlin Heidelberg

Table of Contents: “... -- 13 Classes -- 14 The Software Development Process -- 15 Approaches to Constructing Specifications...”

Read Now

4

Mathematics in Software Reliability and Quality Assurance

by Dohi, Tadashi
Published 2022

MDPI - Multidisciplinary Digital Publishing Institute

Subjects: “...software reliability...”

Read Now

5

Agile-SOFL : Agile Formal Engineering Method

by Liu, Shaoying
Published 2024

Springer Nature Singapore

Subjects: “...Software engineering...”

Read Now

6

Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

Published 2018

Springer International Publishing

Subjects: “...Software engineering...”

Read Now

7

Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Published 2020

Springer International Publishing

Table of Contents: “... and abstraction -- A Formal Technique for Concurrent Generation of Software Functional and Security Requirements...”

Read Now

8

Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Published 2017

Springer International Publishing

Subjects: “...Software engineering...”

Read Now

9

Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Published 2016

Springer International Publishing

Subjects: “...Software engineering...”

Read Now

10

Structured Object-Oriented Formal Language and Method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Published 2015

Springer International Publishing

Table of Contents: “... Specification -- Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications...”

Read Now

11

Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Published 2014

Springer International Publishing

Table of Contents: “... Approach to Service-based Software Modeling -- A Supporting Tool for Syntactic Analysis of SOFL Formal...”

Read Now

12

Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Published 2019

Springer International Publishing

Subjects: “...Software engineering...”

Read Now

13

Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

Published 2021

Springer International Publishing

Subjects: “...Software engineering...”

Read Now

14

Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Published 2023

Springer International Publishing

Subjects: “...Software engineering...”

Read Now

15

Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Published 2013

Springer Berlin Heidelberg

Subjects: “...Software engineering...”

Narrow Search