Shallow water hydrodynamics and numerics for flow physics, including object-orientedprogramming for the finite-element method, are topics in this issue of Engineering and Computational Mechanics. Also included are fo...
详细信息
Shallow water hydrodynamics and numerics for flow physics, including object-orientedprogramming for the finite-element method, are topics in this issue of Engineering and Computational Mechanics. Also included are four book reviews, the last one on large eddy simulation, a modern (closure) method, in vital technical development and practical use (Rashid et al., 2010).
This article explores the major design characteristics (both pedagogic as well as technical) that helped to shape Alice 2. It identifies several strengths of Alice as well as several weaknesses. An example problem is ...
详细信息
In this paper we introduce a new view on roles in object oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object instance playing the role and also to an o...
详细信息
ISBN:
(纸本)1595931082
In this paper we introduce a new view on roles in object oriented programming languages, based on an ontological analysis of roles. A role is always associated with an object instance playing the role and also to an object instance (its institution) which represents its context. The definition of a role depends on the definition of the institution. This property allows to endow role-players with powers that can modify the state of the institution and of the other roles defined in it. As an example, we introduce a role construct in Java, where the abolve features are interpreted as follows. Roles are implemented as classes, which can be instantiated only in presence of an instance of the player and of an instance of an institution. The definition of a class implementing a role is included in the class of the institution, the role belongs to. Powers are methods which can access private fields and methods of the institution they belong to, and of the other roles of the same institution. Copyright 2006 ACM.
Small Programmable object Technology devices from Sun Microsystems (Sun SPOTs) are small wireless devices that can run Java programs. In the on-going research project described in this paper, Sun SPOTs have been used ...
详细信息
ISBN:
(纸本)9789048136599
Small Programmable object Technology devices from Sun Microsystems (Sun SPOTs) are small wireless devices that can run Java programs. In the on-going research project described in this paper, Sun SPOTs have been used in conjunction with model-driven software development techniques to develop a tool that can be used to introduce new software developers to object-orientedprogramming in general and Java in particular in a new and interesting way. The tool, a graphical user interface application, allows users to quickly design, build, and deploy Java applications to the Sun SPOTs without using a conventional integrated development environment or low level commands. In this way new developers aren't so overwhelmed by the wealth of technologies, commands, and possibilities offered by the current sophisticated Java development tools. However, the generated Java source code will be available as either an Eclipse or Net Beans project for those who would like to study it.
SIMULA was a language for modeling and programming and provided a unified approach to modeling and programming in contrast to methodologies based on structured analysis and design. The current development seems to be ...
详细信息
ISBN:
(纸本)9783642161445
SIMULA was a language for modeling and programming and provided a unified approach to modeling and programming in contrast to methodologies based on structured analysis and design. The current development seems to be going in the direction of separation of modeling and programming. The goal of this paper is to go back to the future and get inspiration from SIMULA and propose a unified approach. In addition to reintroducing the contributions of SIMULA and the Scandinavian approach to object-orientedprogramming, we do this by discussing a number of issues in modeling and programming and argue(1) why we consider a unified approach to be an advantage.
We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation even an object's own access to its internal structure is performed by ...
详细信息
ISBN:
(纸本)9783642141065
We describe support for modularity in Newspeak, a programming language descended from Smalltalk [33] and Self [69]. Like Self, all computation even an object's own access to its internal structure is performed by invoking methods on objects. However, like Smalltalk, Newspeak is class-based. Classes can be nested arbitrarily, as in Beta [44]. Since all names denote method invocations, all classes are virtual;in particular, superclasses are virtual, so all classes act as mixins. Unlike its predecessors, there is no static state in Newspeak, nor is there a global namespace. Modularity in Newspeak is based exclusively on class nesting. There are no separate modularity constructs such as packages. Top level classes act as module definitions, which are independent, immutable, self-contained parametric namespaces. They can be instantiated into modules which may be stateful and mutually recursive.
Modern object-oriented languages support higher-order implementations through function objects such as delegates in C#, agents in Eiffel, or closures in Scala. Function objects bring a new level of abstraction to the ...
详细信息
ISBN:
(纸本)9783642139529
Modern object-oriented languages support higher-order implementations through function objects such as delegates in C#, agents in Eiffel, or closures in Scala. Function objects bring a new level of abstraction to the object-orientedprogramming model, and require a comparable extension to specification and verification techniques. We introduce a verification :methodology that extends function objects with auxiliary side-effect free (pure) methods to model logical artifacts: preconditions, postconditions and modifies clauses. These pure methods can be used to specify client code abstractly, that is, independently from specific instantiations of the function objects. To demonstrate the feasibility of our approach, we have implemented an automatic prover, which verifies several non-trivial examples.
Teaching introductory object-orientedprogramming presents considerable challenges. Some of these challenges are due to the intrinsic complexity of the subject matter - object-oriented concepts are tightly interrelate...
详细信息
ISBN:
(纸本)9783642113758
Teaching introductory object-orientedprogramming presents considerable challenges. Some of these challenges are due to the intrinsic complexity of the subject matter - object-oriented concepts are tightly interrelated and appear in many combinations. The present work describes an approach to modeling educational domains and reports on the results for object-orientation. It analyzes the dependency structure of object-oriented concepts and describes the implications that the high interrelatedness of concepts has on teaching introductory programming.
The need to support multiple views of complex software architectures, each capturing a different aspect of the system under development, has been recognized for a long time. Even the very first object-oriented analysi...
详细信息
暂无评论