1
by Parsons, David., Parsons, David.
Published 2012
Table of Contents: ..., Aggregation and Composition -- Inheritance, Polymorphism and Interfaces -- Exception handling -- Unit Testing...
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
Electronic eBook
5
Table of Contents: ...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...
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