An industrial application of an integrated UML and SDL modeling technique

The use of rigorous software development techniques provides opportunities for the early detection of defects in software requirements and design. Early detection and correction of defects can, in turn, reduce the time spent on implementing defective software models. A number of rigorous techniques that target specific development phases exist. Industrial use of these techniques requires the development of appropriate integration strategies that result in cohesive sets of techniques that effectively cover the software development process. In this paper we present some of the experiences we gained in developing and applying an integrated requirements and design modeling approach