We present the Interaction Techniques Markup Language (InTml), a case study of the use of Domain Specific languages (DSLs), Model Driven Development (MDD), and Software Product Lines (SPL) in the field of Virtual Real...
详细信息
ISBN:
(纸本)9781605587660
We present the Interaction Techniques Markup Language (InTml), a case study of the use of Domain Specific languages (DSLs), Model Driven Development (MDD), and Software Product Lines (SPL) in the field of Virtual Reality (VR) applications, a challenging domain due a wide variety of hardware platforms, computational limitations, and available solutions. We use existing technologies around the Eclipse Platform in order to create an IDE in which families of VR applications can be generated and played.
The objective of this poster is to show the evolution of the application framework ET++ from a university research project to a seamless platform for commercial application development in a banking environment. The pr...
详细信息
A polymorphic, constraint-based type inference algorithm for an object-oriented language is defined. A generalized form of type, polymorphic recursively constrained types, are inferred. These types are expressive enou...
详细信息
As software complexity increases, the process of software development is shifting from being code-centric to modelcentric. For this purpose, UML augments the object-oriented paradigm with powerful and flexible behavio...
详细信息
ISBN:
(纸本)9781595938657
As software complexity increases, the process of software development is shifting from being code-centric to modelcentric. For this purpose, UML augments the object-oriented paradigm with powerful and flexible behavioral modeling capabilities. It allows the developer to describe the system's behavior in a higher level of abstraction by using state machines, activities, and interactions. To facilitate such model-driven development, we present a plug-in for IBM Rational's modeling tools, which enables the execution, debugging and testing of UML models. The presentation will show how to use our tools to discover defects early in the development cycle, thus preventing costly rework at later stages. We will highlight the innovative features of our tools, such as model-level debug control, interactive dynamic debugging, and the extensibility that allows developing support for UML profiles.
Ownership types provide a statically enforceable notion of object-level encapsulation. We extend ownership types with computational effects to support reasoning about object-oriented programs. The ensuing system provi...
详细信息
ISBN:
(纸本)9781581134711
Ownership types provide a statically enforceable notion of object-level encapsulation. We extend ownership types with computational effects to support reasoning about object-oriented programs. The ensuing system provides both access control and effects reporting. Based on this type system;we codify two formal systems for reasoning about aliasing and the disjointness of computational effects. The first can be used to prove that evaluation of two expressions will never lead to aliases, while the latter can be used to show the non-interference of two expressions.
In the past years, there is significant growth in the number new technologies for Java developers. More recently, Services and Service oriented Architectures (SOA) becoming popular. Projects are now more complex and b...
详细信息
ISBN:
(纸本)9781595938657
In the past years, there is significant growth in the number new technologies for Java developers. More recently, Services and Service oriented Architectures (SOA) becoming popular. Projects are now more complex and becoming more challenging to complete on time. Sybase is a service-oriented unified design and environment that includes the power of enterprise with comprehensive tooling capabilities. demonstration shows how enterprise modeling, database, Web application development, servicesoriented and orchestration, and mobile development come together to build SOA applications. It demonstrates how Sybase WorkSpace integrates most important design and development tools in an to-use open-source framework.
A new architecture is developed to integrate a family of products onto common platform. The communications back-plane for this architecture is provided by an object request broker (ORB). The impact of using an ORB in ...
详细信息
ISBN:
(纸本)1581130376
A new architecture is developed to integrate a family of products onto common platform. The communications back-plane for this architecture is provided by an object request broker (ORB). The impact of using an ORB in the development of the `real-life' product is described. The products are delivered in the domain of Network Management, and have the following characteristics: network traffic management and network capacity engineering.
The Workshop on object-oriented Real-Time systems has been conduced each year at oopsla since 1988 with a variety of formats. In this year's workshop, participants submitted position papers on a broad range of sub...
详细信息
ISBN:
(纸本)0897917219
The Workshop on object-oriented Real-Time systems has been conduced each year at oopsla since 1988 with a variety of formats. In this year's workshop, participants submitted position papers on a broad range of subjects, but were all asked to show the relevance of their work to three critical issues in OO real-time systems: dealing with time constraints;the roles of reactive versus scheduled behavior;and appropriate models of concurrent behavior. All position papers were presented and discussed during the workshop, followed by a round-table discussion of the state of the art regarding the three focus issues.
暂无评论