Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...
Current software development methodologies (such as agile and RUP) are largely management-centred, macro-process life-cycle models. While they may include some fine-grained micro-p...
Liming Zhu, D. Ross Jeffery, Mark Staples, Ming Hu...
Developing product software is getting increasing attention from both academics and practitioners. Organizations are recognizing the benefits and importance of developing a product...
Peter Artz, Inge van de Weerd, Sjaak Brinkkemper, ...
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...