MPG.eBooks - Search Results

1

Engineering of Computer-Based Systems : 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings

Published 2024

Springer Nature Switzerland

Table of Contents: “...Towards LLM-based System Migration in Language-Driven Engineering -- Synthesizing Understandable...”

Read Now

2

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles...

Published 2020

Springer International Publishing

Table of Contents: “...Automating Software Re-Engineering (Introduction to the ISoLA 2020 Track) -- Formal Verification...”

Read Now

3

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

Published 2022

Springer Nature Switzerland

Table of Contents: “...Programming - What is Next: The Role of Documentation -- Automated Software Re-Engineering -- DIME...”

Read Now

4

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

Table of Contents: “... -- Engineering of Digital Twins for Cyber-Physical Systems -- Understanding Digital Twins for Cyber-Physical...”

Read Now

5

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

6

Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part...

Published 2018

Springer International Publishing

Table of Contents: “... Introduction to Language-Driven Engineering -- Tutorial: an Overview of Malware Detection and Evasion...”

Read Now

7

Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, P...

Published 2018

Springer International Publishing

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

Read Now

8

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceed...

Published 2018

Springer International Publishing

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

Read Now

9

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceed...

Published 2018

Springer International Publishing

Table of Contents: “... -- Cyber-Physical Systems Engineering: An Introduction -- Intelligent Adaption Process in Cyber-Physical...”

Read Now

10

Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

Published 1995

Springer Berlin Heidelberg

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

Read Now

11

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

12

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

13

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

14

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

15

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

Table of Contents: “... (Work in Progress) -- Information System Engineering Supporting Observation, Orientation, Decision...”

Read Now

16

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

17

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

18

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

Table of Contents: “... by Compositional Model Checking -- Proof Engineering in the Large: Formal Verification of Pentium®4 Floating-Point...”

Read Now

19

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

Published 2014

Springer Berlin Heidelberg

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

Read Now

20

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

by Margaria, Tiziana
Published 2001

Springer-Verlag Berlin Heidelberg

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

Narrow Search