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
Showing
101
-
120
of
2,266
Search:
'Computer Software / Validation'
,
query time: 0.39s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
101
Software
Engineering with
Computational
Intelligence
Published 2003
Springer US
Table of Contents:
“
... Estimations -- 2. Applying Fuzzy Logic Modeling to
Software
Project Management -- 3. Integrating Genetic...
”
Read Now
102
Methods and Procedures for the Verification and
Validation
of Artificial Neural Networks
Published 2006
Springer US
Table of Contents:
“
...Background of the Verification and
Validation
of Neural Networks -- Augmentation of Current...
”
Read Now
103
Software
Composition : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
...Language Design for Meta-programming in the
Software
Composition Domain -- Putting Traits...
”
Read Now
104
Software
Architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
...Composition-Centered Architectural Pattern Description Language --
Software
Reference Architectures...
”
Read Now
105
Software
Architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
... for
Software
Reference Architectures -- RA-Ubi: A Reference Architecture for Ubiquitous
Computing
--...
”
Read Now
106
Software
-Ergonomie ’97 : Usability Engineering: Integration von Mensch-Computer-Interaktion und Software-Entwicklung
Published 1997
Vieweg+Teubner Verlag
Table of Contents:
“
...
Software
-Ergonomie-Ausbildung -- Metaphern für interaktives Fernsehen — Eine Fallstudie mit Endbenutzern...
”
Read Now
107
Software
Architecture : Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... Prototyping in Industrial Practice -- An Iterative Framework for
Software
Architecture Recovery: An Experience...
”
Read Now
108
Managing
Software
Quality : A Measurement Framework for Assessment and Prediction
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...
”
Read Now
109
Validation
in Chemical Measurement
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... of
software
and
computer
systems in laboratories -- Qualification and
validation
of
software
and
computer
...
”
Read Now
110
Software
Architecture : First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
...Keynotes --
Software
Architectures for Task-Oriented
Computing
-- An Active Architecture Approach...
”
Read Now
111
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
112
Testing
Software
and Systems : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings
Published 2022
Springer International Publishing
Table of Contents:
“
... and
validation
of numerical algorithms with the Gradual Contracts Pattern -- Solving the instance identi cation...
”
Read Now
113
Numerical
Computation
1 : Methods, Software, and Analysis
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
...
”
Read Now
114
Software
Engineering : Proceedings of CSI 2015
Published 2019
Springer Nature Singapore
Table of Contents:
“
... - Factored Cost and Code Coverage Based Test Case Prioritization Technique for Object Oriented
Software
...
”
Read Now
115
Software
Composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
Published 2013
Springer Berlin Heidelberg
Subjects:
“
...
Computer
Science Logic and Foundations of Programming...
”
Read Now
116
Models in
Software
Engineering : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers
Published 2012
Springer Berlin Heidelberg
Subjects:
“
...Compilers (
Computer
programs)...
”
Read Now
117
Software
Language Engineering : Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009 Revised Selected Papers
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... Management in
Software
Product Lines -- Multi-view Composition Language for
Software
Product Line...
”
Read Now
118
Testing
Software
and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... search-based testing strategies for ADAS System
Validation
-- Testing and Verification Techniques...
”
Read Now
119
Experimentation in
Software
Engineering : An Introduction
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...
”
Read Now
120
Software
Engineering 3 : Domains, Requirements, and Software Design
by
Bjørner, Dines
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... Engineering Process Model --
Computing
Systems Design -- Hardware/
Software
Codesign --
Software
Architecture...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
1,038
006 - Special computer methods
361
004 - Data processing & computer science
293
620 - Engineering & allied operations
148
500 - Natural sciences & mathematics
111
658 - General management
109
more ...
331 - Labor economics
104
621 - Applied physics
86
040 - [Unassigned]
80
003 - Systems
71
600 - Technology
60
745 - Decorative arts
52
330 - Economics
42
000 - Computer science, information & general works
37
519 - Probabilities & applied mathematics
34
374 - Adult education
27
670 - Manufacturing
26
384 - Communications; telecommunication
21
025 - Library operations
19
518 - Numerical analysis
19
610 - Medicine & health
19
629 - Other branches of engineering
18
570 - Life sciences; biology
15
300 - Social sciences
14
700 - The arts; fine & decorative arts
11
302 - Social interaction
10
333 - Economics of land & energy
10
001 - Knowledge
9
380 - Commerce, communications & transportation
9
153 - Mental processes & intelligence
8
338 - Production
8
363 - Other social problems & services
8
371 - Schools & their activities; special education
8
381 - Commerce
7
510 - Mathematics
7
515 - Analysis
7
551 - Geology, hydrology & meteorology
6
364 - Criminology
5
511 - General principles of mathematics
5
615 - Pharmacology & therapeutics
5
900 - History & geography
5
332 - Financial economics
4
400 - Language
4
540 - Chemistry & allied sciences
4
550 - Earth sciences
4
616 - Diseases
4
650 - Management & auxiliary services
4
140 - Specific philosophical schools
3
370 - Education
3
401 - Philosophy & theory
3
520 - Astronomy & allied sciences
3
571 - Physiology & related subjects
3
572 - Biochemistry
3
720 - Architecture
3
910 - Geography & travel
3
030 - General encyclopedic works
2
303 - Social processes
2
543 - Analytical chemistry
2
576 - Genetics & evolution
2
577 - Ecology
2
581 - Specific topics in natural history
2
624 - Civil engineering
2
657 - Accounting
2
660 - Chemical engineering
2
794 - Indoor games of skill
2
011 - Bibliographies
1
020 - Library & information sciences
1
051 - Serials in American English
1
057 - Serials in Slavic languages
1
062 - Organizations in British Isles; in England
1
111 - Ontology
1
155 - Differential & developmental psychology
1
158 - Applied psychology
1
160 - Logic
1
170 - Ethics
1
301 - Sociology & anthropology
1
304 - Factors affecting social behavior
1
307 - Communities
1
320 - Political science
1
321 - Systems of governments & states
1
323 - Civil & political rights
1
327 - International relations
1
368 - Insurance
1
378 - Higher education
1
410 - Linguistics
1
501 - Philosophy & theory
1
512 - Algebra
1
516 - Geometry
1
526 - Mathematical geography
1
532 - Fluid mechanics; liquid mechanics
1
534 - Sound & related vibrations
1
539 - Modern physics
1
541 - Physical chemistry
1
542 - Techniques, equipment & materials
1
580 - Plants (Botany)
1
614 - Incidence & prevention of disease
1
630 - Agriculture & related technologies
1
667 - Cleaning, color & coating technologies
1
808 - Rhetoric & collections of literature
1
920 - Biography, genealogy & insignia
1
see all ...
less ...
Language
English
2,201
German
17
Polish
2
Spanish
2
Undetermined
2
French
1
Collection
Springer eBooks 2005-
1,179
O'Reilly
586
Springer Book Archives -2004
420
IEEE Conference Proceedings
31
Directory of Open Access Books
21
IEEE Standards
9
more ...
JSTOR Open Access Books
3
RSC eBook Collection 1968-2009
3
ACS Symposium Series
2
Cambridge Books Online
2
Elsevier ScienceDirect eBooks
2
OAPEN
2
DeGruyter MPG Collection
1
Henry Stewart Talks
1
Lecture Notes in Computer Science
1
MIT Press eBook Archive
1
National Center for Biotechnology Information
1
Wiley Online Books
1
see all ...
less ...
Author
Margaria, Tiziana
28
Steffen, Bernhard
24
Romanovsky, Alexander
9
Bonsangue, Marcello M.
8
Demazeau, Yves
8
Abramowicz, Witold
7
more ...
Börger, Egon
7
Camarinha-Matos, Luis M.
7
Flusser, Jan
7
Singh, Mayank
7
Tyagi, Vipin
7
Cosmina, Iuliana
6
Filipe, Joaquim
6
Graf, Susanne
6
Jensen, Kurt
6
Liu, Shaoying
6
Nurcan, Selmin
6
Schewe, Klaus-Dieter
6
Zhang, Lin
6
de Boer, Frank S.
6
Broy, Manfred
5
Butler, Michael
5
Dignum, Frank
5
Dongarra, Jack J.
5
Duan, Zhenhua
5
Gupta, P. K.
5
Harrop, Rob
5
Kopetz, Hermann
5
Krzhizhanovskaya, Valeria V.
5
Marwedel, Peter
5
Meersman, Robert
5
Packt Publishing
5
Rozenberg, Grzegorz
5
Schaefer, Chris
5
Singh, Pramod
5
Tari, Zahir
5
Troubitsyna, Elena
5
Xiao, Tianyuan
5
Bitsch, Friedemann
4
Desel, Jörg
4
Dillon, Tharam
4
Dumke, Reiner
4
Fei, Minrui
4
Gacek, Cristina
4
Hammoudi, Slimane
4
Herrero, Pilar
4
Ho, Clarence
4
Huisman, Marieke
4
Kleinjohann, Bernd
4
König, Hartmut
4
Mohanty, Hrushikesha
4
Nguyen, Ngoc Thanh
4
Ortmeier, Frank
4
Pérez-Castillo, Ricardo
4
Reisig, Wolfgang
4
Selic, Bran
4
Shoham, Sharon
4
Sirjani, Marjan
4
Slager, David
4
Troelsen, Andrew
4
Vizel, Yakir
4
Weinmeister, Philip
4
de Roever, Willem-Paul
4
Özsu, M. Tamer
4
Abran, Alain
3
Araki, Keijiro
3
Arbab, Farhad
3
Bajo Pérez, Javier
3
Bajo, Javier
3
Baresi, Luciano
3
Bellatreche, Ladjel
3
Bouabana-Tebibel, Thouraya
3
Bouzeghoub, Mokrane
3
Bowen, Jonathan P.
3
Calinescu, Radu
3
Chen, Jessie Y. C.
3
Corchado, Juan Manuel
3
De Sanctis, Valerio
3
De la Prieta, Fernando
3
Dhurandher, Sanjay Kumar
3
Downey, Tim
3
Fantechi, Alessandro
3
Felici, Massimo
3
Fitzgerald, John
3
Fragomeni, Gino
3
Garoufallou, Emmanouel
3
Gelbukh, Alexander
3
Gnesi, Stefania
3
Good, Phillip I.
3
Groeneveld, Wouter
3
Groote, Jan Friso
3
Große, Daniel
3
Helfert, Markus
3
International Business Machines Corporation
3
Joshi, Bipin
3
Kleinjohann, Lisa
3
Koutny, Maciej
3
Kranzlmüller, Dieter
3
Krogstie, John
3
Krüger, Ingolf
3
see all ...
less ...
Recently Uploaded
Last Month
6
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=6&lookfor=Computer+Software+%2F+Validation&type=AllFields
Send by Email
×
Loading...