Are their design specifications consistent with our requirements?

Kozlenkov, Alexander; Zisman, Andrea

doi:10.1109/icre.2002.1048517

Cited by 24 publications

(26 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…For stakeholders to have confidence that their needs-expressed in requirements-will be met, developers must be able to maintain and demonstrate consistency between requirements and the design. Maintaining and demonstrating the consistency of multiple representations of requirements decisions, in different languages poses a significant challenge [1]. This paper describes an approach to ensuring consistency between requirements and design that involves representing the decisions made in developing requirements and design in a way that should reduce the effort required to demonstrate and maintain consistency.…”

Section: Introductionmentioning

confidence: 99%

Rewriting Requirements for Design

Kirby¹,

James²

2002

View full text Add to dashboard Cite

Maintaining consistency between requirements and the design developed to satisfy them is both important and difficult. Maintaining consistency is important to satisfying stakeholders' desires, which the requirements express. Much of the difficulty of maintaining consistency stems from having redundant descriptions of requirements decisions-one in the requirements document and a second in the design document-typically recorded in widely divergent languages. To ameliorate this problem, we write requirements and design in such a way that requirements decisions and their expression in the requirements document are incorporated directly into the design document, which organizes the decisions and includes additionaldesign-decisions.

show abstract

Section: Introductionmentioning

confidence: 99%

Rewriting Requirements for Design

Kirby¹,

James²

2002

View full text Add to dashboard Cite

show abstract

“…In this case, the abstract value of node 7 is also changed by the update operation (t 7 ) to reflect the most recent modification timestamp. Now, t 7 is greater than t 4 , t 5 , and t 10 . If a conformance analysis is requested, the abstract values (timestamps) of related nodes are examined.…”

Section: Conformance Modelmentioning

confidence: 99%

“…(9) Is there any abstraction γ that recognizes the consistency of l? (10) Yes: Take the first one. (11) Assign rating of 0 to the link l. (12) For all abstractions a that did not see the consistency of l: (13) U = {link l} (14) a.updateOperation(U) (15) No: Compute the rating for link l from ratings from abstractions (16) Is there any abstraction χ that provides fixOperation?…”

Section: Conformance Analysis Algorithmmentioning

confidence: 99%

“…The activities to be taken depend on the type of inconsistency being addressed. The methods developed to support these activities are based on logics [8,20], model checking [1], formal frameworks [16], human-centered approaches [20], explicit policies [5], knowledge engineering [10], hypertext [9], abstract dependence graph [2], static checking [11], etc.…”

Section: Related Workmentioning

confidence: 99%

“…This strategy has been applied in the area of build optimizations, where the semantics of the underlying items may be very helpful in avoiding a costly build process [19]. This type of strategy can also be seen in approaches that formalize documentations using natural language processing or knowledge engineering techniques [10].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations