Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing composition » developing communication, developing positive
composition https » computation https, composition haptics, cognition https
https developing » hits developing, steps developing, crops developing
testing java » testing japan, detecting java, testing james
developing composition » developing communication, developing positive
composition https » computation https, composition haptics, cognition https
https developing » hits developing, steps developing, crops developing
testing java » testing japan, detecting java, testing james
1
Table of Contents:
“..., Aggregation and Composition -- Inheritance, Polymorphism and Interfaces -- Exception handling -- Unit Testing...”
View full text
View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... An Enterprise Software System Didn't Work As Planned -- Problems in the interplay of IS development...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... and Future -- Using B Machines for Model-Based Testing of Smartcard Software -- The Design of Spacecraft...”View full text
Electronic
eBook
4
Table of Contents:
“... -- Introducing the sample application. - Running the sample application -- Handy Development Tools -- Summary...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...”
View full text
View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Composition in Java-Like Languages -- The Meta in Meta-object Architectures -- An AsmL Semantics for Dynamic...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Analysis of Training Algorithms of Neural Networks: A Case Study of EEG Signal Classification using Java...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“...Symbolically Bounding the Drift in Time-Constrained MSC Graphs -- A Compositional Hierarchical...”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... Synthesis -- Shared Event Composition/Decomposition in Event-B -- ABS: A Core Language for Abstract...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... -- Properties of Behavioural Model Merging -- Automatic Translation from Circus to Java -- Quantitative...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...On Embedding Task Memory in Services Composition Frameworks -- A QoS Test-Bed Generator for Web...”View full text
Electronic
eBook
14
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
15
Published 2010
Table of Contents:
“... of Evolving Software -- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... for Propositional Projection Temporal Logic -- Web Services and Workflow -- A Semantic Model for Service Composition...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Bytecode -- Services -- A Service Composition Construct to Support Iterative Development -- Correlation...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“...: Testing of a New Distribution Strategy -- Workshop on Biomathematics, Bioinformatics and Biostatistics...”View full text
Electronic
eBook