141
by Lelek, Tomasz, Skeet, Jonathan
Published 2022
Manning Publications
Subjects: ...Computer software / Development / http://id.loc.gov/authorities/subjects/sh85029535...

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

143
Published 2014
Springer International Publishing
Table of Contents: ...Design of resilient systems -- Analysis of resilience -- Verification and validation -- Monitoring...

144
by Rozanski, Nick
Published 2012
Addison-Wesley
Subjects: ...Computer software / Development / http://id.loc.gov/authorities/subjects/sh85029535...

145
Published 2015
Springer International Publishing
Table of Contents: ... Techniques in Software R&D: A Literature Review -- Towards Continuous Customer Validation: A Conceptual Model...

146
Published 2017
Springer International Publishing
Table of Contents: ...Software Startups and Platform Governance -- How Are Product Ideas Validated? The Process from...

147
Published 2019
Springer International Publishing
Table of Contents: ... Strategy: A Multiple Case Study on Success Factors -- Enabling Circular Economy with Software: A Multi...

148
by Wiegers, Karl Eugene, Beatty, Joy
Published 2013
Microsoft
Table of Contents: ...Software requirements: what, why, and who: The essential software requirement ; Requirements from...

149
Published 2004
Springer London
Table of Contents: ... -- 2.4 Detailed Design -- 2.5 Production -- 2.6 Tuning and Validation -- 2.7 Case Studies -- 2.8...

150
by Morazán, Marco T.
Published 2024
Springer Nature Switzerland
Subjects: ...Software engineering...

151
Published 2014
Springer Berlin Heidelberg
Table of Contents: ... for Software Validation -- Behavioral Rewrite Systems and Behavioral Productivity -- Functional Logic...

152
Published 2008
Springer Berlin Heidelberg
Table of Contents: ...-WS: A Methodology for Specifying and Validating Web Service Compositions -- Software Technology...

153
by Varanasi, Balaji
Published 2015
Apress
Subjects: ...Computer software / Validation / fast...

154
by Börger, Egon, Gervasi, Vincenzo
Published 2024
Springer International Publishing
Table of Contents: ...Preface -- Part I Computational Paradigms: Definition -- Part II Computational Paradigms: Analysis...

155
Published 2007
Springer Berlin Heidelberg
Table of Contents: ...-Based Collaborative Verification and Validation of Web Services -- Towards Composing Software Components...

156
Published 2010
Springer Berlin Heidelberg
Table of Contents: ...Invited Speaker -- Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization...

157
Published 2017
Springer International Publishing
Table of Contents: ...Verification and validation -- Software engineering -- Formal specification and modeling -- Software...

158
Published 2016
Springer International Publishing
Table of Contents: ... -- Formal verification -- Model checking -- Formal approaches to software testing and inspection -- Formal...

159
Published 2015
Springer International Publishing
Table of Contents: ... -- On the Testability of Properties Patterns -- Certification -- Speed Up Configurable Certificate Validation...

160
Published 2015
Springer International Publishing
Table of Contents: ...Biological Immunity and Software Resilience: two faces of the same coin? -- Towards Dynamic...