Sciweavers

1199 search results - page 99 / 240
» Software Verification and Software Engineering a Practitione...
Sort
View
JSS
2008
91views more  JSS 2008»
15 years 4 months ago
Software architecture reliability analysis using failure scenarios
We propose an approach for analyzing software architectures with respect to reliability to improve fault tolerance. The approach defines a failure scenario model that is based on ...
Bedir Tekinerdogan, Hasan Sözer, Mehmet Aksit
ICFEM
1998
Springer
15 years 8 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers
WEBENG
2001
Springer
15 years 9 months ago
Development and Evolution of Web-Applications Using the WebComposition Process Model
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...
Martin Gaedke, Guntram Gräf
APSEC
2000
IEEE
15 years 9 months ago
Virtual worlds for Web site visualisation
Internet and intranet web sites have become an integral part of software development as well as the wider fields of commercial, educational and recreational activity. In order to...
Danita Hartley, Neville Churcher, Greg Albertson
DAC
2009
ACM
16 years 5 months ago
Debugging strategies for mere mortals
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
Valeria Bertacco