15 search results - page 1 / 3 » Supporting the Selection of Design Patterns by Formal Defini... |
EUROPLOP
2006
13 years 6 months ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
ECEASST
2006
13 years 4 months ago
2006
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
POPL
2004
ACM
14 years 4 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
ASWEC
2005
IEEE
13 years 10 months ago
2005
IEEE
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...
DOCENG
2003
ACM
13 years 9 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...