U (TP)2 is a theorem prover developed to support the Unifying
Theories of Programming (UTP) framework. Its primary design
goal was to support the higher-order logic, alphabets, equational reasoning
and \programs as ...
Franqueira, Virginia N L; Tun, Thein Than; Yu, Yijun; Wieringa, Roel; Nuseibeh, Bashar(IEEE Computer Society, 2011)
When showing that a software system meets certain security requirements, it is often necessary to work with formal and informal descriptions of the system behavior, vulnerabilities, and the threats from potential attackers. ...
Problem statement: Software development is distinct from other types of engineering
because the product is intangible, progress is not explicit and team members rely on the documentation of others to review progress. In ...
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 ...
Time is one of the most important factors dominating agile software development
processes in distributed settings. Effective time management helps agile
teams to plan and monitor the work to be performed, and create and ...
Software rarely works as intended when it is initially
written. Things go wrong, and developers are commonly
understood to form theories and strategies to deal with them.
Much of this knowledge relates to ephemeral flaws ...
This paper presents SecuriTAS, a tool to engineer adap-
tive security. It allows software designers to model security
concerns together with the requirements of a system. This
model is then used at runtime to analyze ...
Fault tolerance is very important for complex component-based
software systems, but its configuration is complicated and challenging. In this
paper, we propose a model driven approach to semi-automatic configuration ...
Intelligent systems are capable of AI exhibited via knowledge representation and reasoning, which helps to connect abstract knowledge symbols to real-world meanings. This paper presents a formal language for knowledge ...