Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs testing » programs using, progeny testing
method programs » methods program, method progress, method programmed
program method » programs method, program mentor, programming method
testing java » testing japan, detecting java, testing james
https » http
programs testing » programs using, progeny testing
method programs » methods program, method progress, method programmed
program method » programs method, program mentor, programming method
testing java » testing japan, detecting java, testing james
https » http
1
Table of Contents:
“... to Java -- Methods -- Classes -- Subclasses -- Some Useful Classes -- Reference on Primitive Types...”
View full text
View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... to OOP/Java — A Never Ending Story -- Using BlueJ to Introduce Programming -- Model-Driven Programming...”View full text
Electronic
eBook
3
Table of Contents:
“... -- Developing CSS in Practice: From Design to Deployment -- Creating Interactivity with Javascript -- Testing...”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... -- On Validity of Program Transformations in the Java Memory Model -- Safe Cross-Language Inheritance -- Session...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... and Visual Editing of Interpretations for Answer-Set Programs -- Unit Testing in ASPIDE....”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation...”View full text
Electronic
eBook
7
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
8
Published 2006
Table of Contents:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
10
Published 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“...-Oriented Programs -- Model Checking Dynamic UML Consistency -- Testing and Model Checking -- Conditions...”View full text
Electronic
eBook
12
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...Testing -- Model-Based Testing of Environmental Conformance of Components -- Exhaustive Testing...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“...-Driven Methods be Meshed in Practice? -- Contracting in Agile Software Projects: State of Art and How...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“...A Theory of Predicate-Complete Test Coverage and Generation -- A Perspective on Component...”View full text
Electronic
eBook
17
18
Published 2007
Table of Contents:
“... Refinement Method for Java Programs -- Refactoring Object-Oriented Specifications with Data and Processes...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“...Testing and Inspection -- An Implementation Framework for Optimizing Test Case Generation Using...”View full text
Electronic
eBook
20
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook