Design patterns are widely recognized as important software development methods. Their use as software understanding tools, though generally acknowledged has been scarcely explore...
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combin...
The goal of the UsersAward programme is to develop and maintain a strategy for better workplace software through user-driven quality assessment. One of its key activities is the u...
Software engineering researchers solve problems of several different kinds. To do so, they produce several different kinds of results, and they should develop appropriate evidence...
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
Robert P. Kurshan, Vladimir Levin, Marius Minea, D...