1
Published 2004
Springer US
Table of Contents: ...1. Perspectives on Software Requirements: An Introduction -- 2. Ambiguity in Requirements...

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- Abstraction in Software Model Checking: Principles and Practice -- Software Model Checking -- Symmetry...

3
Published 2005
Springer London
Subjects: ...Software engineering...

4
by Milmeister, Gérard
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... -- Software Components for Computational Theories -- Historical Overview -- The Implementation -- Overview...

5
Published 2009
Springer London
Subjects: ...Software engineering...

6
by Schmidt, Alfred, Siebert, Kunibert G.
Published 2005
Springer Berlin Heidelberg
Subjects: ...Software engineering...

7
by Guida, G., Lamperti, G., Zanella, Marina
Published 1999
Springer Netherlands
Table of Contents: ...1 The Prototyping Approach to Software Development -- 1.1 Linear Software Development -- 1.2...

8
by Post, D. E., Kendall, Richard P.
Published 2022
Addison-Wesley
Subjects: ...Prototypes, Engineering / Design / Software...

9
Published 2016
Springer International Publishing
...-performance computing (HPC) software and its development which is confronted with various challenges as today...

10
by Papajorgji, Petraq J., Pardalos, Panos M.
Published 2014
Springer US
Subjects: ...Software engineering...

11
Published 2020
Springer International Publishing
... of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG...

12
Published 2017
Springer International Publishing
Subjects: ...Computer software...

13
by Friedrich, Jürgen
Published 2004
Springer Berlin Heidelberg
Subjects: ...Software engineering...

14
by Schwerin, Reinhold von
Published 1999
Springer Berlin Heidelberg
Table of Contents: ...0 Introduction -- 1 Multibody Systems in Technical Mechanics -- 2 Software Engineering...

15
by Frank, Steven A.
Published 2018
Springer International Publishing
... by detailed examples and graphics. The full software code for each example is available, providing the basis...

16
by Gonzalez-Perez, Cesar
Published 2018
Springer International Publishing
Subjects: ...Software engineering...

17
Published 2011
Springer New York
Table of Contents: ... System -- Part IV Software for Bond Graph Modelling and Simulation -- Chapter 11: Automating the Process...

18
by Langtangen, Hans Petter, Linge, Svein
Published 2017
Springer International Publishing
Table of Contents: ... -- Nonlinear problems -- Useful formulas -- Truncation error analysis -- Software engineering: wave equation...

19
Published 2023
Atlantis Press
Subjects: ...Software engineering...