The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
: Before any of the current “agile” development methods, Earned Value Management provided information for planning and controlling complex projects by measuring how much “val...
Software repositories are rich sources of information about the software development process. Mining the information stored in them has been shown to provide interesting insights ...
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
Marieke Huisman, Dilian Gurov, Christoph Sprenger,...