Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: Computer Software / Validation
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"620 - Engineering & allied operations"
language:"English"
Showing
1
-
20
of
157
Search:
'Computer Software / Validation'
,
query time: 0.30s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Foundations of
software
and system performance engineering : process, performance modeling, requirements, testing, scalability, and practice
by
Bondi, André B.
Published 2015
Addison-Wesley
Table of Contents:
“
... -- Performance testing -- System understanding, model choice, and
validation
-- Scalability and performance...
”
Call Number:
QA76.9.E94
Read Now
2
Specification by example : how successful teams deliver the right software
by
Adzic, Gojko
Published 2011
Manning
Subjects:
“
...
Computer
software
/
Validation
/ fast...
”
Call Number:
QA76.76.D47
Read Now
3
Computer
Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I
by
Shoham, Sharon
Published 2022
Springer Nature
Subjects:
“
...
Software
Engineering...
”
Read Now
4
Business Standard Compliance and Requirements
Validation
Using Goal Models
by
Deb, Novarun
,
Chaki, Nabendu
Published 2020
Springer Nature Singapore
Subjects:
“
...
Computer
software
...
”
Read Now
5
Gradle beyond the basics
by
Berglund, Tim
Published 2013
O'Reilly
Subjects:
“
...
Computer
software
/
Validation
/ fast...
”
Call Number:
QA76.76.A65
Read Now
6
Computer
Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
by
Shoham, Sharon
Published 2022
Springer Nature
Subjects:
“
...
Software
Engineering...
”
Read Now
7
Software
testing : concepts and operations
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
...
”
Call Number:
QA76.76.T48
Read Now
8
Introducing Gradle
by
Varanasi, Balaji
Published 2015
Apress
Subjects:
“
...
Computer
software
/
Validation
/ fast...
”
Call Number:
QA76.76.D47
Read Now
9
Gradle in action
by
Muschko, Benjamin
Published 2014
Manning
Subjects:
“
...
Computer
software
/
Validation
/ fast...
”
Call Number:
QA76.76.V47
Read Now
10
Software
requirements
by
Wiegers, Karl Eugene
,
Beatty, Joy
Published 2013
Microsoft
Table of Contents:
“
...
Software
requirements: what, why, and who: The essential
software
requirement ; Requirements from...
”
Call Number:
QA76.76.D47
Read Now
11
Software
engineering : a methodical approach
by
Foster, Elvis C.
Published 2014
Apress
Table of Contents:
“
... Features of
Computer
Software
; 1.9 Summary and Concluding Remarks; 1.10 Review Questions; 1.11 References...
”
Call Number:
QA76.758
Read Now
12
Software
quality assurance
by
Laporte, Claude Y.
,
April, Alain
Published 2018
Wiley-IEEE Computer Society, Inc.
Table of Contents:
“
... Engineering Standards and Models -- Reviews --
Software
Audits -- Verification and
Validation
--
Software
...
”
Call Number:
QA76.76.Q35
Read Now
13
Software
engineering : architecture-driven software development
by
Schmidt, Richard F.
Published 2013
Morgan Kaufmann, an imprint of Elsevier
Table of Contents:
“
... Tasks --
Software
Verification and
Validation
Tasks -- Section 7.
Software
Integrated Product...
”
Call Number:
QA76.758
Read Now
14
Software
quality assurance : in large scale and complex software-intensive systems
Published 2016
Morgan Kaufmann
Table of Contents:
“
... Current Challenges and Future Directions of
Software
Quality; 1.7 Conclusion; References; 2...
”
Call Number:
QA76.76.Q35
Read Now
15
Software
Process Technology : 9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Talk -- Process Landscaping: From
Software
Process Modelling to Designing Mobile Business...
”
Read Now
16
Effective prototyping for
software
makers
by
Arnowitz, Jonathan
Published 2007
Elsevier
Table of Contents:
“
... the Design: the internal review -- 12:
Validate
and iterate the prototype -- 13: Deploy the design -- 14...
”
Call Number:
QA76.76.D47
Read Now
17
Visual models for
software
requirements
by
Beatty, Joy
Published 2012
Microsoft Press
Subjects:
“
...
Computer
software
/ Development / Management...
”
Call Number:
QA76.76.D47
Read Now
18
Managing
software
requirements : a use case approach
by
Leffingwell, Dean
Published 2003
Addison-Wesley
Table of Contents:
“
.... Requirements and the
software
cycle -- 4. The
software
team -- Team skill 1. Analyzing the problem: 5. The five...
”
Call Number:
QA76.76.D47
Read Now
19
The art of
software
modeling
by
Lieberman, Benjamin A.
Published 2007
Auerbach Publications
Table of Contents:
“
... Thinking; ; MODEL CONSTRUCTION; Research and Investigation; Model Forms; Data
Validation
; Business Workflow...
”
Call Number:
QA76.76.D47
Read Now
20
Software
design for six sigma : a roadmap for excellence
by
El-Haik, Basem
Published 2010
Wiley
Table of Contents:
“
... for
Software
Development --
Software
Design Verification and
Validation
-- Index...
”
Call Number:
QA76.76.Q35
1
2
3
4
5
6
7
8
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 620 - Engineering & allied operations
Clear Filter
Language: English
Year of Publication
From:
To:
Classification
620 - Engineering & allied operations
005 - Computer programming, programs & data
79
500 - Natural sciences & mathematics
39
658 - General management
20
331 - Labor economics
18
745 - Decorative arts
16
more ...
006 - Special computer methods
14
384 - Communications; telecommunication
13
004 - Data processing & computer science
9
000 - Computer science, information & general works
7
380 - Commerce, communications & transportation
7
600 - Technology
7
621 - Applied physics
7
700 - The arts; fine & decorative arts
7
333 - Economics of land & energy
6
330 - Economics
5
900 - History & geography
5
400 - Language
4
153 - Mental processes & intelligence
3
140 - Specific philosophical schools
2
302 - Social interaction
2
363 - Other social problems & services
2
510 - Mathematics
2
551 - Geology, hydrology & meteorology
2
720 - Architecture
2
001 - Knowledge
1
003 - Systems
1
170 - Ethics
1
300 - Social sciences
1
332 - Financial economics
1
370 - Education
1
374 - Adult education
1
410 - Linguistics
1
519 - Probabilities & applied mathematics
1
540 - Chemistry & allied sciences
1
576 - Genetics & evolution
1
580 - Plants (Botany)
1
610 - Medicine & health
1
615 - Pharmacology & therapeutics
1
624 - Civil engineering
1
629 - Other branches of engineering
1
657 - Accounting
1
667 - Cleaning, color & coating technologies
1
670 - Manufacturing
1
920 - Biography, genealogy & insignia
1
see all ...
less ...
Language
English
Collection
O'Reilly
117
Springer eBooks 2005-
18
Directory of Open Access Books
11
Springer Book Archives -2004
9
OAPEN
2
Author
Groeneveld, Wouter
3
Beatty, Joy
2
Doglio, Fernando
2
Esposito, Dino
2
Holmes, Joel
2
Mistrík, Ivan
2
more ...
Schwartz, Ezra
2
Shoham, Sharon
2
Singh, Shamsher Bahadur
2
Vermesan, Ovidiu
2
Vizel, Yakir
2
Wilson, Ben
2
Adzic, Gojko
1
Alavi, Amir
1
Ali, Nour
1
Allix, Olivier
1
Amouzegar, Mahyar A.
1
Anandakrishnan, Sridhar
1
Anwar, Naveed
1
Ao, Sio-long
1
April, Alain
1
Arent, Michael
1
Arnowitz, Jonathan
1
Artigao, Estefania
1
Aziz-Alaoui, Moulay
1
Bacquet, Joël
1
Barai, Sudhirkumar V.
1
Barga, Roger
1
Belida, Sudha
1
Berger, Nevin
1
Berglund, Tim
1
Bernard, Alain
1
Bertelle, Cyrille
1
Blume, Holger
1
Bondi, André B.
1
Briola, Daniela
1
Brown, Pete
1
Buelta, Jaimie
1
Bugeda, Gabriel
1
Bugnion, Pascal
1
Bull, J.W.
1
Campbell, Chad A.
1
Cardoso, Rafael C.
1
Castro-Leon, Enrique
1
Chaganti, Ravikanth
1
Chaki, Nabendu
1
Chatzichristofis, Savvas A.
1
Chaudhary, Mukund
1
Chaviaropoulos, Panagiotis K.
1
Chawla, Himanshu
1
Chedmail, Patrick
1
Chen, Anthony
1
Chen, Wei-Hsin
1
Chen, Zhi Ning
1
Chia, Michael Y. W.
1
Chisholm, Malcolm
1
Choi, Byoung K.
1
Chopra, Abhishek
1
Chowdhary, Ankush
1
Ciliberti, John
1
Cody, Ronald P.
1
Cognet, Gérard
1
CompIMAGE 2012 (2012, Rome, Italy)
1
Corchado, Juan M.
1
Cosmina, Iuliana
1
Costea, Liviu
1
Cross, M.
1
Culaba, Alvin B.
1
D'Ambrogio, Andrea
1
D'Souza, Martin Giffy
1
De Prada, Cesar
1
De la Prieta, Fernando
1
Deb, Novarun
1
Del Sole, Alessandro
1
Di Giamberardino, Paolo
1
Diogenes, Yuri
1
Dixit, Uday Shanker
1
Doar, Matthew
1
Douglass, Bruce Powel
1
Duarte, Alejandro
1
Duffield, Matthew
1
Economakis, Spiros
1
El-Haik, Basem
1
Erder, Murat
1
Fahy, F.J.
1
Feiler, Jesse
1
Feiler, Peter H.
1
Ferrando, Angelo
1
Fisher, Charles R.
1
Flewelling, Paul
1
Fontama, Valentine
1
Fortin, Clément
1
Foster, Elvis C.
1
Friedman, Shay
1
Friess, Peter
1
Furtado, Daniel
1
Gackenheimer, Cory
1
Garofalo, Raffaele
1
Geetha, K.
1
Gianni, Daniele
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22620+-+Engineering+%26+allied+operations%22&filter%5B%5D=language%3A%22English%22&lookfor=Computer+Software+%2F+Validation&type=AllFields
Send by Email
×
Loading...