Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs validation » program validation, program vilidation, programs evaluation
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
validation https » evaluation https, animation https, visualization https
using https » using http, nursing https, aging https
programs validation » program validation, program vilidation, programs evaluation
https functionality » its functionality, bags functionality, cross functionality
functionality using » functionality business, functionality design, functioning using
validation https » evaluation https, animation https, visualization https
using https » using http, nursing https, aging https
1
by Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Published 2005
Table of Contents:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Published 2005
View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...-functional Avionics Requirements -- A Simulation Approach for Performance Validation during Embedded Systems...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns -- Seamless Model-Driven...”View full text
Electronic
eBook
5
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
6
Published 2006
Table of Contents:
“...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”View full text
Electronic
eBook
11
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...-organized Learning in Software Factory: Experiences and Lessons Learned -- Part Methods and Metrics -- Using...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... of Functional Form in Multiple Regression Using R -- Fitting Multinomial Models in R: A Program Based on Bock#x...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... – An Algorithmic Approach -- Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”View full text
Electronic
eBook
19
Published 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”View full text
Electronic
eBook