Search Results - integration functional properties program java https

1

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

Published 2005

Table of Contents: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
View full text

Electronic eBook

2

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

Published 2013

Table of Contents: “... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”
View full text

Electronic eBook

3

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

Published 2010

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

4

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

Published 2010

Table of Contents: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
View full text

Electronic eBook

5

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

Published 2007

Table of Contents: “... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”
View full text

Electronic eBook

6

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

Published 2013

Table of Contents: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
View full text

Electronic eBook

7

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

Published 2014

Table of Contents: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
View full text

Electronic eBook

8

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

Published 2010

Table of Contents: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
View full text

Electronic eBook

9

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

Published 2008

Table of Contents: “... Properties Using ADM Logic: FOO Case Study -- Publicly Verifiable Remote Data Integrity....”
View full text

Electronic eBook

10

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers /

Published 2007

Table of Contents: “... Graphic Reference Implementation for Embedded System -- Scheduling and Non Functional Properties -- A QoS...”
View full text

Electronic eBook

11

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering

Published 2013

Table of Contents: “... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”
View full text

Electronic eBook

12

Business Information Systems 10th International Conference, BIS 2007, Poznan, Poland, April 25-27, 2007, Proceedings /

Published 2007

Table of Contents: “... and Implementation of Functional Components in Federated ERP-Systems -- SEEMP: Meaningful Service-Based Collaboration...”
View full text

Electronic eBook

Narrow Search