Abstract. The Bologna Process [1] has triggered a major restructuring of the current university diploma into a bachelor/master system. As one effect, the administration effort for ...
Dirk Reiss, Bernhard Rumpe, Marvin Schulze-Quester...
: eXtreme Programming (XP) ist eine Symbiose verschiedener Techniken, die erst durch ihr Zusammenwirken ihre besondere Qualit¨at agiler Softwareentwicklung aufweisen. Sie lassen s...
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...