Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
In typical open source software development, developers use revision control systems for product management, mailing list systems for human communications, and bug tracking system...
Distributed applications that adapt as their environment changes are developed from selfmanaging, self-configuring and self-optimising behaviours. This requires constant monitorin...
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...