Designing a programming environment raises diļ¬cult implementation problems since such software is not just one piece of code able to execute programs expressed in a given progra...
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
Shriram Krishnamurthi, Kathi Fisler, Michael Green...
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
Block joinpoints allow programmers to explicitly mark regions of base code as āto be advisedā, thus avoiding the need to extract the block into a method just for the sake of c...
Emergent game formats, such as machinima, that use game worlds as expressive 3D performance spaces have new expressive powers with an increase of the quality of their underlying g...