1
Matèries: ...Java (Computer program language)....
Obtenir text complet
Electrònic eBook
2
Publicat 2006
Taula de continguts: ... -- Key Research Challenges for Successfully Applying MDD Within Real-Time Embedded Software Development...
Obtenir text complet
Electrònic eBook
3
Publicat 2006
Taula de continguts: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...
Obtenir text complet
Electrònic eBook
4
Publicat 2005
Taula de continguts: ... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...
Obtenir text complet
Electrònic eBook
6
Publicat 2008
Taula de continguts: ... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...
Obtenir text complet
Electrònic eBook
7
Publicat 2012
Taula de continguts: ... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...
Obtenir text complet
Electrònic eBook
8
Publicat 2012
Taula de continguts: ... for Multidisciplinary Group Modeling Projects -- An Introduction to the NetLogo Modeling Environment -- A Simulation...
Obtenir text complet
Electrònic eBook
9
Publicat 2010
Taula de continguts: ... Control -- Termination of Loop Programs with Polynomial Guards -- Development of Web Based Management...
Obtenir text complet
Electrònic eBook
10
Publicat 2007
Taula de continguts: ... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...
Obtenir text complet
Electrònic eBook
11
Publicat 2007
Taula de continguts: ..., China -- Emergence of Social Rumor: Modeling, Analysis, and Simulations -- Emergence of Specialization...
Obtenir text complet
Electrònic eBook
12
Publicat 2005
Taula de continguts: ... New Overlay Network Simulation Framework -- Towards the Development of Ubiquitous Middleware Product...
Obtenir text complet
Electrònic eBook
13
Publicat 2008
Taula de continguts: ... for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
Obtenir text complet
Electrònic eBook
16
Taula de continguts: ...) The Gamma Function and Related Functions: Methods and Programs for their Computation -- E) Utility Programs...
Obtenir text complet
Electrònic eBook
17
Publicat 2007
Taula de continguts: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Obtenir text complet
Electrònic eBook
18
Publicat 2007
Taula de continguts: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Obtenir text complet
Electrònic eBook
19
Publicat 2013
Taula de continguts: ... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...
Obtenir text complet
Electrònic eBook
20
Publicat 2007
Taula de continguts: ... Applications in Java 2 Micro Edition -- Pitfalls of Agent System Development on the Basis of a Travel Support...
Obtenir text complet
Electrònic eBook