This demonstration shows a lightweight and fast method for a tested and working domain specific language. The is demonstrated using the ngrease metalanguage. creation of a new language is started by writing a example ...
详细信息
ISBN:
(纸本)9781595938657
This demonstration shows a lightweight and fast method for a tested and working domain specific language. The is demonstrated using the ngrease metalanguage. creation of a new language is started by writing a example of the final product with a test that the transformation from a stub source to the result. test is made to pass by writing a constant transformer unconditionally outputs the result. each step the language is extended by refactoring: part of the transformer template is converted from a subtree to a reference to data read from the source, thus driving additions to the new language., each refactoring step can be driven by a new that demonstrates the lack of parameterization of some of the final product.
Scheme papers demonstrated that lisp could be made simpler and more expressive by elevating functions to the level of first class objects. Oaklisp shows that a message based language can derive similar benefits from h...
详细信息
A model for verification and testing in an object-oriented CS2 course is presented. The model has four stages - two for verification and two for testing - at which student progress is evaluated. Students thereby see v...
详细信息
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. However, design defects have not been preci...
详细信息
ISBN:
(纸本)9781595938657
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. However, design defects have not been precisely specified and there are few appropriate tools that allow their detection as well as their correction. Our goal is to provide a systematic method to specify systematically design defects precisely and to generate automatically detection and correction algorithms from their specifications. The detection algorithms are based not only on metrics but also on semantical and structural properties whereas the correction algorithms are based on refactorings. We apply and validate these algorithms on open-source object-oriented programs to show that our method allows a systematic specification, a precise detection, and a suitable correction of design defects.
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make the ownership domains type system more...
详细信息
ISBN:
(纸本)9781595938657
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make the ownership domains type system more expressive. Second, ownership domain annotations enable obtaining, at compile time, the execution structure of an annotated program. The execution structure is sound, hierarchical and scales to large programs. It also conveys more design intent that existing compile-time approaches that do not rely on ownership annotations. Finally, tools will infer these annotations semi-automatically at compile time, once a developer provides the design intent.
The Eclipse platform is designed for building integrated development environments for object-oriented *** goal of the ETX workshop is to bring together researchers and practitioners to exchange ideas about potential n...
详细信息
ISBN:
(纸本)9781595938657
The Eclipse platform is designed for building integrated development environments for object-oriented *** goal of the ETX workshop is to bring together researchers and practitioners to exchange ideas about potential new uses of Eclipse and how the core Eclipse technology can be leveraged, improved and/or extended for research and teaching projects.
We present a formal specification technique for objectoriented program components based on their boundary message behaviour. Component specifications describe restrictions on the set of message traces for a component ...
详细信息
We present a formal specification technique for objectoriented program components based on their boundary message behaviour. Component specifications describe restrictions on the set of message traces for a component without referring to actual implementations. Finally, we provide a framework to link specifications with abstract states to their implementations.
Most object-oriented programs have imperfectly designed inheritance hierarchies and imperfectly factored methods, and these imperfections tend to increase with maintenance. Hence, even object-oriented programs are mor...
详细信息
ISBN:
(纸本)9780897917889
Most object-oriented programs have imperfectly designed inheritance hierarchies and imperfectly factored methods, and these imperfections tend to increase with maintenance. Hence, even object-oriented programs are more expensive to maintain? harder to understand and larger than necessary. Automatic restructuring of inheritance hierarchies and refactoring of methods can improve the design of inheritance hierarchies, and the factoring of methods. This results in programs being smaller, having better code re-use and being more consistent. This paper describes Guru, a prototype tool for automatic inheritance hierarchy restructuring and method refactoring of Self programs. Results from realistic applications of the tool are presented.
暂无评论