Solving the bank : lightweight specification and verification techniques for enterprise software

Large enterprises such as banks face many challenges when it comes to controlling the every growing complexity of their systems. These systems are never created in one go, they are the result of many iterations during many decades of development. Since techniques evolve, so do these software systems. Controlling this complexity is a wicked problem since all the separate sub-systems influence each other in ways often not foreseen upfront.

• View at Worldcat

Free Full Text ( Final Version , 4mb )