MPG.eBooks - Search Results - "software engineers"

1

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering...

Published 2022

Springer Nature Switzerland

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

Read Now

2

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rho...

Published 2021

Springer International Publishing

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

Read Now

3

Software Process Improvement : 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

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

Read Now

4

Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice o...

Published 2001

Springer Berlin Heidelberg

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

Read Now

5

Leveraging Applications of Formal Methods, Verification and Validation : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

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

Read Now

6

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 20...

Published 2020

Springer International Publishing

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

Read Now

7

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 202...

Published 2020

Springer International Publishing

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

Read Now

8

Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice o...

by Margaria, Tiziana
Published 2001

Springer-Verlag Berlin Heidelberg

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

Read Now

9

Correct Hardware Design and Verification Methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

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

Read Now

10

Process Design for Natural Scientists : An Agile Model-Driven Approach

Published 2014

Springer Berlin Heidelberg

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

Read Now

11

Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octo...

Published 2021

Springer International Publishing

Table of Contents: “... to Enable Proper Software Engineering -- Time for All Programs, Not Just Real-Time Programs -- Integrated...”

Read Now

12

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Pro...

Published 2022

Springer Nature Switzerland

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

Read Now

13

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Published 1996

Springer Berlin Heidelberg

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

Read Now

14

Services and Visualization: Towards User-Friendly Design : ACos'98, VISUAL'98, AIN'97, Selected Papers

Published 1998

Springer Berlin Heidelberg

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

Read Now

15

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Published 2019

Springer International Publishing

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

Read Now

16

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2017

Springer Berlin Heidelberg

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

Read Now

17

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2017

Springer Berlin Heidelberg

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

Read Now

18

Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes,...

Published 2020

Springer International Publishing

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

Read Now

19

Services and Visualization: Towards User-Friendly Design : ACos'98, VISUAL'98, AIN'97, Selected Papers

by Margaria, Tiziana
Published 1998

Springer Berlin Heidelberg

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

Read Now

20

Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Published 2012

Springer Berlin Heidelberg

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

Narrow Search