Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program report » programme report, programmes report, progress report
https function » its function, sites function, ups function
function java » function jane, function jason, function james
report https » sport https, sports https
program report » programme report, programmes report, progress report
https function » its function, sites function, ups function
function java » function jane, function jason, function james
report https » sport https, sports https
1
by Debbabi, Mourad., Debbabi, Mourad., Saleh, Mohamed., Talhi, Chamseddine., Zhioua, Sami.
Published 2007
Table of Contents:
“...Java ME Platform -- Java ME Virtual Machines -- Connected Limited Device Configuration -- Mobile...”Published 2007
View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”View full text
Electronic
eBook
9
by Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Published 2005
Table of Contents:
“... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...”Published 2005
View full text
Electronic
eBook
10
Table of Contents:
“... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...”
View full text
View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... in Isabelle/HOLCF -- Meta Reasoning in ACL2 -- Reasoning About Java Programs with Aliasing and Frame...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”View full text
Electronic
eBook