When software systems are verified against security requirements, formal and informal arguments provide a structure for organizing the software artifacts. Our recent work on the evolution of security-critical software ...

Agile methods have emerged and become popular over last few years as a response to shortcomings of the waterfall process model. However, agile processes are stamped by some as chaotic processes and are placed in opposition ...

Agile software development has caught the attention of both practitioners and academics in recent years. In spite of many anecdotes and papers describing lessons learnt the theoretical foundation of agile software development ...

The increasing complexity of the business transaction results in a higher potential risk in terms of SLA violation. The fulfillment of the QoS constraints specified in global SLA can be threatened at any time by ...

There is a common perception that, while there may be some ‘teething’ problems experienced during the initial transition to agile, people are much happier, engaged and ultimately more productive in these environments. This ...

Bluetooth (Bluetooth SIG 2003, Haartsen 1998, Johansson, et al. 2002, Morrow 2002) is a recently conceived universal communication standard that allows wireless connectivity among numerous portable electronic devices ...

When dealing with software-intensive systems, it is often beneficial to consider families of similar systems together. A common task is then to identify the particular product that best fulfils a given set of desired ...

Software product lines (SPL) advocates the development of applications by reusing shared software assets across a set of related products. Current approaches to the derivation of products from a product line focuses on ...

Privacy requirements for mobile applications offer a distinct set of challenges for requirements engineering. First, they are highly dynamic, changing over time and locations, and across the different roles of ...