Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
Abstract. System architectures are described in abstract terms, often using Design Patterns. Actual reuse based on such descriptions requires that each development project derive a...
To maximize the velocity of business value delivery, Alistair Cockburn talks of having a process that is "barely sufficient." At Landmark Graphics we developed some guid...
Todd Little, Forrest Greene, Tessy Phillips, Rex P...
The importance of software measurement during the software development process is generally accepted, nowadays. Unfortunately, in practice common software measurement tools find s...
Hashem Yazbek, Reiner R. Dumke, Andreas Schmietend...