ECOOP 2014 -- Object-Oriented Programming by Richard Jones
This book constitutes the proceedings of the 28th European Conference on Object-Oriented Programming, ECOOP 2014, held in Uppsala, Sweden, in July/August 2014. The 27 papers presented in this volume were carefully reviewed and selected from 101 submissions. They are organized in topical sections named: analysis; design; concurrency; types; implementation; refactoring; JavaScript, PHP and frameworks; and parallelism.-
Fundamentals of Software Engineering
-
Software Engineering and Formal Methods
-
Formal Methods for Eternal Networked Software Systems
-
Autonomic and Trusted Computing
-
Analytical and Stochastic Modeling Techniques and Applications
-
Principles and Practice of Constraint Programming
-
Software Architecture
-
Runtime Verification
-
Computer Safety, Reliability, and Security
-
Formal Techniques for Distributed Objects, Components, and Systems
-
Search-Based Software Engineering
-
Fields of Logic and Computation III
-
Web Services – ICWS 2020
-
Tests and Proofs
-
Formal Methods for Industrial Critical Systems
-
Software Language Engineering
-
Service-Oriented Computing--ICSOC 2013 Workshops
-
Services Computing – SCC 2020
-
Energy-Efficient Data Centers
-
Intelligent Tutoring Systems
-
Programming Languages and Systems
-
Foundations of Health Information Engineering and Systems
-
Rules and Reasoning
-
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools
-
Selected Topics in Performance Evaluation and Benchmarking
-
Formal Methods for Components and Objects
-
Automated Technology for Verification and Analysis
-
OpenMP: Conquering the Full Hardware Spectrum
-
Computer Performance Engineering
-
Software Engineering
-
Software Engineering for Self-Adaptive Systems
-
Mathematical and Engineering Methods in Computer Science
-
Formal Methods: Foundations and Applications
-
Formal Aspects of Component Software
-
NASA Formal Methods
-
Large-Scale Complex IT Systems. Development, Operation and Management
-
Language Engineering and Rigorous Software Development
-
Foundations of Computer Software: Future Trends and Techniques for Development
-
Software Process and Product Measurement
-
Rule Interchange and Applications
-
Verified Software: Theorie, Tools, Experiments
-
Web Services and Formal Methods
| SKU | Unavailable |
| ISBN 13 | 9783662442012 |
| ISBN 10 | 3662442019 |
| Title | ECOOP 2014 -- Object-Oriented Programming |
| Author | Richard Jones |
| Series | Programming And Software Engineering |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2014-08-06 |
| Number of pages | 698 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |