Search Results - testing java https developing care https

1

Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation XP 2014 International...

Published 2014

Table of Contents: “...Part: Principles of Large-Scale Agile Development -- Towards Principles of Large-Scale Agile...”
View full text

Electronic eBook

2

Multimedia Introduction to Programming Using Java

by Gries, David., Gries, David., Gries, Paul.
Published 2005

Table of Contents: “... to Java -- Methods -- Classes -- Subclasses -- Some Useful Classes -- Reference on Primitive Types...”
View full text

Electronic eBook

3

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: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
View full text

Electronic eBook

4

Digital Image Processing An Algorithmic Introduction Using Java /

by Burger, Wilhelm., Burger, Wilhelm., Burge, Mark J.
Published 2008

Subjects: “...Image Processing and Computer Vision. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

5

Expert Spring MVC and Web Flow

by Yates, Colin., Yates, Colin., Ladd, Seth., Devijver, Steven., Davison, Darren.
Published 2006

Table of Contents: “... -- Testing Spring MVC Applications -- to Spring Web Flow -- Advanced Spring Web Flow....”
View full text

Electronic eBook

6

Ecologist-Developed Spatially-Explicit Dynamic Landscape Models

Published 2012

Table of Contents: “... Sensitivity Testing to Guide Management for Gopher Tortoises on Fort Stewart, Georgia -- A Model...”
View full text

Electronic eBook

7

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

Published 2008

Table of Contents: “... Configurations in J2EE Applications -- Classification of Component Vulnerabilities in Java Service Oriented...”
View full text

Electronic eBook

8

Advances in Multimedia and Network Information System Technologies

Published 2010

Table of Contents: “... for Two Layered Retrieval -- Verification of Open Source Web Frameworks for Java Platform -- - E-Learning...”
View full text

Electronic eBook

9

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Testing, Profiling, and Empirical Studies -- What Programmers Do with Inheritance in Java -- Is This a Bug...”
View full text

Electronic eBook

10

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

11

Theoretical Aspects of Computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings /

Published 2012

Table of Contents: “... Sets of Simple Linear Loops -- Definite Expression Aliasing Analysis for Java Bytecode -- Using...”
View full text

Electronic eBook

12

Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings /

Published 2008

Table of Contents: “... of Unit Tests to the Level of Compiler-Reported Errors -- Virtual Machine Support for Stateful Aspects...”
View full text

Electronic eBook

13

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: “... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”
View full text

Electronic eBook

14

Product-Focused Software Process Improvement 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings /

Published 2008

Table of Contents: “...Keynote Addresses -- Software Testing Forever: Old and New Processes and Techniques for Validating...”
View full text

Electronic eBook

15

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /

Published 2010

Table of Contents: “... with Coordination Time Delays -- Compensable WorkFlow Nets -- Automatically Testing Web Services Choreography...”
View full text

Electronic eBook

16

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

17

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

18

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

Published 2013

Table of Contents: “...Brzozowski’s and Up-To Algorithms for Must Testing -- Practical Alternating Parity Tree Automata...”
View full text

Electronic eBook

19

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “... for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve...”
View full text

Electronic eBook

20

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: “... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...”
View full text

Electronic eBook

Narrow Search