Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
This is an ethnographic study of two software development teams within the same organization, one which utilizes the Extreme Programming (XP) methodology and one which does not. T...
Software Engineering studies run in classroom environments can and have made important contributions to empirical software engineering. Because the goal of such studies is to impr...
Software patterns are generic solutions to recurring problems. They are represented as a triplet (problem, context, solution). Several kinds of software patterns were identified, ...