Search Results - program java program quality oriented https

1

Aliasing in Object-Oriented Programming Types, Analysis and Verification /

Published 2013

Table of Contents: “... Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability...”
View full text

Electronic eBook

2

Expert JavaScript

by Daggett, Mark E., Daggett, Mark E.
Published 2013

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

3

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... in Object-Oriented Languages -- A New Component-Oriented Programming Language with the First-Class Connector...”
View full text

Electronic eBook

4

Pro JavaScript Development Coding, Capabilities, and Tooling /

by Odell, Den., Odell, Den.
Published 2014

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

5

Transactions on Aspect-Oriented Software Development XI

Published 2014

Table of Contents: “...Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs...”
View full text

Electronic eBook

6

Validated Designs for Object-oriented Systems

by Fitzgerald, John., Fitzgerald, John., Larsen, Peter Gorm., Mukherjee, Paul., Plat, Nico., Verhoef, Marcel.
Published 2005

Table of Contents: “... Quality -- Implementing in Java....”
View full text

Electronic eBook

7

Transactions on Aspect-Oriented Software Development IX

Published 2012

Table of Contents: “... Theory to Performance -- Dynamic Aspect-Oriented Programming in Java: The HotWave Experience...”
View full text

Electronic eBook

8

Object-Oriented Technology.ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports /

Published 2007

Table of Contents: “...Programming Languages -- Implementation, Compilation, Optimization of Object-Oriented Languages...”
View full text

Electronic eBook

9

Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports /

Published 2005

Table of Contents: “...Object Orientation and Web Services -- Practical Problems of Programming in the Large (PPPL) -- 8th...”
View full text

Electronic eBook

10

Quality of Software Architectures and Software Quality First International Conference...

Published 2005

Table of Contents: “... of Unit Tests for Java Classes -- FlexTest: An Aspect-Oriented Framework for Unit Testing -- Quality...”
View full text

Electronic eBook

11

Foundations of AOP for J2EE Development

by Seinturier, Lionel., Seinturier, Lionel., Pawlak, Renaud.
Published 2005

Table of Contents: “...Introducing AOP -- The Concepts of AOP -- AspectJ -- Java Aspect Components -- JBoss AOP -- Spring...”
View full text

Electronic eBook

12

Pro Spring

by Harrop, Rob., Harrop, Rob., Machacek, Jan.
Published 2005

Table of Contents: “... -- Spring Basics -- Introducing Inversion of Control -- Beyond the Basics -- Aspect Oriented Programming...”
View full text

Electronic eBook

13

Software Engineering Techniques: Design for Quality

Published 2007

Table of Contents: “... -- An Integrated Regression Testing Framework to Multi-Threaded Java Programs -- DynAlloy as a Formal Method...”
View full text

Electronic eBook

14

Distributed, Embedded and Real-time Java Systems

Published 2012

Table of Contents: “... Approach -- Memory Safety for Safety Critical Java -- Component-Oriented Development for Real-time Java...”
View full text

Electronic eBook

15

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Published 2005

Table of Contents: “... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”
View full text

Electronic eBook

16

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Published 2006

Table of Contents: “... Quality-Oriented Assistance in Component-Based Software Evolution -- Components Have Test Buddies -- Short...”
View full text

Electronic eBook

17

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Published 2008

Table of Contents: “... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”
View full text

Electronic eBook

18

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /

Published 2007

Table of Contents: “... Refinement Method for Java Programs -- Refactoring Object-Oriented Specifications with Data and Processes...”
View full text

Electronic eBook

19

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /

Published 2008

Table of Contents: “... with Language-Based Security Policies -- Termination Analysis of Java Bytecode -- Sessions and Pipelines...”
View full text

Electronic eBook

20

Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers /

Published 2008

Table of Contents: “...Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service...”
View full text

Electronic eBook

Narrow Search