101
Published 2003
Springer US
Table of Contents: ... Estimations -- 2. Applying Fuzzy Logic Modeling to Software Project Management -- 3. Integrating Genetic...

102
Published 2006
Springer US
Table of Contents: ...Background of the Verification and Validation of Neural Networks -- Augmentation of Current...

103
Published 2009
Springer Berlin Heidelberg
Table of Contents: ...Language Design for Meta-programming in the Software Composition Domain -- Putting Traits...

104
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...Composition-Centered Architectural Pattern Description Language -- Software Reference Architectures...

105
Published 2014
Springer International Publishing
Table of Contents: ... for Software Reference Architectures -- RA-Ubi: A Reference Architecture for Ubiquitous Computing --...

106
Published 1997
Vieweg+Teubner Verlag
Table of Contents: ... Software-Ergonomie-Ausbildung -- Metaphern für interaktives Fernsehen — Eine Fallstudie mit Endbenutzern...

107
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Prototyping in Industrial Practice -- An Iterative Framework for Software Architecture Recovery: An Experience...

108
by Nance, Richard E., Arthur, James D.
Published 2002
Springer London
Table of Contents: ... and Quality Measurement -- 8.4 The Quality Database and Validity of Indicators -- 9. Software Quality: Views...

109
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... of software and computer systems in laboratories -- Qualification and validation of software and computer...

110
Published 2007
Springer Berlin Heidelberg
Table of Contents: ...Keynotes -- Software Architectures for Task-Oriented Computing -- An Active Architecture Approach...

111
by Mili, Ali
Published 2015
John Wiley & Sons Inc.
Table of Contents: ...; 2.7 EXERCISES; 2.8 BIBLIOGRAPHIC NOTES; Chapter 3 A Software Testing Lifecycle; 3.1 A SOFTWARE...

112
Published 2022
Springer International Publishing
Table of Contents: ... and validation of numerical algorithms with the Gradual Contracts Pattern -- Solving the instance identi cation...

113
by Ueberhuber, Christoph W.
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... The Mathematical Elements of Condition Estimation -- 2.7 Validation of Numerical Computations -- 3 Computers...

114
Published 2019
Springer Nature Singapore
Table of Contents: ... - Factored Cost and Code Coverage Based Test Case Prioritization Technique for Object Oriented Software...

115
Published 2013
Springer Berlin Heidelberg
Subjects: ...Computer Science Logic and Foundations of Programming...

116
Published 2012
Springer Berlin Heidelberg
Subjects: ...Compilers (Computer programs)...

117
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Management in Software Product Lines -- Multi-view Composition Language for Software Product Line...

118
Published 2019
Springer International Publishing
Table of Contents: ... search-based testing strategies for ADAS System Validation -- Testing and Verification Techniques...

119
by Wohlin, Claes, Runeson, Per, Höst, Martin, Ohlsson, Magnus C.
Published 2000
Springer US
Table of Contents: ...1 Introduction -- 1.1 Software engineering context -- 1.2 Science and software engineering -- 2...

120
by Bjørner, Dines
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Engineering Process Model -- Computing Systems Design -- Hardware/Software Codesign -- Software Architecture...