Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming validation » programming validating, programming evaluation, programming animation
developing computing » developing competent, developing computer, developing coping
validation https » evaluation https, animation https, visualization https
https developing » hits developing, steps developing, crops developing
programming validation » programming validating, programming evaluation, programming animation
developing computing » developing competent, developing computer, developing coping
validation https » evaluation https, animation https, visualization https
https developing » hits developing, steps developing, crops developing
1
Table of Contents:
“...Preface -- Introduction -- Managing Verification and Validation -- The Axioms of Leadership...”
View full text
View full text
Electronic
eBook
2
by Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Published 2005
Table of Contents:
“...Models and Software Development -- Building a Model in VDM++: An Overview -- VDM++ Tool Support...”Published 2005
View full text
Electronic
eBook
3
Table of Contents:
“.... Validity in Framing an Evaluation’s Purpose and Questions -- Chapter 4. Validity in Evaluation Designs...”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Microcontrollers in Safety-Critical Automotive Applications -- Timing Validation of Automotive Software -- Model...”View full text
Electronic
eBook
5
by Debbabi, Mourad., Debbabi, Mourad., Hassaïne, Fawzi., Jarraya, Yosr., Soeanu, Andrei., Alawneh, Luay.
Published 2010
Table of Contents:
“... -- Systems Modeling Language -- Verification, Validation, and Accreditation -- Automatic Approach...”Published 2010
View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“... Development.- Formal Methods for Intelligent Transportation Systems.- Model-Driven V&V Processes for Computer...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... review -- Validation of a computer program for atomic absorption analysis -- Instrumental validation...”View full text
Electronic
eBook
14
15
Table of Contents:
“... -- Model, View Controller -- Required Validation -- Saving a Bean to a Database -- HTML Information...”
View full text
View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Computing -- Position Papers -- Tools for Developing Large Systems (A Proposal) -- Why Programming Languages...”View full text
Electronic
eBook
17
Table of Contents:
“... and Validation -- User Communications -- Working with Video -- Advertising and Flex -- Building out New Features...”
View full text
View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... -- An Instrumentation-Based Approach to Controller Model Validation -- TestML - A Test Exchange Language for Model-Based...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Robots -- Programming -- A Software Platform for Component Based RT-System Development: OpenRTM-Aist -- A...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook