Rezultati - generic composition program program java https

1

Foundational Java Key Elements and Practical Programming /

od Parsons, David., Parsons, David.
Izdano 2012

Kazalo: “...The Java Story -- Compiling and Running Java Programs -- Data Types, Arithmetic and Arrays...”
Polni tekst

Elektronski eKnjiga

2

Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

Izdano 2005

Kazalo: “...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”
Polni tekst

Elektronski eKnjiga

3

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Izdano 2008

Kazalo: “... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”
Polni tekst

Elektronski eKnjiga

4

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Izdano 2012

Kazalo: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
Polni tekst

Elektronski eKnjiga

5

Testing: Academic and Industrial Conference - Practice and Research Techniques 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /

Izdano 2010

Kazalo: “... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”
Polni tekst

Elektronski eKnjiga

6

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Izdano 2006

Kazalo: “... -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access...”
Polni tekst

Elektronski eKnjiga

7

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Izdano 2008

Kazalo: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Polni tekst

Elektronski eKnjiga

8

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings /

Izdano 2005

Kazalo: “... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”
Polni tekst

Elektronski eKnjiga

9

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Izdano 2006

Kazalo: “... -- Formalising Progress Properties of Non-blocking Programs -- Towards a Fully Generic Theory of Data...”
Polni tekst

Elektronski eKnjiga

10

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /

Izdano 2013

Kazalo: “... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”
Polni tekst

Elektronski eKnjiga

11

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II /

Izdano 2010

Kazalo: “... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”
Polni tekst

Elektronski eKnjiga

12

Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshop OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, Nfc, MDD, WUsCaM, Montego Bay, Jamaica, October 2...

Izdano 2006

Kazalo: “... Modeling -- Modeling Aspect-Oriented Compositions -- Towards a Generic Aspect Oriented Design Process -- W5...”
Polni tekst

Elektronski eKnjiga

13

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Izdano 2006

Kazalo: “... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”
Polni tekst

Elektronski eKnjiga

14

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings /

Izdano 2006

Kazalo: “... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”
Polni tekst

Elektronski eKnjiga

15

Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings /

Izdano 2005

Kazalo: “... -- RTZen: Highly Predictable, Real-Time Java Middleware for Distributed and Embedded Systems -- Composite...”
Polni tekst

Elektronski eKnjiga

16

Recent Advances in Parallel Virtual Machine and Message Passing Interface 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings /

Izdano 2005

Kazalo: “... for MPI Programs -- Ensemble-2: Dynamic Composition of MPMD Programs -- New User-Guided and ckpt-Based...”
Polni tekst

Elektronski eKnjiga

17

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of...

Izdano 2005

Kazalo: “... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”
Polni tekst

Elektronski eKnjiga

18

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of...

Izdano 2007

Kazalo: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Polni tekst

Elektronski eKnjiga

19

Computer Security - ESORICS 2010 15th European Symposium on Research in Computer Security, Athens, Greece, September 20-22, 2010. Proceedings /

Izdano 2010

Kazalo: “... of Runtime Enforcement, with Results -- Enforcing Secure Object Initialization in Java -- Flexible Scheduler...”
Polni tekst

Elektronski eKnjiga

20

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

Izdano 2014

Kazalo: “... for GAP -- SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje