ECOOP '96 - Object-Oriented Programming

ECOOP '96 - Object-Oriented Programming
Author: Pierre Cointe
Publisher: Springer Science & Business Media
Total Pages: 520
Release: 1996-06-26
Genre: Computers
ISBN: 9783540614395

This book constitutes the refereed proceedings of the 10th European Conference on Object-Oriented Programming, ECOOP '96, held in Linz, Austria, in July 1996. The 21 full papers included in revised version were selected from a total of 173 submissions, based on technical quality and originality criteria. The papers reflect the most advanced issues in the field of object-oriented programming and cover a wide range of current topics, including applications, programming languages, implementation, specification, distribution, databases, and design.

Object-Oriented Information Systems

Object-Oriented Information Systems
Author: Zohra Bellahsene
Publisher: Springer
Total Pages: 564
Release: 2003-08-02
Genre: Computers
ISBN: 3540461027

This book constitutes the refereed proceedings of the 8th International Conference on Object-Oriented Information Systems, OOIS 2002, held in Montpellier, France, in September 2002. The 34 revised full papers and 17 short papers presented were carefully reviewed and selected from 116 submissions. The papers are organized in topical sections on developing web services, object databases, XML and web, component and ontology, UML modeling, object modeling and information systems adaptation, e-business models and workflow, performance and method evaluation, programming and tests, software engineering metries, web-based information systems, architecture and Corba, and roles and evolvable objects.

ECOOP 2000 - Object-Oriented Programming

ECOOP 2000 - Object-Oriented Programming
Author: Elisa Bertino
Publisher: Springer
Total Pages: 505
Release: 2003-06-26
Genre: Computers
ISBN: 3540451021

Following a 13-year tradition of excellence, the 14th ECOOP conference repeated the success of its predecessors. This excellence is certainly due to the level of maturity that object-oriented technology has reached, which warrants its use as a key paradigm in any computerized system. The principles of the object-oriented paradigm and the features of systems, languages, tools, and methodologies based on it are a source of research ideas and solutions to many in all areas of computer science. ECOOP 2000 showed a thriving eld characterized by success on the practical side and at the same time by continuous scienti c growth. Firmly established as a leading forum in the object-oriented arena, ECOOP 2000 received 109 high quality submissions. After a thorough review process, the program committee selected 20 papers, which well re?ect relevant trends in object-oriented research: object modeling, type theory, distribution and coo- ration, advanced tools, programming languages. The program committee, c- sisting of 31 distinguished researchers in object-orientation, met in Milan, Italy, to select the papers for inclusion in the technical program of the conference.

Web Services - ICWS-Europe 2003

Web Services - ICWS-Europe 2003
Author: Mario Jeckle
Publisher: Springer Science & Business Media
Total Pages: 236
Release: 2003-09-16
Genre: Business & Economics
ISBN: 3540201254

This book constitutes the refereed proceedings of the International Conference on Web Services, ICWS-Europe 2003, held in Erfurt, Germany, in September 2003. The 16 revised full papers included in the book were carefully reviewed and selected for presentation. The papers are organized in topical sections on constructing and running service-oriented architectures, Web service security, configuration and communication, confluence with agent technology and semantic Web enabled Web services, and current and future issues.

From Object-Orientation to Formal Methods

From Object-Orientation to Formal Methods
Author: Olaf Owe
Publisher: Springer
Total Pages: 398
Release: 2004-03-09
Genre: Computers
ISBN: 3540399933

