The proceedings contain 31 papers. The topics discussed include: associated types and constraint propagation for mainstream object-oriented generics;deriving object typestates in the presence of inter-object reference...
详细信息
The proceedings contain 31 papers. The topics discussed include: associated types and constraint propagation for mainstream object-oriented generics;deriving object typestates in the presence of inter-object references;modeling architectural patterns using architectural primitives;parametric polymorphism for software component architectures;using dependency models to manage complex software architecture;interaction-based programming with classages;fine-grained interoperability through mirrors and contracts;improving virtual machine performance using a cross-run profile repository;relational queries over program traces;lifting sequential graph algorithms for distributed-memory parallel computation;and safe futures for Java.
The proceedings contain 37 papers. The topics discussed include: an evaluation of automatic object inline allocation techniques;JRes: a resource accounting interface for java;dynamic class loading in the java virtual ...
ISBN:
(纸本)1581132867
The proceedings contain 37 papers. The topics discussed include: an evaluation of automatic object inline allocation techniques;JRes: a resource accounting interface for java;dynamic class loading in the java virtual machine;object-oriented practice in 1998 (panel): does it help or hinder collaboration?;ownership types for flexible alias protection;borrow, copy or steal?: loans and larceny in the orthodox canonical form;safe metaclass programming;adaptive plug-and-play components for evolutionary software development;role model based framework design and integration;how to preserve the benefits of design patterns;data groups: specifying the modification of extended state;and a lambda calculus of objects with self-inflicted extension.
The proceedings contain 110 papers. The topics discussed include: making frameworks work: a project retrospective;once upon a time, like never before: the challenge of telling the next story;second life: the world'...
详细信息
ISBN:
(纸本)9781595938657
The proceedings contain 110 papers. The topics discussed include: making frameworks work: a project retrospective;once upon a time, like never before: the challenge of telling the next story;second life: the world's biggest programming environment;collaboration and telecollaboration in design;Elephant 2000: a programming language based on speech acts;precise software documentation: making object-orientation work better;context, perspective, and programs;complexity management;1st international workshop on in process software engineering measurement and analysis (ISEMA 2007);the first international workshop on patterns languages: addressing challenges (PLAC 2007);fifth international workshop on SOA & Web services best practices;and the 7th OOPSLA workshop on domain-specific modeling.
The proceedings contain 39 papers. The topics discussed include: variant path types for scalable extensibility;dependent classes;component nextgen: a sound and expressive component framework for Java;user-changeable v...
详细信息
ISBN:
(纸本)9781595937865
The proceedings contain 39 papers. The topics discussed include: variant path types for scalable extensibility;dependent classes;component nextgen: a sound and expressive component framework for Java;user-changeable visibility resolving unanticipated name clashes in traits;tractions with isolation and cooperation;granting Java interface developers their wishes;the justadd extensible Java compiler;streamflex: high-throughput stream programming in Java;the causes of bloat, the limits of health;notation and representation in collaborative object-oriented design: an observational study;WebRB: evaluating a visual domain-specific language for building relational web-application;modular typestate checking of aliased objects;and modular verification of higher-order methods with mandatory calls specified by model programs.
The proceedings contain 9 papers. The topics discussed include: migrating legacy engineering applications to Java;hitting the target: adding interaction design to agile software development;a common multi-platform har...
ISBN:
(纸本)1581134711
The proceedings contain 9 papers. The topics discussed include: migrating legacy engineering applications to Java;hitting the target: adding interaction design to agile software development;a common multi-platform hardware object model;extreme embedded a report from the front line;designing a web services project for maximum value: the 90 day challenge;transformation of an application data layer;agile techniques to avoid firefighting at a start-up;making RUP agile;and defining and implementing a scientific analysis software architecture.
The proceedings contain 82 papers. The topics discussed include: modeling infection scenarios - a fixed-price extreme programming success story;extreme programming in practice;porting a core CGI workflow system onto a...
ISBN:
(纸本)1581133073
The proceedings contain 82 papers. The topics discussed include: modeling infection scenarios - a fixed-price extreme programming success story;extreme programming in practice;porting a core CGI workflow system onto a was platform while being used and extended to support the enterprise;virtual yacht racing on the web;designing a flexible services-based architecture for Internet applications;a decade of modeling financial vehicles;how conceptual system architecture leads to business process;building a large-scale generic object model: applying the CYC upper ontology to object database development in java;application integration framework for a large business process redesign project;ESCORT: lessons from an integration project;application frameworks before system frameworks;evaluation of coupling in the context of java interfaces;and from documents to applications via frameworks: the tools and materials approach.
The proceedings contain 105 papers. The topics discussed include: jMock: supporting responsibility-based design with mock objects;advanced refactorings in eclipse;JQuery: finding your way through tangled code;modeling...
ISBN:
(纸本)1581138334
The proceedings contain 105 papers. The topics discussed include: jMock: supporting responsibility-based design with mock objects;advanced refactorings in eclipse;JQuery: finding your way through tangled code;modeling event driven applications with a specification language (MEDASL);design snippets: partial design representations extracted from source code;meta-programming for the real world;JRA: offline analysis of runtime behavior;modeling and building software product lines with eclipse;PRISM is research in aSpect mining;smell detection for eclipse;program transformations for re-engineering C++ components [OOPSLA/GPCE];C-SAW and GenAWeave: a two-level aspect weaving toolsuite;the concern manipulation environment [OOPSLA/GPCE];object-oriented, structural software configuration management;implementing DSL in MetaOCaml;modeling dynamics of agile software development;interactive visualization of object-oriented programs;and generic ownership: practical ownership in programminglanguages.
The proceedings contain 32 papers. The topics discussed include: object-oriented behavioral semantics with an emphasis on semantics of large OO business specifications;reflections on the orb: a look back at our experi...
ISBN:
(纸本)1581130376
The proceedings contain 32 papers. The topics discussed include: object-oriented behavioral semantics with an emphasis on semantics of large OO business specifications;reflections on the orb: a look back at our experience building an ORB-based architecture;object-oriented design quality;exploring largeness, complexity and scalability from the OOT perspective;building high-performance applications and services in java: an experiential study;business object design and implementation III;object technology, architectures and domain analysis;expert workflow building knowledge-based workflow systems with object technology;everything I need to know I learned from the Chrysler payroll project;experiences developing a bank loan system;how to achieve 7.52 function-points per person-day with object technology;doing your first OO project OO education issues in industry and academia;object technology and product lines;overcoming cultural barriers to the adoption of object technology;and resources for early object design education.
The proceedings contain 52 papers. The topics discussed include: automatic parallelization of pure method calls via conditional future synthesis;portable inter-workgroup barrier synchronisation for GPUs;semantics-base...
ISBN:
(纸本)9781450344449
The proceedings contain 52 papers. The topics discussed include: automatic parallelization of pure method calls via conditional future synthesis;portable inter-workgroup barrier synchronisation for GPUs;semantics-based program verifiers for all languages;hoare-style specifications as correctness conditions for non-linearizable concurrent objects;modeling and analysis of remote memory access programming;deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations;speeding up machine-code synthesis;extensible access control with authorization contracts;and gentrification gone too far? affordable 2nd-class values for fun and (co)effect.
The proceedings contain 101 papers. The topics discussed include: model driven development - the case for domain orientedprogramming;an end-to-end domain-driven software development framework;XAspects: an extensible ...
ISBN:
(纸本)1581137516
The proceedings contain 101 papers. The topics discussed include: model driven development - the case for domain orientedprogramming;an end-to-end domain-driven software development framework;XAspects: an extensible system for domain-specific aspect languages;the power of symmetry: unifying inheritance and generative programming;domain driven web development with WebJinn;automated impact analysis of object-oriented software systems;a demonstration of JPie: an environment for live software construction in Java;reuse learning objects through LOM and XML;QuickUML: a tool to support iterative design and code development;GME: the generic modeling environment;generative model transformer;semantic software engineering tools;a policy based system to incorporate self-managing behaviors in applications;using events to debug Java programs backwards in time;and issues on building T++, a tool for web application development with C++.
暂无评论