Sciweavers

110 search results - page 14 / 22
» Quality Analysis of NL Requirements: An Industrial Case Stud...
Sort
View
ER
2007
Springer
122views Database» more  ER 2007»
15 years 3 months ago
An e-Process Selection Model
1 A number of e-Processes (i.e. software processes for developing e-Commerce information systems) exist in industry. We presuppose that for a subclass of these their targeted quali...
Roland Kaschek, Frina Albertyn, Vladimir A. Shekho...
SAFECOMP
2007
Springer
15 years 3 months ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
CIBSE
2008
ACM
14 years 11 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota
GLOBECOM
2008
IEEE
14 years 9 months ago
Security Rules Specification and Analysis Based on Passive Testing
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
Wissam Mallouli, Fayçal Bessayah, Ana R. Ca...
JSS
2002
131views more  JSS 2002»
14 years 9 months ago
Experiences with ALMA: Architecture-Level Modifiability Analysis
Modifiability is an important quality for software systems, because a large part of the costs associated with these systems is spent on modifications. The effort, and therefore co...
Nico H. Lassing, PerOlof Bengtsson, Hans van Vliet...