Both agile development and User Centered Design stress collaboration between customers and product teams, but getting these methodologies to work well together is not easy. This p...
The current software development process in common use within industry is inefficient, in that the time required to incorporate results from competitive, beta, and previous releas...
Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
Isaac Corro Ramos, Alessandro Di Bucchianico, Lusi...