1
Pubblicazione 2010
Sommario: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ... -- Symbolic Execution of Acyclic Workflow Graphs -- Structuring Acyclic Process Models -- A New Semantics...
Testo
Elettronico eBook
3
Pubblicazione 2015
Sommario: ... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...
Testo
Elettronico eBook
4
Pubblicazione 2010
Sommario: ... Environment with MetaModeling, Interoperability, and Parallel Execution -- Simulation -- Blender for Robotics...
Testo
Elettronico eBook
5
Pubblicazione 2006
Sommario: ... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...
Testo
Elettronico eBook
6
di Gries, David., Gries, David., Gries, Paul.
Pubblicazione 2005
Sommario: ... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...
Testo
Elettronico eBook
7
Pubblicazione 2005
Sommario: ... Tracking Homotopy Iteration Method -- Fast Stereo Matching Method Using Edge Traction -- Hybrid Color Image...
Testo
Elettronico eBook
8
Pubblicazione 2007
Sommario: ... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...
Testo
Elettronico eBook
9
Pubblicazione 2005
Sommario: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
Testo
Elettronico eBook
10
Pubblicazione 2006
Sommario: ... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...
Testo
Elettronico eBook
11
Pubblicazione 2010
Sommario: ...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...
Testo
Elettronico eBook
12
Pubblicazione 2005
Sommario: ... in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming...
Testo
Elettronico eBook
13
Pubblicazione 2006
Sommario: ... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...
Testo
Elettronico eBook
14
Pubblicazione 2012
Sommario: ....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...
Testo
Elettronico eBook
15
Pubblicazione 2012
Sommario: ....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...
Testo
Elettronico eBook
16
Pubblicazione 2006
Sommario: ... Cluster Job Execution -- Glue Code Synthesis for Distributed Software Programming -- Interactive...
Testo
Elettronico eBook
17
Pubblicazione 2010
Sommario: ... -- Automated Translation and Analysis of a ToolBus Script for Auctions -- Executable Interface Specifications...
Testo
Elettronico eBook
18
di Sanghera, Paul., Sanghera, Paul.
Pubblicazione 2006
Sommario: ... and Operators -- Classes, Methods, and Interfaces -- Java Language Fundamentals -- Object-Oriented Programming...
Testo
Elettronico eBook
19
Pubblicazione 2008
Sommario: ... Distributed Ontological Approach as a Basis for Software in the Context of Academic Programs -- Systems...
Testo
Elettronico eBook
20
Pubblicazione 2005
Sommario: ... Tracking Using Multiple Neuromorphic Vision Sensors -- Interpolation Methods for Global Vision Systems -- A...
Testo
Elettronico eBook