Industrial Deployment of System Engineering Methods

pp 63-79

Business Information Sector

  • Sebastian WieczorekAffiliated withSAP AG Email author 
  • , Vitaly KozyuraAffiliated withSAP AG
  • , Wei WeiAffiliated withSAP AG
  • , Andreas RothAffiliated withSAP AG
  • , Alin StefanescuAffiliated withUniversity of Pitesti

* Final gross prices may vary according to local VAT.

Get Access


Enterprise software helps modern corporates to automate their businesses in order to run efficiently and economically. We report a story of successful introduction of formal methods to business software development. This deployment came in three phases: modelling, formal verification and model-based testing. For each phase, we describe a few representative deployment cases in detail, and discuss the problems that we encountered and the decisions that we had to make. The work discussed here was carried out to focus on issues of interest to SAP, the world’s leading provider of enterprise software.