1
by Brooks, David R., Brooks, David R.
Published 2011
Table of Contents: ... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Performance Development -- A Test-Driven Approach for Model-Based Development of Powertrain Functions -- Part...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... and Morphology -- Video Watermarking Scheme Resistant to Rotation and Collusion Attacks -- Development...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ..., Probabilistic, and Stochastic Processes -- Toward a Game-Theoretic Model of Grid Systems -- Functions...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... -- Here’s Your LegoTM Security Kit: How to Give Developers All Protection Mechanisms They Will Ever Need...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... for Ubiquitous Business Processing -- Context Management in Event Marketplaces -- SDDS based Hierarchical DHT...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Sixth Model-Driven Web Engineering Workshop (MDWE) -- Rapid Development of Composite Applications...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Applications in Java 2 Micro Edition -- Pitfalls of Agent System Development on the Basis of a Travel Support...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
View full text
Electronic eBook
15
Published 2011
Table of Contents: ...From the content: Patterns improving the Common Criteria compliant IT security development process...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Virtual Environment -- System Development by Process Integrated Knowledge Management -- An Application...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... -- The Guided System Development Framework: Modeling and Verifying Communication Systems -- Processes and Data...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Polymorphically Typed Functional Languages -- Lattice Automata: A Representation for Languages on Infinite...
View full text
Electronic eBook