MPG.eBooks - Search Results - "Software Engineering."

Cover Image

1

Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Ad...

Published 2013

Springer Berlin Heidelberg

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

Cover Image

2

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Published 2013

Springer Berlin Heidelberg

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

Cover Image

3

Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

Published 2021

Springer International Publishing

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

Cover Image

4

Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

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

Cover Image

5

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

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

Cover Image

6

Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Published 2006

Springer Berlin Heidelberg

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

Cover Image

7

Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

by Dong, Jin Song
Published 2003

Springer Berlin Heidelberg

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

Cover Image

8

Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Published 2009

Springer Berlin Heidelberg

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

Cover Image

9

Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Published 2007

Springer Berlin Heidelberg

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

Cover Image

10

FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

by Wing, Jeannette M
Published 1999

Springer-Verlag Berlin Heidelberg

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

Cover Image

11

Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Published 2007

Springer Berlin Heidelberg

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

Cover Image

12

FM’99 — Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

by Wing, Jeannette M
Published 1999

Springer-Verlag Berlin Heidelberg

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

Cover Image

13

Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

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

Cover Image

14

Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Published 2008

Springer Berlin Heidelberg

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