Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
Peter Henderson, Robert John Walters, Stephen Crou...
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...
Mobile application development belongs on the complicated, but quite regular software development environment that includes many different solutions possibilities in the developmen...
Software engineering community has proposed several methods to evaluate software architectures with respect to desired quality attributes such as maintainability, performance, and...