Search Results - generation method program program java https

1

by Nikishkov, Gennadiy P., Nikishkov, Gennadiy P.
Published 2010

Table of Contents: “... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text

Electronic eBook

2

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

Published 2015

Table of Contents: “... rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation...”
View full text

Electronic eBook

3

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings /

Published 2006

Table of Contents: “... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”
View full text

Electronic eBook

4

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

5

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

Published 2012

Table of Contents: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
View full text

Electronic eBook

6

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

Published 2006

Table of Contents: “...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”
View full text

Electronic eBook

7

Generative and Transformational Techniques in Software Engineering II International Summer School...

Published 2008

Table of Contents: “... to Write Fast Numerical Code: A Small Introduction -- A Gentle Introduction to Multi-stage Programming...”
View full text

Electronic eBook

8

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods...

Published 2010

Table of Contents: “... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”
View full text

Electronic eBook

9

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /

Published 2005

Table of Contents: “... -- rCOS: Refinement of Component and Object Systems -- Program Generation and Components -- Assertion...”
View full text

Electronic eBook

10

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /

Published 2008

Table of Contents: “... and Encapsulation -- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode...”
View full text

Electronic eBook

11

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /

Published 2013

Table of Contents: “... for Adaptive Heterogeneous Multicore Systems -- Paraphrasing: Generating Parallel Programs Using Refactoring...”
View full text

Electronic eBook

12

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /

Published 2010

Table of Contents: “... -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level...”
View full text

Electronic eBook

13

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014...

Published 2015

Table of Contents: “...Testing and Inspection -- An Implementation Framework for Optimizing Test Case Generation Using...”
View full text

Electronic eBook

14

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /

Published 2008

Table of Contents: “... Certification of Java Source Code in Rewriting Logic -- Reverse Engineered Formal Models for GUI Testing...”
View full text

Electronic eBook

15

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques...

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

16

Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kebbutz Sehfayim, Israel, July 4-6, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Next-Generations Applications -- Analysis of Queries Reaching SHIL on the Web – An Information System...”
View full text

Electronic eBook

17

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

Published 2010

Table of Contents: “... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”
View full text

Electronic eBook

18

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

Published 2008

Table of Contents: “... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”
View full text

Electronic eBook

19

Testing: Academic and Industrial Conference - Practice and Research Techniques 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”
View full text

Electronic eBook

20

Adobe ColdFusion Anthology The Best of The Fusion Authority /

by Dinowitz, Michael., Dinowitz, Michael., Dinowitz, Judith.
Published 2010

Table of Contents: “... What?” Handling Unknown Messages with onMissingMethod() -- Document Creation in ColdFusion -- PDF...”
View full text

Electronic eBook

Narrow Search