The ray optics is the branch of optics in which all the wave effects are neglected: the light is considered as travelling along rays which can only change their direction by refraction or reflection. On one hand, a fu...
详细信息
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.
Abstract The CRONE Toolbox, developed since the nineties by the CRONE team, is a Matlab Toolbox dedicated to fractional calculus. It is currently evolving towards an objectoriented version, which allows many enhancem...
详细信息
Abstract The CRONE Toolbox, developed since the nineties by the CRONE team, is a Matlab Toolbox dedicated to fractional calculus. It is currently evolving towards an objectoriented version, which allows many enhancements. Three main user classes, dedicated to fractional systems representations namely fractional transfer functions (frac_tf), fractional zeros poles and gain (frac_zpk), and fractional state-space (frac_ss), are developed. All three user classes are children of a parent class (frac_lti) which contains some common attributes of fractional systems. Among enhancements of the objectprogramming of the CRONE toolbox, is the overloading of basic operators (+, –, x, /, .x, …) and standard Matlab scripts (lsim, bode, nichols, …) for the new classes. As a consequence, an end user familiar with standard Matlab operators and scripts can use straightforwardly the CRONE toolbox. The main objective of this paper is to present class diagrams and principle features of the objectoriented CRONE toolbox, which can be downloaded at http://*** .
The proceedings contain 19 papers. The topics discussed include: WiKi-based framework for blended learning;structuring WiKi revision history;WiKiCreole: a common WiKi markup;do as I do: authorial leadership in Wikiped...
详细信息
ISBN:
(纸本)9781595938619
The proceedings contain 19 papers. The topics discussed include: WiKi-based framework for blended learning;structuring WiKi revision history;WiKiCreole: a common WiKi markup;do as I do: authorial leadership in Wikipedia;cooperation and quality in Wikipedia;connecting Wikis and natural language processing systems;on-line collaborative software development via WiKi;building collaborative capacities in learners;a framework for studying the use of Wikis in knowledge work using client-side access data;constructing teat: Wiki as a toolkit for (collaborative?) learning;conceptual enhancement via textual plurality: a pedagogical WiKi bow towards collaborative structuration;recommenders everywhere: the WiKiLens community-maintained recommender system;and Wikis in education: in public better?.
Functional programming languages are ideally suited for developing dependable software, but not much work have been done on modeling functional programs. Although UML is mainly based on concepts which are native to im...
详细信息
By the developing and maturing of remote communications technology, computer network technology and multimedia technology, internet applications has passed into a new phase. With the fast developing of the world econo...
详细信息
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 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 teaching of compiler construction and language theory is absent from many current computing degrees, the rationale being that they are now irrelevant to modern software engineering practice. In this paper a case i...
详细信息
The teaching of compiler construction and language theory is absent from many current computing degrees, the rationale being that they are now irrelevant to modern software engineering practice. In this paper a case is made for the inclusion of at least certain aspects of compiler construction and language theory in computing degrees to support and reinforce the acquisition of software development and software engineering knowledge and skills in an object-oriented context. An outline curriculum based around the recursive-descent methodology is proposed and a component toolkit is described that supports the delivery of this curriculum. Small languages, formal methods and object-orientation consolidation are identified as evidence of the applicability of compiler teaching to the wider software engineering context.
Advances in computer architectures, namely the prevalence of muticore architecture have raised challenges for software developers to take advantage of the parallelism. The paper introduces synchronization scheme based...
详细信息
暂无评论