1
Published 2014
Table of Contents: ... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...
View full text
Electronic eBook
3
by Klawonn, Frank., Klawonn, Frank.
Published 2008
Subjects: ...Optical data processing....
View full text
Electronic eBook
4
Published 2008
Table of Contents: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
View full text
Electronic eBook
5
Published 2012
Table of Contents: ... -- Simulation of Flexible Objects in Robotics -- Continuous Integration for Iterative Validation of Simulated...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... as an Integration Concept -- Engineering Object and Agent Methodologies -- I: Programming Languages -- From Static...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ..., Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs...
View full text
Electronic eBook
10
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
11
Published 2013
Table of Contents: ... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... -- An Evaluation of the Effectiveness of the Atomic Section Model -- Model Transformation 1 -- Parsing in a Broad...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...
View full text
Electronic eBook
14
by Vohra, Deepak., Vohra, Deepak.
Published 2008
Table of Contents: ...What is Ajax? -- Developing an Ajax Web Application -- Less JavaScript with Prototype -- Ajax...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ...Part: Keynote -- Software Quality Assurance by Static Program Analysis -- Part: Software Process...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... -- Frameworks and Platforms for e-Learning -- A Virtual Laboratory Platform Based on Integration of Java...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...
View full text
Electronic eBook