Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...
[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within b...
The goal of this workshop is to provide an opportunity for researchers and industry practitioners to explore both the stateof-the art and the state-of-the-practice in global softw...
Daniela E. Damian, Filippo Lanubile, Heather L. Op...
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...