Search Sciweavers | Sciweavers

748 search results - page 27 / 150

» Agile Software Assurance

click to vote

IASTEDSEA
2004

116views Software Engineering» more IASTEDSEA 2004»

Higher-order strategic programming: A road to software assurance

13 years 9 months ago

Download faculty.ist.unomaha.edu

Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...

Victor L. Winter, Steve Roach, Fares Fraij

claim paper

Read More »

click to vote

DSN
2006
IEEE

144views Computer Networks» more DSN 2006»

Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms

14 years 2 months ago

Download srejuv.ee.duke.edu

We present three algorithms for detecting the need for software rejuvenation by monitoring the changing values of a customer-affecting performance metric, such as response time. A...

Alberto Avritzer, Andre B. Bondi, Michael Grottke,...

claim paper

Read More »

click to vote

HCI
2007

154views Human Computer Interaction» more HCI 2007»

Agile Methods and Visual Specification in Software Development: A Chance to Ensure Universal Access

13 years 9 months ago

Download hci.uni-konstanz.de

Within the eEurope2010 initiative “An Information Society for All”, development methods which enable the inclusion of the end-user become essential in order to ensure the parad...

Thomas Memmel, Harald Reiterer, Andreas Holzinger

claim paper

Read More »

click to vote

HASE
2007
IEEE

82views Control Systems» more HASE 2007»

High-Assurance Distributed, Adaptive Software for Dynamic Systems

14 years 2 months ago