Resultados da busca - integration detection programs program java https

1

Declarative Programming for Knowledge Management 16th International Conference on Applications...

Publicado em 2006

Sumário: “...Frontier Technologies -- Prolog Cafe: A Prolog to Java Translator System -- TURTLE++ – A CIP...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Publicado em 2005

Sumário: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

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

Publicado em 2012

Sumário: “... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

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

Publicado em 2008

Sumário: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

Formal Verification of Object-Oriented Software International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers /

Publicado em 2012

Sumário: “...Modular Verification of Object-Based Programs -- The COST IC0701 Verification Competition 2011...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Publicado em 2005

Sumário: “... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

Reliable Software Technologies - Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings /

Publicado em 2008

Sumário: “... Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets -- Concurrent Program Metrics Drawn...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Publicado em 2013

Sumário: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

Reliable Software Technologies - Ada-Europe 2010 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings /

Publicado em 2010

Sumário: “... -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

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

Publicado em 2010

Sumário: “... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Publicado em 2008

Sumário: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

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

Publicado em 2006

Sumário: “...: Practice vs. Theory? -- Detecting and Resolving Model Inconsistencies Using Transformation Dependency...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

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 /

Publicado em 2005

Sumário: “... -- An Improved Algorithm for (Non-commutative) Reduce-Scatter with an Application -- Collective Error Detection...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

Reliable Software Technologies -- Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings /

Publicado em 2006

Sumário: “... of Java Programs for Scenario-Based Specifications -- Applications -- Secure Execution of Computations...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

15

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conference, ENASE 2008 / 2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10,...

Publicado em 2010

Sumário: “... Detection in Java Systems: A Dynamic Analysis Based Approach -- Formalization of the UML Class Diagrams...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

16

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Publicado em 2008

Sumário: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

17

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2...

Publicado em 2010

Sumário: “... Algorithms: From Java to C -- Integrate Online Model Checking into Distributed Reconfigurable System on Chip...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

18

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Publicado em 2014

Sumário: “... and Hierarchy in Model-Based Configuration: Experiences and Lessons Learned -- Propagating Decisions to Detect...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

19

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

Publicado em 2005

Sumário: “...: A Java Bytecode Checker Based on Moped -- Java-MOP: A Monitoring Oriented Programming Environment...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

20

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Publicado em 2008

Sumário: “...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca