Sciweavers

748 search results - page 128 / 150
» Agile Software Assurance
Sort
View
ISTA
2008
13 years 9 months ago
Evolving and Implanting Web-Based E-Government-Systems in Universities
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...
GI
2004
Springer
14 years 1 months ago
Extreme Programming in der Informatik-Lehre - Ein Erfahrungsbericht
: eXtreme Programming (XP) ist eine Symbiose verschiedener Techniken, die erst durch ihr Zusammenwirken ihre besondere Qualit¨at agiler Softwareentwicklung aufweisen. Sie lassen s...
Holger Mügge, Daniel Speicher, Günter Kn...
ICSE
2007
IEEE-ACM
14 years 8 months ago
Testing and Analysis of Access Control Policies
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...
Evan Martin
ICAC
2009
IEEE
14 years 2 months ago
Applying adaptation design patterns
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...
Andres J. Ramirez, Betty H. C. Cheng
HASE
2007
IEEE
14 years 2 months ago
On the Verifiability of Programs Written in the Feature Language Extensions
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...
Wu-Hon F. Leung