A comparison of techniques for the specification of external system behavior-Reference-Cited by-同舟云学术

A comparison of techniques for the specification of external system behavior

Published:1988-09 Issue:9 Volume:31 Page:1098-1115
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Davis Alan M.¹

Affiliation:

1. BTG, Inc., Vienna, VA

Abstract

The elimination of ambiguity, inconsistency, and incompleteness in a Software Requirements Specification (SRS) document is inherently difficult, due to the use of natural language. The focus here is a survey of available techniques designed to reduce these negatives in the documentation of a software product's external behavior.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/48529.48534

Reference61 articles.

1. Special Feature: Putting Petri Nets to Work

2. A Requirements Engineering Methodology for Real-Time Processing Requirements

3. SREM at the Age of Eight; The Distributed Computing Design System

Cited by 90 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Introduction to Business Processes and Business Process Modeling;Quality in Business Process Modeling;2016

2. Object-Oriented Analysis to Object-Oriented Design: An Easy Transition;Great Software Debates;2015-10-09

3. A Formal Approach based on Fuzzy Logic for the Specification of Component-Based Interactive Systems;Electronic Proceedings in Theoretical Computer Science;2015-03-17

4. Requirement Analysis and Design of Service Level Integration Layer for Cloud Computing Services, to Meet Service Level Agreements and Quality of Service;Journal of Computational and Theoretical Nanoscience;2014-03-01

5. Perspectives to Process Modeling;Studies in Computational Intelligence;2013