Web applications exemplify the need for generative programmingtechniques in part due to the many languages, artifacts, and groups of developers involved. Some problems remain, including those that that arise from the ...
详细信息
ISBN:
(纸本)9781595938657
Web applications exemplify the need for generative programmingtechniques in part due to the many languages, artifacts, and groups of developers involved. Some problems remain, including those that that arise from the interplay with versioning. This paper proposes addressing these problems with structured program transformations, and explores a framework for the co-evolution of platform artifacts and the models that generate them.
Software frameworks contain many internal constraints which plugins cannot break. These constraints are relative to the context of the plugin, and they can involve multiple framework objects. This work creates a light...
详细信息
ISBN:
(纸本)9781595938657
Software frameworks contain many internal constraints which plugins cannot break. These constraints are relative to the context of the plugin, and they can involve multiple framework objects. This work creates a lightweight mechanism specifying semantic constraints on the framework and checking plugins against this specification.
Pointers or references can be identified as the root cause of many fundamental problems in current programminglanguages, typically resulting in unspecified object dependencies and missing hierarchical encapsulation. ...
详细信息
ISBN:
(纸本)9781595938657
Pointers or references can be identified as the root cause of many fundamental problems in current programminglanguages, typically resulting in unspecified object dependencies and missing hierarchical encapsulation. We therefore propose to abandon references from the language and to use expressive program relations instead. For this purpose, we have developed a programming language which is only based on hierarchical composition and interface connections.
Domain-Specific Modeling raises the level of abstraction beyondprogramming by specifying the solution directly using visual models to express domain concepts. In many cases, final products can be generated automatica...
详细信息
ISBN:
(纸本)9781595938657
Domain-Specific Modeling raises the level of abstraction beyondprogramming by specifying the solution directly using visual models to express domain concepts. In many cases, final products can be generated automatically from these high-level specifications. This automation is possible because both the language and generators fit the requirements of only one domain. This paper introduces Domain-Specific Modeling and describes the related 2-day workshop (21st and22nd October).
An appealing strategy for supporting specialization of an object-oriented framework is to adopt a domain-specific modeling approach, where a domain meta-model and a code generator are manually developed to support mod...
详细信息
ISBN:
(纸本)9781595938657
An appealing strategy for supporting specialization of an object-oriented framework is to adopt a domain-specific modeling approach, where a domain meta-model and a code generator are manually developed to support model-driven framework specialization. Our research advocates that this support can be automated by having an additional specializationlayer in the framework.
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a javac plug-in that enforces the Javari type...
详细信息
ISBN:
(纸本)9781595938657
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a javac plug-in that enforces the Javari type system, and a type inference tool. The system is fully compatible with existing Java programs.
Mainstream object-orientedlanguages such as C# and Java provide an initialization model for objects that does not guarantee programmer controlled initialization of fields. Instead, all fields are initialized to defau...
详细信息
The PACC Starter Kit is an eclipse-based development environment that combines a model-driven development approach with reasoning frameworks that apply performance, safety, and security analyses. These analyses predic...
详细信息
ISBN:
(纸本)9781595938657
The PACC Starter Kit is an eclipse-based development environment that combines a model-driven development approach with reasoning frameworks that apply performance, safety, and security analyses. These analyses predict runtime behavior based on specifications of component behavior and are accompanied by some measure of confidence.
Adaptive programming allows developers to write structureshy programs. However, in Adaptive programming, recursive computations are known to require a good deal of boiler plate code to express. This paper describes pe...
详细信息
ISBN:
(纸本)9781595938657
Adaptive programming allows developers to write structureshy programs. However, in Adaptive programming, recursive computations are known to require a good deal of boiler plate code to express. This paper describes perobject visitors; a programming construct that allows developers to write recursive adaptive computations at a higher level of abstraction. This paper also describes a prototype implementation for perobject visitors.
Developing large software systems has largely become an exercise in integration. The main effort is writing "glue" that holds externally developed components together. We will explore the shift away from com...
详细信息
ISBN:
(纸本)9781595938657
Developing large software systems has largely become an exercise in integration. The main effort is writing "glue" that holds externally developed components together. We will explore the shift away from commercial off-the-shelf (COTS) to free/open source software (F/OSS) components, and identify the opportunities and issues introduced by it.
暂无评论