Abstract. Software requirements engineering is an essential activity for the successful development of information systems. Requirements can be specified using different techniques...
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
Abstract. Design patterns provide solutions to recurring design problems in object-oriented programming. Design patterns typically crosscut class boundaries so previous work aimed ...
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
Ondrej Rypacek, Roland Carl Backhouse, Henrik Nils...