Search Results - processing java program development methodology https

1

Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop...

Published 2008

Table of Contents: “... and Design -- Extending the MaSE Methodology for the Development of Embedded Real-Time Systems -- Measuring...”
View full text

Electronic eBook

2

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

3

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

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

4

Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004...

Published 2005

Table of Contents: “... Peer-to-Peer Connections with MoCha -- A Survey of Software Development Approaches Addressing...”
View full text

Electronic eBook

5

Practical Distributed Processing

by Brooke, Phillip J., Brooke, Phillip J., Paige, Richard F.
Published 2008

Table of Contents: “...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...”
View full text

Electronic eBook

6

Information Systems Development Reflections, Challenges and New Directions /

Published 2013

Table of Contents: “... Approach to Business Process Automation -- NDT-Driver, a Java Tool to Support QVT Transformations for NDT...”
View full text

Electronic eBook

7

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

Published 2008

Table of Contents: “... Small Software Company -- Software Process Improvement Methodologies for Small and Medium Enterprises...”
View full text

Electronic eBook

8

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: “... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”
View full text

Electronic eBook

9

Software and Data Technologies First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers /

Published 2008

Table of Contents: “... as an Integration Concept -- Engineering Object and Agent Methodologies -- I: Programming Languages -- From Static...”
View full text

Electronic eBook

10

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

Published 2005

Table of Contents: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
View full text

Electronic eBook

11

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Published 2006

Table of Contents: “... Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis...”
View full text

Electronic eBook

12

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Specializing JavaScript Programs -- Symbolic String Transformations with Regular Lookahead and Rollback...”
View full text

Electronic eBook

13

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

14

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

15

Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... with Polymorphic Platform Bindings in a User Interface Programming Language -- Towards a Methodology for Component...”
View full text

Electronic eBook

16

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Published 2010

Table of Contents: “... Control -- Termination of Loop Programs with Polynomial Guards -- Development of Web Based Management...”
View full text

Electronic eBook

17

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings /

Published 2014

Table of Contents: “...Part: Keynote -- Software Quality Assurance by Static Program Analysis -- Part: Software Process...”
View full text

Electronic eBook

18

Advances in Multimedia and Network Information System Technologies

Published 2010

Table of Contents: “... AVI -- - Data Processing in Information Systems -- Acoustic Radar Employing Particle Velocity Sensors...”
View full text

Electronic eBook

19

Advances in Web Based Learning - ICWL 2008 7th International Conference, Jinhua, China, August 20-22, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming Language -- Development of Contents Improving the Effectiveness of Self Learning, for the C...”
View full text

Electronic eBook

20

Processor Design System-On-Chip Computing for ASICs and FPGAs /

Published 2007

Table of Contents: “... -- Designing Soft-Core Processors for FPGAs -- Protocol Processor Design Issues -- Java Co-Processor...”
View full text

Electronic eBook

Narrow Search