Christian Bunse, Erik Kamsties  Home/Search
Context
Related
| iese.fhg.de/home/bunse/pu...bunse96a.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iese.fhg.de/home/b...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes the combination of two industrially proven methods, SCR Requirements and Cleanroom Software Engineering, to form a seamless method for the formal specification and design of real-time systems. SCR documents functional and non-functional requirements such as timing and precision using a tabular notation of mathematical functions. Cleanroom supports the development of near-zero-defect software through formal methods and statistical quality control. The formalism primarily... (Update)
Similar documents based on text: More All
0.5: Modeling Real-Time Systems with SCR - An.. - Baum, Dellen.. (Correct)
0.4: Cleanroom Software Engineering - Reference Model Version 1.0 - Linger, Trammell (1996) (Correct)
0.4: Towards Zero Defect Software: The Cleanroom Approach - Nascimento, Tanik (1994) (Correct)
BibTeX entry: (Update)
@misc{ bunse-integrating,
author = "Christian Bunse and Erik Kamsties",
title = "Integrating SCR Requirements into Cleanroom Software Engineering",
url = "citeseer.ist.psu.edu/bunse96integrating.html" }
Citations (may not include all citations):130 Specifying Software Requirements for Complex Systems: New Te.. (context) - Heninger - 1980
98 State-Based Model Checking of Event-Driven System Requiremen.. - Atlee, Gannon - 1993
57 Consistency Checking of SCR-Style Requirements Specification.. - Heitmeyer, Labaw et al. - 1995
53 Completeness and Consistency Analysis of State-Based require.. - Heimdahl, Leveson - 1995
43 Cleanroom Software Engineering (context) - Mills, Dyer et al. - 1987
41 The Cleanroom Approach to Quality Software Development (context) - Dyer - 1992
37 A Toolset for Specifying and Analyzing Requirements (context) - Heitmeyer, Bull et al. - 1995
34 Documentation for Safety Critical Software (context) - Courtois, Parnas - 1993
28 Documentation of Requirements for Computer Systems (context) - van Schouwen, Parnas et al. - 1993
26 Requirements Model: Re-examination for Real-Time Systems and.. (context) - van Schouwen, A- - 1993
19 Cleanroom Software Development: An Empirical Evaluation (context) - Selby, Basili et al. - 1987
15 Principles of Information System Analysis and Design (context) - Mills, Linger et al. - 1986
12 Cleanroom Software Engineering for Zero -Defect software (context) - Linger - 1993
9 Stepwise Refinement and Verification in Box-structured syste.. (context) - Mills - 1988
8 Functional Documentation for Computer Systems Engineering (context) - Parnas, Madey - 1991
7 The Practice of Formal Methods in Safety-Critical Systems - Liu, Stavridou et al. - 1995
1 Cleanroom Software Engineering Applied to Telecommunications (context) - Wohlin, Sixtensson et al. - 1992
1 SMO - A stepwise refinement and verification method for soft.. (context) - Cosmo, Sixtensson et al. - 1991
1 Using Box Structures with the Z Notation - Fetzer, Poore - 1992
1 Projekt Parkhaussteuerung; Systemdokumentation (context) - Petsch, Schmid - 1993
1 The Cleanroom Case Study in the SEL: Project Description and.. (context) - Green, Kouchakdjian et al. - 1990
1 The Box-structure Development Method (context) - Mao - 1993
Documents on the same site (http://www.iese.fhg.de/home/bunse/publications.html): More
An Experimental Evaluation of Quality Guidelines on the.. - Briand, Bunse, Daly (1997) (Correct)
An Experimental Comparison of the Maintainability of.. - Briand, Bunse, Daly, .. (1996) (Correct)
An Experimental Comparison of the Maintainability of.. - Briand, Bunse, Daly, .. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC