1
Subjects: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- Key Research Challenges for Successfully Applying MDD Within Real-Time Embedded Software Development...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... for Multidisciplinary Group Modeling Projects -- An Introduction to the NetLogo Modeling Environment -- A Simulation...
View full text
Electronic eBook
4
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
5
Published 2010
Table of Contents: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ..., China -- Emergence of Social Rumor: Modeling, Analysis, and Simulations -- Emergence of Specialization...
View full text
Electronic eBook
7
Table of Contents: ... of Maximum Likelihood -- Testing Statistical Hypotheses -- The Method of Least Squares -- Function...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Software Development? -- Invited Tutorials -- Algorithms for Interface Synthesis -- A Tutorial...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Problem -- A Development of Data-Logger for Indoor Environment -- Multiobjective Evolutionary Optimization...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Grid Java Code -- Using Cliques Of Nodes To Store Desktop Grid Checkpoints -- EDGeS: The Common...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... 2009 -- Preface -- JavaGAT Adaptor for UNICORE 6 – Development and Evaluation in the Project AeroGrid...
View full text
Electronic eBook
14
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
15
Published 2005
Table of Contents: ... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... under Uncertainty -- Model-Checking and Simulation for Stochastic Timed Systems....
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve...
View full text
Electronic eBook