Interactive graphical applications implicitly contain a large number of constraints - relationships between objects, such as widgets and the underlying model they control. Encapsulation, a fundamental principle of obj...
详细信息
ISBN:
(纸本)1581138334
Interactive graphical applications implicitly contain a large number of constraints - relationships between objects, such as widgets and the underlying model they control. Encapsulation, a fundamental principle of object-orientedprogramming, is only guaranteed in a very limited sense by most object-orientedlanguages. Constrained-Java provides a constraint system built upon stronger encapsulation guarantees which allows constraints to depend on entire aggregated objects.
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.
This paper describes the effort undertaken at the University of Iowa to institute a software engineering curriculum at the graduate level. We describe our experiences over 2 years in developing a pilot 2-semester cour...
详细信息
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.
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.
F-Script is a Smalltalk-like interactive scripting language based on the Mac OS X object model. F-Script provides scripting and interactive access to Mac OS X frameworks and custom objects. It also introduces an innov...
详细信息
ISBN:
(纸本)1581137516
F-Script is a Smalltalk-like interactive scripting language based on the Mac OS X object model. F-Script provides scripting and interactive access to Mac OS X frameworks and custom objects. It also introduces an innovative high-level object-orientedprogramming model based on APL-like array programming principles.
Mach. a multiprocesor operating system kernel providing capability-based interprocess communication, and Matchmaker, a language for specifying and automating the generation of mulli-lingual interprocess communication ...
详细信息
As data persistence is very poorly supported by current programmingsystems, we have initiated a research project to improve this situation. The result is the new programming language Persistent Active Oberon, which d...
详细信息
ISBN:
(纸本)159593491X
As data persistence is very poorly supported by current programmingsystems, we have initiated a research project to improve this situation. The result is the new programming language Persistent Active Oberon, which directly institutionalizes persistence as a fundamental concept and liberates the programmer from writing complicated code for database interactions.
暂无评论