Výsledky vyhledávání - program java properties functionality code https

1

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...

Vydáno 2007

Obsah: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
Získat plný text

Elektronický zdroj E-kniha

2

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Vydáno 2005

Obsah: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Získat plný text

Elektronický zdroj E-kniha

3

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Vydáno 2010

Obsah: “... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”
Získat plný text

Elektronický zdroj E-kniha

4

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Vydáno 2013

Obsah: “... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”
Získat plný text

Elektronický zdroj E-kniha

5

Programming Languages and Operational Semantics A Concise Overview /

Autor Fernández, Maribel., Fernández, Maribel.
Vydáno 2014

Obsah: “... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
Získat plný text

Elektronický zdroj E-kniha

6

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Vydáno 2015

Obsah: “...Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing...”
Získat plný text

Elektronický zdroj E-kniha

7

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Vydáno 2005

Obsah: “... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”
Získat plný text

Elektronický zdroj E-kniha

8

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

Vydáno 2008

Obsah: “... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”
Získat plný text

Elektronický zdroj E-kniha

9

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Vydáno 2010

Témata: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Získat plný text

Elektronický zdroj E-kniha

10

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Vydáno 2008

Obsah: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Získat plný text

Elektronický zdroj E-kniha

11

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

Vydáno 2010

Obsah: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Získat plný text

Elektronický zdroj E-kniha

12

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Vydáno 2007

Obsah: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
Získat plný text

Elektronický zdroj E-kniha

13

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /

Vydáno 2005

Obsah: “... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...”
Získat plný text

Elektronický zdroj E-kniha

14

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

Vydáno 2006

Obsah: “... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”
Získat plný text

Elektronický zdroj E-kniha

15

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Vydáno 2015

Obsah: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Získat plný text

Elektronický zdroj E-kniha

16

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Vydáno 2013

Obsah: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
Získat plný text

Elektronický zdroj E-kniha

17

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Vydáno 2014

Obsah: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Získat plný text

Elektronický zdroj E-kniha

18

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Vydáno 2010

Obsah: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Získat plný text

Elektronický zdroj E-kniha

19

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

Vydáno 2008

Obsah: “... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...”
Získat plný text

Elektronický zdroj E-kniha

20

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /

Vydáno 2015

Obsah: “...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání