close
1.

図書

図書
Ana Moreira, Serge Demeyer (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xvii, 389 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1743
所蔵情報: loading…
2.

図書

図書
Rachid Guerraoui (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999  xiii, 528 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1628
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper 1
A Trace Model for Pointers and Objects / C.A.R Hoare ; J. He
Mixins
Synthesizing Objects / Krzysztof Czarnecki ; Ulrich W. Eisenecker
A Core Calculus of Classes and Mixins / Viviana Bono ; Amit Patel ; Vitaly Shmatikov
Propagating Class and Method Combination / Erik Ernst
Debugging and Garbage Collection
A Study of the Allocation Behavior of the SPECjvm98 Java Benchmarks / Sylvia Dieckman ; Urs Hölzle
Visualizing Reference Patterns for Solving Memory Leaks in Java / Wim De Pauw ; Gary Sevitski
Dynamic Query-Based Debugging / Raimondas Lencevicius ; Ambuj K. Singh
Type Checking
Foundations for Virtual Types / Atsushi Igarashi ; Benjamin C. Pierce
Unifying Genericity / Kresten Krab Thorup ; Mads Torgersen
An Object-Oriented Effects System / Aaron Greenhouse ; John Boyland
Invited Paper 2
Providing Persistent Objects in Distributed Systems / Barbara Liskov ; Miguel Castro ; Liuba Shrira ; Atul Adya
Virtual and Multi-methods Inlining of Virtual Methods / David Detlefs ; Ole Agesen
Modular Statically Typed Multimethods / Todd Millstein ; Craig Chambers
Multi-method Dispatch Using Multiple Row Displacement / Candy Pang ; Wade Holst ; Yuri Leontiev ; Duane Szafron
Adaptive Programming
Internal Iteration Externalized / Thomas Kühne
Type-Safe Delegation for Run-Time Component Adaptation / Günter Kniesel
Towards Automatic Specialization of Java Programs / Ulrik Pagh Schultz ; Julia L. Lawall ; Charles Consel ; Gilles Muller
Classification and Inheritance
Wide Classes / Manuel Serrano
An Approach to Classify Semi-structured Objects / Elisa Bertino ; Giovanna Guerrini ; Labella Merlo ; Marco Mesiti
Invited Paper 3
Object-Oriented Programming on the Network / Jim Waldo
Distributed Objects
Providing Fine-Grained Access Control for Java Programs / Raju Pandey ; Brant Hashii
Formal Specification and Prototyping of CORBA Systems / Remi Bastide ; Ousmane Sy ; Philippe Palanque
A Process Algebraic Specification of the New Asynchronous CORBA Messaging Service / Mauro Gaspari ; Gianluigi Zavattaro
Invited Paper 4
Object-Oriented Programming: Regaining the Excitement / Andrew P. Black
Author Index
Invited Paper 1
A Trace Model for Pointers and Objects / C.A.R Hoare ; J. He
Mixins
3.

図書

図書
Jan Bosch, Stuart Mitchell (eds.)
出版情報: Berlin : Springer, c1998  xiv, 555 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1357
所蔵情報: loading…
4.

図書

図書
Eric Jul (ed.)
出版情報: Berlin : Springer, c1998  xii, 634 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1445
所蔵情報: loading…
5.

図書

図書
Boris Magnusson (ed.)
出版情報: Berlin ; New York : Springer, c1998  x, 205 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1439
所蔵情報: loading…
6.

図書

図書
Serge Demeyer, Jan Bosch (eds.)
出版情報: Berlin : Springer, c1998  xxii, 573 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1543
所蔵情報: loading…
目次情報: 続きを見る
The 8th Workshop for PhD Students in Object-Oriented Systems / Erik Ernst ; Frank Gerhardt ; Luigi BenedicentiI:
Framework Design and Documentation / Ákos Frohner
Reengineering with the CORBA Meta Object Facility
Enforcing Effective Hard Real-Time Constraints in Object-Oriented Control Systems / Patrik Persson
Online-Monitoring in Distributed Object-Oriented Client/Server Environments / Günther Rackl
A Test Bench for Software / Moritz Schnizler
Intermodular Slicing of Object-Oriented Programs / Christoph Steindl
Validation of Real-Time Object Oriented Applications / Sebastien Gerard
Parallel Programs Implementing Abstract Data Type Operations - A Case Study / Tamás Kozsik
A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design / Claudia Pons
A Refinement Approach to Object-Oriented Component Reuse / Winnie Qiu
A Compositional Approach to Concurrent Object Systems / Xiaogang Zhang
Component-Based Architectures to Generate Software Components from OO Conceptual Models / Jaime Gomez
Oberon-D - Adding Database Functionality to an Object-Oriented Development Environment / Markus Knasmüller
Run-time Reusability in Object-Oriented Schematic Capture / David Parsons
SADES - a Semi-Autonomous Database Evolution System / Awais Rashid
Framework Design for Optimization (as Applied to Object-Oriented Middleware) / Ashish Singhai
Object-Oriented Control Systems on Standard Hardware / Andreas Speck
Design of an Object-Oriented Scientific Simulation and Visualization System / Alexandru Telea
Testing Components Using Protocols / Il-Hyung Cho
Virtual Types, Propagating and Dynamic Inheritance, and Coarse Grained Structural Equivalence
On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms / Bernd Holzmüller
Formal Methods for Component-Based Systems / Rosziati Ibrahim
Compilation of Source Code into Object-Oriented Patterns / David H. Lorenz
Integration of Object-Based Knowledge Representation in a Reflexive Object-Oriented Language / Gabriel Pavillet
Implementing Layered Object-Oriented Designs / Yannis Smaragdakis
An Evaluation of the Benefits of Object Oriented Methods in Software Development Processes / Pentti Virtanen
Process Measuring, Modeling, and Understanding
The Contextual Objects Modeling for a Reactive Information System / Birol Berkem
Experiences in Designing a Spatio-temporal Information System for Marine Coastal Environments Using Object Technology / Anita Jacob
Facilitating Design Reuse in Object-Oriented Systems Using Design Patterns / Hyoseob Kim
A Reverse Engineering Methodology for Object-Oriented Systems / Theodoros Lantzos
The Reliability of Object-Oriented Software Systems / Jan Sabak
Extending Object-Oriented Development Methodologies to Support Distributed Object Computing / Umit Uzun
Techniques, Tools and Formalisms for Capturing and Assessing the Architectural Quality in Object-Oriented Software / Isabelle Borne ; Fernando Brito e Abreu ; Wolfgang De Meuter ; Galal Hassan GalalII:
A Note on Object-Oriented Software Architecting
COMPARE: A Comprehensive Framework for Architecture Evaluation / Lionel C. Briand ; S. Jeromy Carrière ; Rick Kazman ; Jürgen Wüst
Experience with the Architecture Quality Assessment of a Rule-Based Object-Oriented System / Jeff L. Burgett ; Anthony Lange
Evaluating the Modularity of Model-Driven Object-Oriented Software Architectures / Geert Poels
Assessing the Evolvability of Software Architectures / Tom Mens ; Kim Mens
The Influence of Domain-Specific Abstraction on Evolvability of Software Architectures for Information Systems / Jan Verelst
Object-Oriented Frameworks: Architecture Adaptability / Paolo Predonzani ; Giancarlo Succi ; Andrea Valerio ; Tullio Vernazza
A Transformational Approach to Structural Design Assessment and Change / Paulo S.C. Alencar ; Donald D. Cowan ; Jing Dong ; Carlos J.P. Lucena
Reengineering the Modularity of OO Systems / Gonçalo Pereira ; Pedro Sousa
A Contextual Help System Based on Intelligent Diagnosis Processes Aiming to Design and Maintain Object-Oriented Software Packages / Annya Romanczuk-Réquilé ; Cabral Lima ; Celso Kaestner ; Edson Scalabrin
Analysis of Overriden Methods to Infer Hot Spots / Serge Demeyer
Purpose: between types and code / Natalia Romero ; María José Presso ; Verónica Argañaraz ; Gabriel Baum ; Máximo Prieto
Ensuring Object Survival in a Desert / Xavier Alvarez ; Gaston Dombiak ; Felipe Zak
Experiences in Object-Oriented Re-Engineering / Stéphane Ducasse ; Joachim WeisbrodIII:
Exploiting Design Heuristics for Automatic Problem Detection / Holger Bär ; Oliver Ciupke
Design Metrics in the Reengineering of Object-Oriented Systems / R. Harrison ; S. Counsell ; R. Nithi
Visual Detection of Duplicated Code / Matthias Rieger
Dynamic Type Inference to Support Object-Oriented Reengineering in Smalltalk / Pascal Rapicault ; Mireille Blay-Fornarino ; Anne-Marie Dery
Understanding Object-Oriented Programs through Declarative Event Analysis / Tamar Richner ; Roel Wuyts
Program Restructuring to Introduce Design Patterns / Mel Ó Cinnéide ; Paddy Nixon
Design Patterns as Operators Implemented with Refactorings / Benedikt Schulz ; Thomas Genssler
"Good Enough" Analysis for Refactoring / Don Roberts ; John Brant
An Exchange Model for Reengineering Tools / Sander Tichelaar
Capturing the Existing OO Design with the ROMEO Method / Anthony Bryant ; Helen M. Edwards
Systems Reengineering Patterns / Perdita Stevens ; Rob Pooley
Using Object-Orientation to Improve the Software of the German Shoe Industry / Werner Vieth
Report of Working Group on Reengineering Patterns
Report of Working Group on Reengineering Operations
Report of Working Group on Dynamic Analysis
Report of Working Group on Metrics/Tools / Steve Counsel
Object-Oriented Software Architectures / Jan Bosch ; Helene Bachatene ; Görel Hedin ; Kai KoskimiesIV:
Pattern-Oriented Framework Engineering Using FRED / Markku Hakala ; Juha Hautamäki ; Jyrki Tuomi ; Antti Viljamaa ; Jukka Viljamaa
Exploiting Architecture in Experimental System Development / Klaus Marius Hansen
Object-Orientation and Software Architecture / Philippe Lalanda ; Sophie Cherki
Semantic Structure: A Basis for Software Architecture / Robb D. Nebbe
A Java Architecture for Dynamic Object and Framework Customizations / Linda M. Seiter
Third International Workshop on Component-Oriented Programming (WCOP'98) / Clemens Szyperski ; Wolfgang WeckV:
Type-Safe Delegation for Dynamic Component Adaptation / Günter Kniesel
Consistent Extension of Components in Presence of Explicit Invariants / Anna Mikhajlova
Component Composition with Sharing / Geoff Outhred ; John Potter
Late Component Adaptation / Ralph Keller ; Urs Hölzle
Adaptation of Connectors in Software Architectures / Ian Welch ; Robert Stroud
Connecting Incompatible Black-Box Components Using Customizable Adapters / Bülent Küçük ; M. Nedim Alpdemir ; Richard N. Zobel
Dynamic Configuration of Distributed Software Components / Eila Niemelä ; Juha Marjeta
Components for Non-Functional Requirements / Bert Robben ; Wouter Joosen ; Frank Matthijs ; Bart Vanhaute ; Pierre Verbaeten
The Operational Aspects of Component Architecture / Mark Lycett ; Ray J.Paul
Architectures for Interoperation between Component Frameworks / Günter Graw ; Arnulf Mester
A Model for Gluing Together / P.S.C. Alencar ; D.D. Cowan ; C.J.P. Lucena ; L.C.M. Nova
Component Testing: An Extended Abstract / Mark Grossman
Applying a Domain Specific Language Approach to Component Oriented Programming / James Ingham ; Malcolm Munro
The Impact of Large-Scale Component and Framework Application Development on Business / David Helton
Maintaining a COTS Component-Based Solution Using Traditional Static Analysis Techniques / R. Cherinka ; C. Overstreet ; J. Ricci ; M. Schrank
Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications) / Bernhard Rumpe ; Haim KilovVI:
Tools and Environments for Business Rules / Dirk Bontridder ; Alain GrijseelsVII:
Enriching Constraints and Business Rules in Object Oriented Analysis Models withTrigger Specifications / Stefan Van Baelen
Business Rules vs. Database Rules - A Position Statement / Brian Spencer
Elements Advisor by Neuron Data / Bruno Jouhier ; Carlos Serrano-Morale ; Eric Kintzer
Business Rules Layers Between Process and Workflow Modeling: An Object-Oriented Perspective / Gerhard F. Knolmayer
Business-Object Semantics Communication Model in Distributed Environment / Hei-Chia Wang ; V. Karakostas
How Business Rules Should be Modeled and Implemented in OO / Leo Hermans ; Wim van Stokkum
A Reflective Environment for Configurable Business Rules and Tools / Michel Tilman
Object-Oriented Business Process modelling / Elizabeth A. KendallVIII:
Business Process Modeling - Motivation, Requirements, Implementation / Ilia Bider ; Maxim Khomyakov
An Integrated Approach to Object Oriented Modeling of Business Processes / Markus Podolsky
Enterprise Modelling / Monique Snoeck ; Rakesh Agarwal ; Chiranjit Basu
Requirements Capture Using Goals / Ian F. Alexander
`Contextual Objects' or Goal Orientation for Business Process Modeling
Mapping Business Processes to Software Design Artifacts / Pavel Hruby
Mapping Business Processes to Objects, Components and Frameworks: A Moving Target! / Eric Callebaut
Partitioning Goals with Roles
Object-Oriented Product Metrics for Software Quality Assessment / Houari A. SahraouiIX:
Do Metrics Support Framework Development?
Assessment of Large Object Oriented Software Systems: A metrics Based Process / Gerd Köhler ; Heinrich Rust ; Frank Simon
Using Object-Oriented Metrics for Automatic Design Flaws Detection in Large Scale Systems / Radu Marinescu
An OO Framework for Software Measurement and Evaluation / Reiner R. Dumke
A Product Metrics Tool Integrated into a Software Development Environment / Claus Lewerentz
Collecting and Analyzing the MOOD2 Metrics / Jean Sebastien Cuche
An Analytical Evaluation of Static Coupling Measures for Domain Object Classes
Impact of Complexity Metrics on Reusability in OO Systems / Yida Mao ; Hakim Lounis
A Formal Analysis of Modularisation and Its Application to Object-Oriented Methods / Adam Batenin
Software Products Evaluation / Teade Punter
Is Extension Complexity a Fundamental Software Metric? / E. Kantorowitz
ECOOP Workshop on Distributed Object Security / Christian D. Jensen ; George Coulouris ; Daniel HagimontX:
Merging Capabilities with the Object Model of an Object-Oriented Abstract Machine / María Ángeles Díaz Fondón ; Darío Álvarez Gutiérrez ; Armando García-Mendoza Sánchez ; Fernando Álvarez García ; Lourdes Tajes Martínez ; Juan Manuel Cueva Lovelle
Mutual Suspicion in a Generic Object-Support System
Towards an Access Control Policy Language for CORBA / Gerald Brose
Security for Network Places / Tim Kindberg
Reflective Authorization Systems / Massimo Ancona ; Walter Cazzola ; Eduardo B. Fernandez
Dynamic Adaptation of the Security Properties of Applications and Components
Interoperating between Security Domains / Charles Schmidt ; Vipin Swarup
Delegation-Based Access Control for Intelligent Network Services / Tuomas Aura ; Petteri Koponen ; Juhana Räsänen
Secure Communication in non-uniform Trust Environments / Jean Dollimore ; Marcus Roberts
Dynamic Access Control for Shared Objects in Groupware Applications / Andrew Rowley
A Fault-Tolerant Secure CORBA Store using Fragmentation-Redundancy-Scattering / Cristina Silva ; Luís Rodrigues
4th ECOOP Workshop on Mobility: Secure Internet Mobile Computations / Leila Ismail ; Ciarán Bryce ; Jan VitekXI:
Protection in Programming-Language Translations: Mobile Object Systems / Martín Abadi
D'Agents: Future Security Directions / Robert S. Gray
A Multi-Level Interface Structure for the Selective Publication of Services in an Open Environment / Jarle Hulaas ; Alex Villazón ; Jürgen Harms
A Practical Demonstration of the Effect of Malicious Mobile Agents on CPU Load Balancing / Adam P. Greenaway ; Gerard T. McKee
Role-Based Protection and Delegation for Mobile Object Environments / Nataraj Nagaratnam ; Doug Lea
Coarse-grained Java Security Policies / T. Jensen ; D. Le Métayer ; T. Thorn
Secure Recording of Itineraries through Cooperating Agents / Volker Roth
A Model of Attacks of Malicious Hosts Against Mobile Agents / Fritz Hohl
Agent Trustworthiness / Lora L. Kassab ; Jeffrey Voas
Protecting the Itinerary of Mobile Agents / Uwe G. Wilhelm ; Sebastian Staamann ; Levente Buttyán
Position paper: Security in Tacoma / Nils P. Sudmann
Type-Safe Execution of Mobile Agents in Anonymous Networks / Matthew Hennessy ; James Riely
Mobile Computations and Trust
Case Studies in Security and Resource Management for Mobile Objects / Dejan Milojicic ; Gul Agha ; Philippe Bernadat ; Deepika Chauhan ; Shai Guday ; Nadeem Jamali ; Dan Lambright
3rd Workshop on Mobility and Replication / Birger Andersen ; Carlos Baquero ; Niels C. JuulXII:
UbiData: An Adaptable Framework for Information Dissemination to Mobile Users / Ana Paula Afonso ; Francisco S. Regateiro ; Mário J. Silva
Twin-Transactions - Delayed Transaction Synchronisation Model / A. Rasheed ; A. Zaslavsky
Partitioning and Assignment of Distributed Object Applications Incorporating Object Replication and Caching / DougKimelman ; V.T. Rajan ; TovaRoth ; Mark Wegman
Open Implementation of a Mobile Communication System / Eddy Truyen ; Peter Kenens ; Sam Michiels
Towards a Grand Unified Framework for Mobile Objects / Francisco J. Ballesteros ; Fabio Kon ; Sergio Arévalo ; Roy H. Campbell
Measuring the Quality of Service of Optimistic Replication / Geoffrey H. Kuenning ; Rajive Bagrodia ; Richard G. Guy ; Gerald J. Popek ; PeterReiher ; An-I Wang
Evaluation Overview of the Replication Methods for High Availability Databases / Lars Frank
Reflection Based Mobile Replication / Luis Alonso
Support for Mobility and Replication in the AspectIX Architecture / Martin Geier ; Martin Steckermeier ; Ulrich Becker ; Franz J. Hauck ; Erich Meier ; Uwe Rastofer
How to Combine Strong Availability with Weak Replication of Objects? / Alice Bonhomme ; Laurent Lefèvre
Tradeoffs of Distributed Object Models
Learning and Teaching Objects Successfully / Jürgen BörstlerXIII:
Teaching Concepts in the Object-Oriented Field / Erzsébet Angster
A Newcomer's Thoughts about Responsibility Distribution / Beáta Kelemen
An Effective Approach to Learning Object-Oriented Technology / Alejandro Fernández ; Gustavo Rossi
Teaching Objects: The Case for Modelling / Ana Maria D. Moreira
Involving Learners in Object-Oriented Technology Teaching Process: Five Web-Based Steps for Success / Ahmed Seffah
How to Teach Object-Oriented Programming to Well-Trained Cobol Programmers
ECOOP'98 Workshop on Reflective Object-Oriented Programmingand Systems / Stuart P. MitchellXIV:
MOPping up Exceptions / A. Burns ; A. J. Wellings
A Metaobject Protocol for Correlate / BertRobben ; FrankMatthijs
Adaptive Active Object / José L. Contreras ; Jean-Louis Sourrouille
Yet Another java.lang.Class / Shigeru Chiba ; Michiaki Tatsubori
A Reflective Java Class Loader
Sanity Checking OS Configuration via Reflective Computation / Lutz Wohlrab
A Reflective Component Model for Open Systems / José M. Troya ; Antonio Vallecillo
CoffeeStrainer - Statically Checking Structural Constraints on Java Programs / Boris Bokowski
A Computational Model for a Distributed Object-Oriented Operating System Basedon a Reflective Abstract Machine / Fernando Álvarez-García ; Marián Díaz-Fondón
A Reflective Implementation of a Distributed Programming Model / R. Pawlak ; L. Duchien ; L. Seinturier ; P. Champagnoux ; D. Enselme ; G. Florin
Evaluation of Object-Oriented Reflective Models
2K: A Reflective Component-Based Operating System for Rapidly Changing Environments / Dulcineia Carvalho ; Robert Moore
Experiments with Reflective Middleware / Fábio M. Costa ; Gordon S. Blair ; Geoff Coulson
Three Practical Experiences of Using Reflection / Charlotte Pii Lunau
Aspect Oriented Programming / Cristina Videira Lopes (Ed.)XV:
Towards a Generic Framework for AOP / Pascal Fradet ; Mario Südholt
Recent Developments in AspectJ / Cristina Videira Lopes ; Gregor Kiczales
Coordination and Composition: The Two Paradigms Underlying AOP?
Operation-Level Composition: A Case in (Join) Point / Harold L. Ossher ; Peri L. Tarr
Deriving Design Aspects from Conceptual Models / Bedir Tekinerdogan ; Mehmet Aksit
Aspect-Oriented Logic Meta Programming / Kris De Volder
Roles, Subjects and Aspects: How Do They Relate? / Daniel Bardou
HAL: A Design-Based Aspect Language for Distribution Control / J. Kleinöder
Interactions between Objects: An Aspect of Object-Oriented Languages / L. Berger ; A.M. Dery ; M. Fornarino
Replication as an aspect: The Naming Problem / Johan Fabry
AspectIX: A Middleware for Aspect-Oriented Programming
An AOP Case with Static and Dynamic Aspects
Visitor Beans: An Aspect-Oriented Pattern
Assessing Aspect-Oriented Programming: Preliminary Results / Robert J. Walker ; Elisa L.A. Baniassad ; Gail C. Murphy
Aspect-Oriented Programming using Composition Filters
The impact of Aspect-Oriented Programming on Formal Methods / Lynne Blair
Aspects of Enterprise Java Beans / Gregory Blank ; Gene Vayngrib
Aspect-Oriented Programming in the Coyote Project / Vinny Cahill ; Jim Dowling ; Tilman Schäfer ; Barry Redmond
Towards Reusable Synchronisation for Object-Oriented Languages / David Holmes ; James Noble
Agent Roles and Aspects
The Distribution Aspect - A Meeting Ground between Tool and Programmer / Doug Kimelman
Is Composition of Metaobjects = Aspect-Oriented Programming
Run-time Adaptability of Synchronization Policies in Concurrent Object-Oriented Languages / Fernando Sánchez ; Juan Hernández ; Juan Manuel Murillo ; Enrique Pedraza
Parallel Object-Oriented Scientific Computing / Kei DavisXVI:
OVERTURE: Object-Oriented Parallel Adaptive Mesh Refinement for Serial andParallel Environments / David L. Brown ; William D. Henshaw ; Daniel J. Quinlan ; Kristi Brislawn
Applying OO Concepts to Create an Environment for Intensive Multi-userComputations in Electromagnetism / Delphine Caron
Rethinking a MD code using Object Oriented Technology / Stefano Cozzini
ROSE: An Optimizing Transformation System for C++ Array-Class Libraries / Daniel Quinlan
The Parallel Asynchronous Data Routing Environment PADRE
Object Oriented Programming and Finite Element Analysis: Achieving Control Overthe Calculation Process / R. I. Mackie ; R. R. Gajewski
Tecolote: An Object-Oriented Framework for Physics Development / J. C. Marshall ; L. A. Ankeny ; S. P. Clancy ; J. H. Hall ; J. H. Heiken ; K. S. Holian ; S.R. Lee ; G. R. McNamara ; J. W. Painter ; M. E. Zander ; J. C. Cummings ; S. W. Haney,S. R. Karmesin ; W. F. Humphrey ; J. V. Reynders ; T. W. Williams ; R. L. Graham
Is Java Suitable for Portable High-Performance Computing? / Satoshi Matsuoka ; Shigeo Itou
Applying Fortran 90 and Object-Oriented Techniques to Scientific Applications / Charles D. Norton ; Viktor Decyk ; Joan Slottow
Development and Utilization of Parallel Generic Algorithms for Scientific Computations / A. Radenski ; A. Vann ; B. Norris
The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra / Jeremy G. Siek ; Andrew Lumsdaine
A Rational Approach to Portable High Performance: The Basic Linear AlgebraInstruction Set (BLAIS) and the Fixed Algorithm Size Template (FAST) Library
Object-Oriented Programming in High Performance Fortran / E. de Sturler
Towards Real World Scientific Web Computing / Matthias Weidmann ; Philipp Drum ; Norman Thomson ; Peter Luksch
Automating the Object-Oriented Development Process / XVII:
The Case for Cooperative Requirement Writing / Vincenzo Ambriola ; Vincenzo Gervasi
Systematic Construction of UML Associations and Aggregations Using cOlOr framework / Franck Barbier
Software Quality in the Objectory Process / Klaas van den Berg
Evaluating OO-CASE Tools: OO Research Meets Practice / Danny Greefhorst ; Mark van Elswijk ; Matthijs Maat ; Rob Maijers
Conceptual Predesign as a Stopover for Mapping Natural Language Requirements Sentences to State Chart Patterns / Christion Kop ; Heinrich C. Mayr
Using the MétaGen Modeling and Development Environment in the FIBOF Esprit Project / B. Lesueur ; N. Revault ; G. Sunyé ; M. Ziane
Formalizing Artifacts of Object-Oriented Analysis & Design Methods / Motoshi Saeki
Providing Automatic Support for Heuristic Rules of Methods
From Visual Specifications to Executable Code / Enn Tyugu
Object-Oriented Technology and Real-Time Systems / Eugene Durr ; Leonor Barroca ; François TerrierXVIII:
Dynamic Scheduling of Object Invocations in Distributed Object -Oriented Real-Time Systems / Bo N. Jørgensen
A Code Generator with Application-Oriented Size Optimization for Object-Oriented Embedded Control Software / Fumio Narisawa ; Hidemitsu Naya ; Takanori Yokoyama
UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems / Jérôme Delatour ; Mario Paludetto
Modular Development of Control and Computational Modules Using Reactive Objects / Frédéric Boulanger ; Guy Vidal-Naquet
TDE: A Time Driven Engine for Predictable Execution of Real-Time Systems / Flavio De Paoli ; F. Tisato ; C. Bellettini
Virtual World Objects for Real-Time Cooperative Design / Christian Toinard ; Nicolas Chevassus
Providing Real-Time Object-Oriented Industrial Messaging Services / R. Boissier ; M. Epivent ; E. Gressier-Soudan ; F. Horn ; A. Laurent ; D. Razafindramary
A Train Control Modeling with the Real-Time Object Paradigm / Sébastien Gérard ; Agnès Lanusse
Demonstrations / Jan DockxXIX:
Reflections on a demonstration chair
Visualizing Object-Oriented Programs with Jinsight / Wim De Pauw ; John Vlissides
SoftDB - A Simple Software Database
OO-in-the-Large: Software Development with Subject-Oriented Programming / Harold Ossher ; Peri Tarr
Dynamic Application Partitioning in VisualAge Generator Version 3.0 / V. T. Rajan ; Tova Roth ; Beth Lindsey ; Hayden Lindsey ; Sandy Thomas
The Refactoring Browser
Business Objects with History and Planning
Poor Man's Genericity for Java / Markus Dahm
An Object DBMS for Multimedia Presentations Including Video Data / Rafael Lozano ; Michel Adiba ; Herve Martin ; Francoise Mocellin
OPCAT - Object-Process Case Tool: An Integrated System Engineering Environment (ISEE) / Dov Dori ; Arnon Sturm
Posters / Patrick SteyaertXX:
The AspectIX ORB Architecture
Formalization of Component Object Model (COM) - The COMEL Language
Oberon-D = Object-Oriented System + Object-Oriented Database
The 8th Workshop for PhD Students in Object-Oriented Systems / Erik Ernst ; Frank Gerhardt ; Luigi BenedicentiI:
Framework Design and Documentation / Ákos Frohner
Reengineering with the CORBA Meta Object Facility
7.

図書

図書
Mehmet Akşit, Satoshi Matsuoka (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1997  xi, 529 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1241
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk 1
GOODS to Appear on the Stage / Kristen Nygaard
Programming Languages
Balloon Types: Controlling Sharing of State in Data Types / Paulo Sergio Almeida
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers / Veronique Benzaken ; Xavier Schaefer
Issues with Exception Handling in Object-Oriented Systems / Robert Miller ; Anand Tripathi
Types
Subtyping is not a Good "Match "for Object-Oriented Languages / Kim B. Bruce ; Leaf Peter sen ; Adrian Fiech
Near Optimal Hierarchical Encoding of Types / Andreas Krall ; Jan Vitek ; R. Nigel Horspool
An Extended Theory of Primitive Objects: First Order System / Luigi Liquori
Metaprogramming
A Reflective Architecture for Process Control Applications / Charlotte Pii Lunau
Dynamic Object Evolution without Name Collisions / Mira Mezini
Invited Talk 2
Aspect-Oriented Programming / Gregor Kiczales ; John Lamping ; Anurag Mendhekar ; Chris Maeda ; Cristina Lopes ; Jean-Marc Loingiier ; John Irwin
Implementation and Systems
DRASTIC: A Run-Time Architecture for Evolving, Distributed, Persistent Systems / Huw Evans ; Peter Dickman
A General Framework for Inheritance Management and Method Dispatch in Object-Oriented Languages / Wade Hoist ; Duane Szafron
Optimizing Smalltalk by Selector Code Indexing can be Practical / Tamiya Onodera ; Hiroaki Nakamura
Formal Methods and Specifications
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation / J.C Bicarregui ; K.C. Lano ; T.S.E. Maibaum
Towards a Formalization of the Unified Modeling Language / Ruth Breu ; Ursula Hinkel ; Christoph Hofmann ; Cornel Klein ; Barbara Paech ; Bernhard Rumpe ; Veronika Thurner
Coordination Requirements Expressed in Types for Active Objects / Franz Puntigam
Java
Java is Type Safe - Probably / Sophia Drossopoulou ; Susan Eisenbach
Feature-Oriented Programming: A Fresh Look at Objects / Christian Prehofer
Genericity in Java with Virtual Types / Kresten Krab Thorup
Patterns
Tool Support for Object-Oriented Patterns / Gert Florijn ; Marco Meijers ; Pieter van Winsen
A Model for Structuring User Documentation of Object-Oriented Frameworks Using Patterns and Hypertext / Matthias Meusel ; Krzysztof Czarnecki ; Wolfgang Kopf
Using Patterns for Design and Documentation / Georg Odenthal ; Klaus Quibeldey-Cirkel
Invited Talk 3 (Abstract)
Going Beyond Objects with Design Patterns / Erich Gamma
Author Index
Invited Talk 1
GOODS to Appear on the Stage / Kristen Nygaard
Programming Languages
8.

図書

図書
Pierre Cointe, (ed.)
出版情報: Berlin : Springer, c1996  xi, 501 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1098
所蔵情報: loading…
9.

図書

図書
Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1995  193 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 924
所蔵情報: loading…
10.

図書

図書
Walter Olthoff (ed.)
出版情報: Berlin ; New York : Springer, c1995  xi, 470 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 952
所蔵情報: loading…
11.

図書

図書
Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  vi, 261 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 791
所蔵情報: loading…
12.

図書

図書
Pierre America, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  x, 396 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 512
所蔵情報: loading…
目次情報: 続きを見る
Modeling the C++ Object Model: An Application of an Abstract Object Model / Alan Snyder
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches / Urs Holzle ; Craig Chambers ; David Ungar
An Object-Oriented Logic Language for Modular System Specification / Angelo Morzenti ; Pierluigi San Pietro
Capsules and Types in Fresco: Program Verification in Smalltalk / Alan Wills
Schema Modifications in the LISP02 Persistent Object-Oriented Language / Gilles Barbedette
The Design of an Integrity Consistency Checker (ICC) for an Object Oriented Database System / Christine Delcourt ; Roberto Zicari
Synchronizing Actions / Christian Neusius
An Object Calculus for Asynchronous Communication / Kohei Honda ; Mario Tokoro
Definition of Reusable Concurrent Software Components / Stefano Crespi Reghizzi ; Guido Galli de Paratesi ; Stefano Genoiini
Inheritance in Object Oriented Z / Eispeth Cusack
OOZE: An Object Oriented Z Environment / Antonio J. Alencar ; Joseph A. Goguen
Issues in the Design and Implementation of a Schema Designer for an OODBMS / Jay Almarode
Object Integrity Using Rules / Claudia Bauzer Medeiros ; Patrick Pfeffer
Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming / Satoshi Matsuoka ; Takuo Watanabe ; Akinori Yonezawa
mplementational Reflection in Silica / Ramana Rao
Exceptions in Guide, an Object-Oriented Language for Distributed Applications / Serge Lacourte
Representation of Complex Objects: Multiple Facets with Part-Whole Hierarchies / Francis Wolinski ; Jean-Frangois Perrot
Multi-Methods in a Statically-Typed Programming Language / Warwick B. Mugridge ; John Hamer ; John G. Hosking
What is Type-Safe Code Reuse? / Jens Paisberg ; Michael I. Schwartzbach
Implementation Techniques for Integral Version Management / Ernst Lippe ; Gert Florijn
Object-Oriented Analysis and Top-Down Software Development / Dennis de Champeaux
Incremental Class Dictionary Learning and Optimization / Paul L. Bergstein ; KarlJ. Lieberherr
Modeling the C++ Object Model: An Application of an Abstract Object Model / Alan Snyder
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches / Urs Holzle ; Craig Chambers ; David Ungar
An Object-Oriented Logic Language for Modular System Specification / Angelo Morzenti ; Pierluigi San Pietro
13.

図書

図書
M. Tokoro, O. Nierstrasz, P. Wegner, eds
出版情報: Berlin ; New York : Springer-Verlag, c1992  x, 264 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 612
所蔵情報: loading…
14.

図書

図書
O. Lehrmann Madsen, (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  x, 426 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 615
所蔵情報: loading…
目次情報: 続きを見る
On Unifying Relational and Object-Oriented Database Systems / Invited paper ; Won Kim
Import Is not Inheritance - Why We Need Both: Modules and Classes / Clemens A ; Szyperski
Object-Oriented Multi-Methods in Cecil / Craig Chambers
Aggregation in a Behaviour Oriented Object Model / Thorsten Hartmann ; Ralf Jungclaus ; Gunier Saake
Reasoning and Reinement in Object-Oriented Speciication Languages / K. Lano ; H. Haughton
Combining Object-Oriented and Logic Paradigms: A Modal Logic
Programming Approach / Tarmo Uustalu
An Incremental Class Reorganization Approach / Eduardo Casais
System Design by Composing Structures of Interacting Objects / Egil P. Andersen ; Trygve Reenskaug
Unifying the Design and Implementation of User Interfaces Through the Object Paradigm / Veronique Normand ; Joelle Coutaz
Nesting Actions Through Asynchronous Message Passing: The ACS Protocol / Rachid Guerraoui ; Riccardo Capobianchi ; Agnes Lanusse ; Pierre Roux
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages / Svend Frplund
EPEE: an Eiffel Environment to Program Distributed Memory Parallel Computers / J.M. Jezequel
Using Object-Oriented Programming Techniques for Implementing ISDN Supplementary Services / Bent Gabelgaard
An Object Model for Engineering Design / G.T Nguyen ; D. Rieu ; J. Escamilla
An Object-Oriented Class Library for Scalable Parallel Heuristic Search / Wing-cheong Lau ; Vineet Singh
Integrating Constraints with an Object-Oriented Language / Bjorn N. Freeman-Benson ; Alan Borning
Specifying Reusable Components Using Contracts / Ian M. Holland
ACTS: A Type System for Object-Oriented Programming Based on
Abstract and Concrete Classes / Mahesh Dodani ; Chung-Shin Tsai
Making Type Inference Practical / Nicholas Oxh0j ; Jens Palsberg ; Michael I. Schwartzbach
A Reflective Model of Inheritance / Suresh Jagannathan ; Gul Agha
An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach / Mehmet Ak&scedilla;il ; Lodewijk Bergmans ; Sinan Vural
Supporting Physical Independence in an Object Database Server / Nicola Aloia ; Svetlana Barneva ; Fausto Rabitii
Developing a Class Hierarchy for Object-Oriented Transaction Processing / Daniel L. McCue
On Unifying Relational and Object-Oriented Database Systems / Invited paper ; Won Kim
Import Is not Inheritance - Why We Need Both: Modules and Classes / Clemens A ; Szyperski
Object-Oriented Multi-Methods in Cecil / Craig Chambers
15.

図書

図書
Oscar M. Nierstrasz (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xi, 530 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 707
所蔵情報: loading…
目次情報: 続きを見る
Keynote Address (Abstract)
Intimate Computing and the Memory Prosthesis: A Challenge for Computer Systems Research? / Michael G. Lamming
Frameworks and Reuse
Active Programming Strategies in Reuse / Mary Beth Rosson ; John M. Carroll
Frameworks in the Financial Engineeing Domain; An Experience Report / Andreas Birrer ; Thomas Eggenschwiler
Integrating Independently-Developed Components in Object-Oriented Languages / Urs Holzle
Concurrency and Distribution I
Encapsulating Plurality / Andrew P. Black ; Mark P. Immel
Object Oriented Interoperability / Dimitri Konstantas
Implementation of Distibuted Trellis / Bruno Achauer
Types & Subtypes
A New Definition of the Subtype Relation / Barbara Liskov ; Jeannette M. Wing
Attaching Second-Order Types to Methods in an Object-Oriented Language / Yves Caseau ; Laurent Perron
Typed Sets as a Basis for Object-Oriented Database Schemas / Herman Balsters ; Rolf A. de By ; Roberto Zicari
Invited Talk
The OSI Managed-Object Model / Colin Ashford
Languages and Inheritance
Nested Mixin-Methods in Agora / Patrick Steyaertr Wim Codenie ; Theo D'Hondt ; Koen De Hondt ; Carine Lucas ; Marc Van Limberghen
Solving the Inheitance Anomaly in Concurrent Object-Oriented Programming / Jose Meseguer
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance / OleAgesen ; Jens Palsberg ; Michael I. Schwartzbach
Time-Dependent Behaviour Predicate Classes / Craig Chambers
TOOA: A Temporal Object-Oiented Algebra / Ellen Rose ; Arie Segev
A Timed Calculus for Distributed Objects with Clocks / Ichiro Satoh ; Mario Tokoro
Concurrency and Distribution II
A Language Framework for Multi-Object Coordination / Svend Frplund ; Gul Agha
PANDA - Supporting Distributed Programming in C++ / Holger Assenmacher ; Thomas Breitbach ; Peter Buhler ; Volker Hiibsch ; Reinhard Schwarz
Transparent Parallelisation Through Reuse: Between a Compiler and a Library Approach / Jean-Marc Jezequel
OO Analysis and Design
Design Patterns: Abstraction and Reuse of Object-Oriented Design / Erich Gamma ; Richard Helm ; Ralph E. Johnson ; John Vlissides
ObjChart: Tangible Specification of Reactive Object Behavior / Dipayan Gangopadhyay ; Subrata Mitra
O-O Requirements Analysis: an Agent Perspective / Eric Dubois ; Philippe Du Bois ; Michael Petit
Reflection
Designing an Extensible Distibuted Language with a Meta-Level Architecture / Shigeru Chiba ; Takashi Masuda
MetaFlex: A Flexible Metaclass Generator / Richard Johnson ; Muru Palaniappan
TPanel Discussion (Position Statements)
Aims, Means, and Futures of Object-Oriented Languages: Programming Styles and Tool Support / Mike Banahan ; L. Peter Deutsch ; Boris Magnusson
Author Index
Keynote Address (Abstract)
Intimate Computing and the Memory Prosthesis: A Challenge for Computer Systems Research? / Michael G. Lamming
Frameworks and Reuse
16.

図書

図書
Mario Tokoro, Remo Pareschi (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  xi, 534 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 821
所蔵情報: loading…
目次情報: 続きを見る
Keynote Speech
Beyond Objects / Luc Steels
Class Design
Should Superclasses be Abstract? / Walter- L. Hursch
Roles and Dynamic Subclasses: A Modal Logic Approach / Roel Wieringa ; Wiebren de Jonge ; Paul Spruit
Methods as Assertions / John Lamping ; Martin Abadi
Concurrency
Abstracting Process-to-Function Relations in Concurrent Object-Oriented Applications / Cristina Videira ; Lopes ; Karl J. Lieberherr
Typed Concurrent Objects / Vasco T. Vasconcelos
Atomic Object Composition / Rachid Guerraoui
Patterns
Patterns Generate Architectures / Kent Beck ; Ralph Johnson
Meta Patterns - A Means for Capturing the Essentials of Reusable Object-Oriented Design / Wolfgang Pree
Modeling Object-Oriented Program Execution / Wim De Pauw ; Doug Kimelman ; John Vlissides
Invited Talk
Putting Objects to Work: Hypermedia as the Subject Matter and the Medium for Computer-Supported Cooperative Work / Norbert A. Streitz
Declarative Programming
Objet-Oriented Computations in Logic Programming / Andrea Ornicini ; Antonio Natali
Deductive Object Databases / Elisa Bertino ; Giovanna Guerrini ; Danilo Montesi
Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping / S. Alagic R. Sunderraman ; R. Bagai
Constraints and Object Identity / Gus Lopez ; Bj0rn Freem.an-Benson ; Alan Borning
Implementation
Protection in the Guide Object-Oriented Distributed System / Daniel Hagimont
Object Location Control Using Meta-level Programming / Hideaki Okamura ; Yutaka Ishikawa
Customising Object Allocation / Giuseppe Attardi ; Tito Flagella
Speciication
Combining Object-Oriented Analysis and Formal Description Techniques / Ana M.D. Moreira ; Robert G. Clark
A Specification Language for Object-Oriented Analysis and Design / Ted L. Briggs ; John Werth
Real-Time Specification Inheritance Anomalies and Real-Time Filters / Mehmet Aksit ; Jan Bosch ; William van der Sterren ; Lodewijk Bergmans
Dispatching
Eficient Dynamic Look-up Strategy for Multi-Methods / Weimin Chen ; Volker Turau ; Wolfgang Klas
Taming Message Passing: Efficient Method Look-up for Dynamically Typed Languages / Jan Vitek ; R. Nigel Horspool
Generalizing Dispatching in a Distributed Object System / Farshad Nayeri ; Ben Hurwitz ; Frank Manola
Experience
A Geographic Environmental Modeling System: Towards an Object-Oriented Framework / Bernd Bruegge ; Erik Riedel
Adding Digital Video to an Object-Oriented User Interface Toolkit / S.M.G. Freeman ; M.S. Manasse
Product Configurations - An Application for Prototype Object Approach / Hannu Pe.ltonen ; Tomi Mdnnisto ; Kari Alho ; Reijo Sulonen
Author Index
Keynote Speech
Beyond Objects / Luc Steels
Class Design
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