WOON, White Object-oriented Nights
Author :
Publisher :
Page : 304 pages
File Size : 33,41 MB
Release : 1997
Category : Object-oriented methods (Computer science)
ISBN :
Author :
Publisher :
Page : 304 pages
File Size : 33,41 MB
Release : 1997
Category : Object-oriented methods (Computer science)
ISBN :
Author :
Publisher :
Page : 128 pages
File Size : 44,89 MB
Release : 1998
Category : Object-oriented methods (Computer science)
ISBN :
Author : Andre Heck
Publisher : Springer Science & Business Media
Page : 1132 pages
File Size : 40,16 MB
Release : 2004-04-30
Category : Science
ISBN : 9781402019258
With about 200,000 entries, StarBriefs Plus represents the most comprehensive and accurately validated collection of abbreviations, acronyms, contractions and symbols within astronomy, related space sciences and other related fields. As such, this invaluable reference source (and its companion volume, StarGuides Plus) should be on the reference shelf of every library, organization or individual with any interest in these areas. Besides astronomy and associated space sciences, related fields such as aeronautics, aeronomy, astronautics, atmospheric sciences, chemistry, communications, computer sciences, data processing, education, electronics, engineering, energetics, environment, geodesy, geophysics, information handling, management, mathematics, meteorology, optics, physics, remote sensing, and so on, are also covered when justified. Terms in common use and/or of general interest have also been included where appropriate.
Author : Jacques Malenfant
Publisher : Springer
Page : 321 pages
File Size : 25,34 MB
Release : 2003-06-26
Category : Computers
ISBN : 3540445552
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.
Author : Klaus R. Dittrich
Publisher : Springer
Page : 208 pages
File Size : 19,2 MB
Release : 2003-06-29
Category : Computers
ISBN : 354044677X
These post-proceedings contain the revised versions of the papers presented at the \Symposium on Objects and Databases" which was held in Sophia-Antipolis, France, June 13, 2000, in conjunction with the Fourteenth European Conference on Object-Oriented Programming, ECOOP 2000. This event continued the t- dition established the year before in Lisbon (Portugal) with the First Workshop on Object-Oriented Databases. The goal of the symposium was to bring together researchers working in various corners of the eld of objects and databases, to discuss the current state of research in the eld and to critically evaluate existing solutions in terms of their current usage, their successes and limitations, and their potential for new applications. The organizing committee received 21 papers which were reviewed by a p- gram committee of people active in the eld of objects and databases. There were 3 reviews for each paper, and nally the organizing committee selected 9 long papers, 2 short papers, and a demonstration to be presented and discussed at the symposium. The selected papers cover a wide spectrum of topics, including data modeling concepts, persistent object languages, consistency and integrity of persistent data, storage structures, class versioning and schema evolution, query languages, and temporal object-oriented databases. In addition to the regular papers, the symposium included an invited p- sentation, given by Prof. Malcolm Atkinson from the University of Glasgow (Scotland) where he heads the Persistence and Distribution Group.
Author : Welf Löwe
Publisher : Springer Science & Business Media
Page : 348 pages
File Size : 20,14 MB
Release : 2006-08-29
Category : Computers
ISBN : 3540376577
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Software Composition, SC 2006, a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2006. The book presents 21 revised full papers reflecting current research in software composition to foster development of composition models and techniques by using aspect-oriented programming, specification of component contracts and protocols, and methods of correct components composition.
Author : Michel R. V. Chaudron
Publisher : Springer Science & Business Media
Page : 361 pages
File Size : 34,7 MB
Release : 2008-10-06
Category : Computers
ISBN : 3540878904
This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2008, held in Karlsruhe, Germany in October 2008. The 20 revised full papers and 3 short papers presented were carefully reviewed and selected from 70 submissions. The papers feature new trends in global software services and distributed systems architectures to push the limits of established and tested component-based methods, tools and platforms. The papers are organized in topical sections on performance engineering; extra-functional properties: security and energy; formal methods and model checking; verification techniques; run-time infrastructures; methods of design and development; component models.
Author : Ernst-Rüdiger Olderog
Publisher : Springer
Page : 417 pages
File Size : 29,99 MB
Release : 2003-06-26
Category : Computers
ISBN : 3540480927
Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical applications, as well as in others, it is of paramount importance that systems controled by a computer or computing systems themselves reliably behave in accordance with the specification and requirements, in other words: here correctness of the system, of its software and hardware is crucial. In order to cope with this callenge, software engineers and computer scientists need to understand the foundations of programming, how different formal theories are linked together, how compilers correctly translate high-level programs into machine code, and why transformations performed are justifiable. This book presents 17 mutually reviewed invited papers organized in sections on methodology, programming, automation, compilation, and application.
Author : Wolfgang Reisig
Publisher : Springer Science & Business Media
Page : 942 pages
File Size : 17,73 MB
Release : 1998-11-04
Category : Computers
ISBN : 9783540653073
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets I: Basic Models" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems.
Author :
Publisher : Institute of Electrical & Electronics Engineers(IEEE)
Page : 446 pages
File Size : 30,70 MB
Release : 1999
Category : Computers
ISBN :
The proceedings of the June 1999 conference contains brief outlines of the keynotes, tutorials and workshops, along with the 35 technical papers presented. Numerous papers discuss components, frameworks, complete architectures, and modeling. Two key aspects of the Unified Modeling Language receive s"