Bilaketaren emaitzak - processing compositional programming program java https

Iradokizunak:
compositional programming » compositional program , compositive programming , copositive programming
processing compositional » processing composition , processing computational , process compositional
programming program » programming programmed , programming problem , programming problems
program java » program jarak , program a , program jom
https » http

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

Argitaratua 2005

Aurkibidea: “...Dynamic Languages -- On the Revival of Dynamic Languages -- Component Composition -- Composition...”
Testu osoa

Baliabide elektronikoa eBook

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Argitaratua 2010

Aurkibidea: “... Systems -- Session 7 -- A Quick Tour of the VeriFast Program Verifier -- Verification of Tree-Processing...”
Testu osoa

Baliabide elektronikoa eBook

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Argitaratua 2013

Aurkibidea: “... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”
Testu osoa

Baliabide elektronikoa eBook

ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings /

Argitaratua 2014

Aurkibidea: “... Reflection Resolution for Java -- Constructing Call Graphs of Scala Programs -- Finding Reference-Counting...”
Testu osoa

Baliabide elektronikoa eBook

Euro-Par 2010 - Parallel Processing 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part I /

Argitaratua 2010

Aurkibidea: “... of Distributed Java Programs -- A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis...”
Testu osoa

Baliabide elektronikoa eBook

Advances in Software Engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures /

Argitaratua 2008

Aurkibidea: “... for Program Design and Synthesis -- A Method for Verifiable and Validatable Business Process Modeling -- SOA...”
Testu osoa

Baliabide elektronikoa eBook

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Argitaratua 2010

Aurkibidea: “... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”
Testu osoa

Baliabide elektronikoa eBook

Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers /

Argitaratua 2006

Aurkibidea: “...Tutorials -- A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite -- Model Driven...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2008

Aurkibidea: “... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”
Testu osoa

Baliabide elektronikoa eBook

Pro React

nork de Sousa Antonio, Cassio., de Sousa Antonio, Cassio.
Argitaratua 2015

Aurkibidea: “...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2006

Aurkibidea: “... -- An Enhanced Composition Model for Conversational Enterprise JavaBeans -- Dynamic Reconfiguration and Access...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2010

Aurkibidea: “... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”
Testu osoa

Baliabide elektronikoa eBook

Distributed Applications and Interoperable Systems 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008, Proceedings /

Argitaratua 2008

Aurkibidea: “... Collaboration Using Goal Sequences -- Adaptive and Fault-Tolerant Service Composition in Peer-to-Peer Systems...”
Testu osoa

Baliabide elektronikoa eBook

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”
Testu osoa

Baliabide elektronikoa eBook

Beginning Google Web Toolkit From Novice to Professional /

nork Smeets, Bram., Smeets, Bram., Boness, Uri., Bankras, Roald.
Argitaratua 2008

Aurkibidea: “... -- Composite Widgets -- Create Your Own Widgets -- Styling Widgets. - Summary -- Server Integration -- GWT...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2010

Aurkibidea: “... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”
Testu osoa

Baliabide elektronikoa eBook

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /

Argitaratua 2008

Aurkibidea: “...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”
Testu osoa

Baliabide elektronikoa eBook

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...

Argitaratua 2008

Aurkibidea: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Testu osoa

Baliabide elektronikoa eBook

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Argitaratua 2010

Aurkibidea: “...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”
Testu osoa

Baliabide elektronikoa eBook

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

Argitaratua 2006

Aurkibidea: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu