The proceedings contain 5 papers. The topics discussed include: measurement of software requirements derived from system reliability requirements;a COSMIC measurement procedure for sizing web applications developed us...
ISBN:
(纸本)9781450305396
The proceedings contain 5 papers. The topics discussed include: measurement of software requirements derived from system reliability requirements;a COSMIC measurement procedure for sizing web applications developed using the OO-H method;a study of non-linearity in the statistical convertibility of function points into COSMIC function points;assessing the current state of software evolution and intellectual energy spent;and transactions in use case points - the same or different?.
The proceedings contain 21 papers. The special focus in this conference is on object-orientedprogramming. The topics include: Built-in object security;modeling crosscutting in aspect-oriented mechanisms;spontaneous c...
ISBN:
(纸本)9783540405313
The proceedings contain 21 papers. The special focus in this conference is on object-orientedprogramming. The topics include: Built-in object security;modeling crosscutting in aspect-oriented mechanisms;spontaneous container services;a calculus of untyped aspect-oriented programs;language support for connector abstractions;mobile object exchange for collaborative applications;regular object types;external uniqueness is unique enough;a nominal theory of objects with dependent types;composable units of behaviour;a type system and analysis for the automatic extraction and enforcement of design information;an automated and lightweight tool for diagnosing memory leaks in large java applications;java subtype tests in real-time;discovering algebraic specifications from java classes;a refinement algebra for object-orientedprogramming and object-oriented reading techniques for inspection of UML models - an industrial experiment.
The proceedings contain 29 papers. The topics discussed include: feature-orientedprogramming with object algebras;feature-orientedprogramming with object algebras;combining form and function: static types for JQuery...
ISBN:
(纸本)9783642390371
The proceedings contain 29 papers. The topics discussed include: feature-orientedprogramming with object algebras;feature-orientedprogramming with object algebras;combining form and function: static types for JQuery programs;heap decomposition inference with linear programming;a formal semantics for isorecursive and equirecursive state abstractions;trustworthy proxies: virtualizing objects with invariants;the billion-dollar fix: safe modular circular initialization with placeholders and placeholder types;ownership-based isolation for concurrent actors on multi-core machines;enabling modularity and re-use in dynamic program analysis tools for the java virtual machine;reducing lookups for invariant checking;and verification condition generation for permission logics with abstract predicates and abstraction functions.
The proceedings contain 26 papers. The special focus in this conference is on object-orientedprogramming. The topics include: Active programming strategies in reuse;frameworks in the financial engineering domain an e...
ISBN:
(纸本)9783540571209
The proceedings contain 26 papers. The special focus in this conference is on object-orientedprogramming. The topics include: Active programming strategies in reuse;frameworks in the financial engineering domain an experience report;integrating independently-developed components in object-oriented languages;encapsulating plurality;objectoriented interoperability;implementation of distributed trellis;a new definition of the subtype relation;attaching second-order types to methods in an object-oriented language;typed sets as a basis for object-oriented database schemas;the OSI managed-object model;nested mixin-methods in agora;solving the inheritance anomaly in concurrent object-orientedprogramming;type inference of self;predicate classes;a temporal object-oriented algebra;a timed calculus for distributed objects with clocks;a language framework for multi-object coordination;panda — supporting distributed programming in C++;transparent parallelisation through reuse: between a compiler and a library approach;design patterns: abstraction and reuse of object-oriented design;tangible specification of reactive object behavior;an agent perspective;designing an extensible distributed language with a meta-level architecture;a flexible metaclass generator and aims, means, and futures of object-oriented languages.
The proceedings contain 23 papers. The special focus in this conference is on object-orientedprogramming. The topics include: On unifying relational and object-oriented database systems;import is not inheritance why ...
ISBN:
(纸本)9783540556688
The proceedings contain 23 papers. The special focus in this conference is on object-orientedprogramming. The topics include: On unifying relational and object-oriented database systems;import is not inheritance why we need both: modules and classes;object-oriented multi-methods in cecil;aggregation in a behavior orientedobject model;reasoning and refinement in object-oriented specification languages;combining object-oriented and logic paradigms: a modal logic programming approach;an incremental class reorganization approach;system design by composing structures of interacting objects;unifying the design and implementation of user interfaces through the object paradigm;nesting actions through asynchronous message passing;inheritance of synchronization constraints in concurrent object-orientedprogramming languages;an eiffel environment to program distributed memory parallel computers;using object-orientedprogramming techniques for implementing ISDN supplementary services;an object model for engineering design;an object-oriented class library for scalable parallel heuristic search;integrating constraints with an object-oriented language;specifying reusable components using contracts;a type system for object-orientedprogramming based on abstract and concrete classes;making type inference practical;an object-oriented language-database integration model: the composition-filters approach;supporting physical independence in an object database server and developing a class hierarchy for object-oriented transaction processing.
The proceedings contain 27 papers. The topics discussed include: design patterns - 15 years later;codequest: scalable source code queries with datalog;efficient object querying for java;automatic perfetching by traver...
详细信息
ISBN:
(纸本)3540357262
The proceedings contain 27 papers. The topics discussed include: design patterns - 15 years later;codequest: scalable source code queries with datalog;efficient object querying for java;automatic perfetching by traversal profiling in object persistence architectures;the runtime structure of object ownership;on ownership and accessibility;scoped types and aspects for real-life Java;transparently reconciling transactions with locking for Java synchronization;object technology - a grand narrative?;the continuing quest for abstraction;early concurrent/mobile objects - modeling a simple post office;turning the network into a database with active XML;superglue: component programming with object-oriented signals;variance and generalized constraints for C# generics;automated detection of refactorings in evolving components;and managing the evolution of aspect-oriented software with model-based pointcuts.
The proceedings contain 28 papers. The topics discussed include: gradual typing for objects;generic universe types;declarative object identity using relation types;generational real-time garbage collection;validity in...
详细信息
ISBN:
(纸本)9783540735885
The proceedings contain 28 papers. The topics discussed include: gradual typing for objects;generic universe types;declarative object identity using relation types;generational real-time garbage collection;validity invariants and effects;efficiently generating structurally complex inputs with thousands of objects;matching objects with patterns;a relational model pf object collaborations and its use in reasoning about relationships;metaprogramming with traits;a higher abstraction level using first-class inheritance relations;joinpoint inference from behavioral specification to implementation;a machine model for aspect-orientedprogramming;a staged static program analysis to improve the performance of runtime monitoring;and metamodel adaptation and model co-adaptation.
The proceedings contain 23 papers. The special focus in this conference is on UML and object-orientedprogramming. The topics include: Towards a unified programming language;creative object-oriented modelling;design p...
ISBN:
(纸本)3540676600
The proceedings contain 23 papers. The special focus in this conference is on UML and object-orientedprogramming. The topics include: Towards a unified programming language;creative object-oriented modelling;design pattern application in UML;a modeling language for object-oriented frameworks;extending moby with inheritance-based subtyping;a basic model of typed components;on inner classes;a smooth extension of java with mixins;a mixin-based, semantics-based approach to reusing domain-specific programming languages;generic wrappers;copying and comparing;developing security systems in the real world;distributed asynchronous collections;design templates for collective behavior;ionic types;load-time structural reflection in java;runtime support for type-safe dynamic java classes;openJIT;using objects for next generation communication services;empirical study of object layout strategies and optimization techniques;optimizing java programs in the presence of exceptions and automated test case generation from dynamic models.
The proceedings contain 25 papers. The topics discussed include: detecting missing method calls in object-oriented software;debugging model-transformation failures using dynamic tainting;automatically extracting class...
ISBN:
(纸本)3642141064
The proceedings contain 25 papers. The topics discussed include: detecting missing method calls in object-oriented software;debugging model-transformation failures using dynamic tainting;automatically extracting class diagrams from spreadsheets;the essence of JavaScript;verifying executable object-oriented specifications with separation logic;verifying generics and delegates;recency types for analyzing scripting languages;correct refactoring of concurrent Java code;programming coordinated behavior in Java;doubts about the positive impact of static type systems on programming tasks in single developer projects - an empirical study;a type system for data-centric synchronization;type-safe eventful sessions in Java;capabilities for uniqueness and borrowing;embedding languages without breaking tools;self-replicating objects for multicore platforms;and falling back on executable specifications.
The proceedings contain 28 papers. The special focus in this conference is on object-orientedprogramming. The topics include: On validity of program transformations in the java memory model; isolation-typed actors fo...
ISBN:
(纸本)3540705910;9783540705918
The proceedings contain 28 papers. The special focus in this conference is on object-orientedprogramming. The topics include: On validity of program transformations in the java memory model; isolation-typed actors for java; a uniform transactional execution environment for java; a language with quantified, typed events; prototyping and composing aspect languages; assessing the impact of aspects on exception flows; incremental typechecking for class upgrades; integrating nominal and structural subtyping; flow analysis of code customizations; online phase-adaptive data layout selection; scalable memory management for multi-tasking managed runtime environments; externalizing java server concurrency with cal; regional logic for local reasoning about global invariants; a unified framework for verification techniques for object invariants; extensible universes for object-oriented data models; programming with live distributed objects; a language for robust software systems; session-based distributed programming in java; making software failures reproducible by preserving object states; an extensible state machine pattern for interactive applications; practical object-oriented back-in-time debugging; inference of reference immutability; computing stack maps with interfaces and an empirical study of inheritance in java software.
暂无评论