After Ole-Johan’s retirement at the beginning of the new millennium, some of us had thought and talked about making a “Festschrift” in his honor. When Donald Knuth took the initiative by sending us the ?rst contribution, the p- cess began to roll! In early 2002 an editing group was formed, including Kristen Nygaard, who had known Ole-Johan since their student days, and with whom he had developed the Simula language. Then we invited a number of prominent researchers familiar with Ole-Johan to submit contributions for a book hon- ing Ole-Johan on the occasion of his 70th birthday. Invitees included several members of the IFIP 2. 3 working group, a forum that Ole-Johan treasured and enjoyedparticipating in throughouthis career. In spite of the shortdeadline, the response to the invitations was overwhelmingly positive. The original idea was to complete the book rather quickly to make it a gift he could read and enjoy, because by then he had had cancer for three years, and his health was gradually deteriorating. Kristen had been regularly visiting Ole-Johan,who was in the hospitalat that time, and they were workingon their Turing award speech. Ole-Johan was grati?ed to hear about the contributions to this book, but modestly expressed the feeling that there was no special need to undertake a book project on his behalf. Peacefully accepting his destiny, Ole- Johan died on June 29, 2002.

Formal Methods for Components and Objects

Formal Methods for Components and Objects
Author: Frank S. de Boer
Publisher: Springer
Total Pages: 332
Release: 2005-09-27
Genre: Computers
ISBN: 3540319395

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.

Metalevel Architectures and Separation of Crosscutting Concerns

Metalevel Architectures and Separation of Crosscutting Concerns
Author: Akinori Yonezawa
Publisher: Springer
Total Pages: 293
Release: 2003-06-30
Genre: Computers
ISBN: 3540454292

This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutting Concerns, which was held in Kyoto, September 25-28, 2001. Metalevel architectures and re?ection have drawn the attention of researchers and practitioners throughout computer science. Re?ective and metalevel te- niques are being used to address real-world problems in such areas as: progr- ming languages, operating systems, databases, distributed computing, expert systems and web computing. Separation of concerns has been a guiding principle of software engineering for nearly 30 years, but its known bene?ts are seldom fully achieved in practice. This is primarily because traditional mechanisms are not powerful enough to handle many kinds of concerns that occur in practice. Over the last 10 years, to overcome the limitations of traditional frameworks, many researchers, including several from the re?ection community, have proposed new approaches. For the ?rst time, papers on advanced approaches to separation of concerns were explicitly solicited. Following the success of previous conferences such as IMSA’92 in Tokyo, Re?ection’96 in San Francisco, and Re?ection’99 in Saint Malo, we hope that the conference provided an excellent forum for researchers with a broad range of interests in metalevel architectures, re?ective techniques, and separation of concerns in general.

Systems Engineering for Business Process Change: New Directions

Systems Engineering for Business Process Change: New Directions
Author: Peter Henderson
Publisher: Springer Science & Business Media
Total Pages: 404
Release: 2002
Genre: Business & Economics
ISBN: 9781852333997

A collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes, this volume reports the results from the projects funded by the programme, which ran between 1997 and 2001.

Collaboration between Human and Artificial Societies

Collaboration between Human and Artificial Societies
Author: Julian A. Padget
Publisher: Springer
Total Pages: 312
Release: 2006-12-31
Genre: Computers
ISBN: 354046624X

The full title of the HCM network project behind this volume is VIM: A virtual multicomputer for symbolic applications. The three strands which bound the network together were parallel systems, advanced compilation techniques andarti?cialintelligence witha commonsubstrate in the programminglanguage Lisp. The initial aim of the project was to demonstrate how the combination of these three technologies could be used to build a virtual multicomputer — an ephemeral, persistent machine of available heterogeneous computing resources — for large scale symbolic applications . The system would support a virtual processor abstraction to distribute data and tasks across the multicomputer, the actual physical composition of which may change dynamically. Our practical objective was to assist in the prototyping of dynamic distributed symbolic app- cations in arti?cial intelligence using whatever resources are available (probably networked workstations), so that the developed program could also be run on more exotic hardware without reprogramming. What we had not foreseen at the outset of the project was how agents would unify the strands at the application level, as distinct from the system level o- lined above. It was as a result of the agent in?uence that we held two workshops in May and December 1997 with the title “Collaboration between human and arti?cial societies”. The papers collected in this volume are a selection from presentations made at those two workshops. In each case the format consisted of a number of invited speakers plus presentations from the network partners.