Ecoop 2000 Object Oriented Programming
Download Ecoop 2000 Object Oriented Programming PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Ecoop 2000 Object Oriented Programming book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Ecoop 2000--Object-Oriented Programming
Author: Elisa Bertino
language: en
Publisher: Springer Science & Business Media
Release Date: 2000-05-31
This book constitutes the refereed proceedings of the 14th European Conference on Object-Oriented programming, ECOOP 2000, held in Sophia, Antipolis and Cannes, France, in June 2000. The book also contains a CD-ROM providing digitized versions of all previous ECOOP conference proceedings and related indices.The 20 revised full papers presented in the book together with 3 invited papers were carefully reviewed and selected from a total of 109 submissions. The book is divided into topical sections on UML, type theory, object relations, cooperation and distribution, Java run time, optimization, and tools.
Modular Specification and Verification of Object-Oriented Programs
Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci?cation and veri?cation. Speci?cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri?cation, one can then prove that an implementation really has the desired, speci?ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: – Formal speci?cation techniques have to be smoothly integrated into the software and program development process. – The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller ̈ has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware. The speci?cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.
Object-Oriented Technology: ECOOP 2000 Workshop Reader
This book documents the satellite events run around the 14th European Conference on Object-Oriented Programming, ECOOP 2000 in Cannes and Sophia Antipolis in June 2000. The book presents 18 high-quality value-adding workshop reports, one panel transcription, and 15 posters. All in all, the book offers a comprehensive and thought-provoking snapshot of the current research in object-orientation. The wealth of information provided spans the whole range of object technology, ranging from theoretical and foundational issues to applications in various domains.