Nan Niu, Steve M. Easterbrook. On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study. In Ulrich Ultes-Nitsche, Juan Carlos Augusto, Joseph Barjis, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with . pages 115-117, INSTICC Press, 2005.
Abstract is missing.