Article

Free access

Validating system requirements by functional decomposition and dynamic analysis

Author:

Kaizhi YueAuthors Info & Claims

ICSE '89: Proceedings of the 11th international conference on Software engineering

Pages 188 - 196

https://doi.org/10.1145/74587.74613

Published: 15 May 1989 Publication History

First page of PDF

References

[1]

R. M. Balzer and N. M. Goldman. Principles of good software specification and their implications for specification languages. In Proceedings of the Speci&ations of Reliable Software Conference, pages 58-67, Boston, Massachusetts, April 1979. (Also presented at the National Computer Conference, 1981.).

[2]

Robin E. Bloomfield and Peter K. D. Froome. The application of formal methods to the assessment of high integrity software. IEEE transactions on Software Engineering, September 1986.

Digital Library

[3]

B. W. Boehm. Verifying and validating software requirements and design specifications. IEEE Software, 3, January 1984.

Digital Library

[4]

Howard B. Reubenstein Charles Rich, Richard C. Waters. Toward a requirement apprentice. In Proceedings of The Fourth International Workshop on Software Specification and Design, Monterey, California, U.S.A., April 1987.

[5]

L. Clarke. Symbolic evaluation methods in program analysis. In N. D. Muchnick S.S., Jones, editor, Program Flow Analysis. Prentice-Hall Inc., 1980.

[6]

Donald Cohen. A forward inference engine to aid in understanding specifications. In Proceedings of National Conference on Art$cial Intelligence, August 1984.

[7]

Eric Dubois and Jacques Hagelstein. Reasoning on formal requirements: A lift control system. In Proceedings of The Fourth International Workshop on Software Specif?cation and Design, Monterey, California, U.S.A., April 1987.

[8]

Martin Feather. Language support for the specification and development of composite systems. Transaction on Programming Languages and Systems, 1988.

Digital Library

[9]

Steve Fickas. Automating the analysis process: An example. In Proceedings of The Fourth International Workshop on Software Specification and Design, April 1987.

[10]

Michael R. Genesereth and Nils Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann Inc., Los Altos, California, 1987.

Digital Library

[11]

J. Guttag and J. Horning. Preliminary report on the larch shared language. Technical Report CSL-83-6, Xerox PARC, December 1983.

Digital Library

[12]

M. Hagemann. Requirement analysis for realtime automation projects. In Proceedings of the International Conference of Software Engineering, 1988.

Digital Library

[13]

Matthias Hallmann. An operational requirement description model for open systems. In Proceedings of the International Conference of Software Engineering, 1988.

Digital Library

[14]

C. H.ewitt and P. deJong. Open systems. In Schmidt Brodie and Mylopolos, editors, Conceptual Modeling. Springer Verlag, Berlin, 1984.

[15]

The problem set for the workshop. In Proceedings of The Fourth International Workshop on Software Specification and Design, Monterey, California, U.S.A., April 1987.

[16]

Richlard Kemmerer. Testing formal specifications to detect design errors. IEEE transactions on software engineering, 11(l), 1985.

[17]

B. Kuipers. Qualitative simulation. Artificial Intelligence, 29(3), 1986.

Digital Library

[18]

Steven Muchnick and Neil D. Jones. Program Flow Analysis: Theory and Applications. Prentice Hall, Englewood Cliflh, New Jersey, 1981.

Digital Library

[19]

James L. Peterson. Petri Net Theory and the Modeling of Syslems. Prentice-Hall Inc., Englewood Cliffs, New Jersy, 1981.

Digital Library

[20]

N. Goldman R. Balzer and D. Wile. Operational specification as the basis for rapid prototyping. In Proceedings of the Second Software Engineering Symposium: Workshop on Rapid Prototyping, April 1982.

Digital Library

[21]

William E. Riddle and Jack C. Wileden. Language for represent,ing software specification and design. ACM SIGSOFT, Software Engineering Notes, October 1978.

Digital Library

[22]

Douglas T. Ross and Jr. Kenneth E. Schoman. Structured analysis for requirements definition. IEEE Tmnsactions on Softwanl Engineering, January 1977.

[23]

D. Teichroew and E. A. Hershey. Psl/psa: A computeraided technique for structured documentation and analysis of information processing systems. IEEE transactions on software engineering, January 1977.

[24]

Terry Winograd. Aleph, a system specification language. Technical report, Stanford University Computkr Science Department, forthcoming 1988.

[25]

K. Yue. Constructing and analyzing specifications of real world systems, Stan-cs-86-1090, ph.d. thesis. Technical report, Stanford University Computer Science Department, 1986.

Digital Library

[26]

Kaizhi Yue. What does it mean to say a specification is complete? In Proceedings of The Fourth International Workshop on Software Specification and Design, Monterey, California, U.S.A., April 1987.

[27]

Kaizhi Yue. The use of uniform semantic constraints in defining model-based editing operations. In Proceedings of the Twenty-First Hawaii International Conference on System Sciences, January 1988.

Digital Library

[28]

Kalzhi Yue. Representing first order logic-based specifications in petri-net-like graphs. In to appear in proceedings of The Fifth International Workshop on Software Specification and Design, Pittsburgh, Pennsylvania, May 1989.

Digital Library

[29]

Pamela Zave. An operational approach to requirements specification for embedded systems. IEEE Transactions on Software Engineering, May 1982.

Digital Library

Cited By

Oster ZSanthanam GBasu S(2010)Decomposing the Service Composition ProblemProceedings of the 2010 Eighth IEEE European Conference on Web Services10.1109/ECOWS.2010.15(163-170)Online publication date: 1-Dec-2010
https://dl.acm.org/doi/10.1109/ECOWS.2010.15
Matsumoto MHayano AKudo TYoshida HImai SOhshima K(1991)Specifications reuse process modeling and case study-based evaluations[1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference10.1109/CMPSAC.1991.170228(499-506)Online publication date: 1991
https://doi.org/10.1109/CMPSAC.1991.170228
Yue K(1989)Representing first order logic-based specifications in Petri-net-like graphsACM SIGSOFT Software Engineering Notes10.1145/75200.7524514:3(291-293)Online publication date: 1-Apr-1989
https://dl.acm.org/doi/10.1145/75200.75245
Show More Cited By

Index Terms

Validating system requirements by functional decomposition and dynamic analysis

Recommendations

Quality Requirements Analysis Using Requirements Frames
QSIC '11: Proceedings of the 2011 11th International Conference on Quality Software

Defining quality requirements completely and correctly is more difficult than defining functional requirements because stakeholders do not state most of quality requirements explicitly. We thus propose a method to measure a requirements specification ...
Structured Analysis for Requirements Definition

Requirements definition encompasses all aspects of system development prior to actual system design. We see the lack of an adequate approach to requirements definition as the source of major difficulties in current systems worlk This paper examines the ...
Integrating requirements analysis and safety analysis
RE '95: Proceedings of the Second IEEE International Symposium on Requirements Engineering

Summary form only given. In developing software for safety critical systems, it is necessary to carry out both requirements analysis and safety analysis. During requirements analysis, the behavioural and functional requirements of the system's software ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE '89: Proceedings of the 11th international conference on Software engineering

May 1989

406 pages

ISBN:0818619414

DOI:10.1145/74587

Chairmen:
Larry Druffel
Software Engineering Institute
,
Dick Fairley
Software Engineering Institute
,
Dines Bjørner

Copyright © 1989 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 May 1989

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE89

Sponsor:

SIGSOFT

ICSE89: Int'l Conference on Software Engineering

Pennsylvania, Pittsburgh, USA

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
861
Total Downloads

Downloads (Last 12 months)20
Downloads (Last 6 weeks)5

Reflects downloads up to 18 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Oster ZSanthanam GBasu S(2010)Decomposing the Service Composition ProblemProceedings of the 2010 Eighth IEEE European Conference on Web Services10.1109/ECOWS.2010.15(163-170)Online publication date: 1-Dec-2010
https://dl.acm.org/doi/10.1109/ECOWS.2010.15
Matsumoto MHayano AKudo TYoshida HImai SOhshima K(1991)Specifications reuse process modeling and case study-based evaluations[1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference10.1109/CMPSAC.1991.170228(499-506)Online publication date: 1991
https://doi.org/10.1109/CMPSAC.1991.170228
Yue K(1989)Representing first order logic-based specifications in Petri-net-like graphsACM SIGSOFT Software Engineering Notes10.1145/75200.7524514:3(291-293)Online publication date: 1-Apr-1989
https://dl.acm.org/doi/10.1145/75200.75245
Yue KGreenspan S(1989)Representing first order logic-based specifications in Petri-net-like graphsProceedings of the 5th international workshop on Software specification and design10.1145/75199.75245(291-293)Online publication date: 1-Apr-1989
https://dl.acm.org/doi/10.1145/75199.75245

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents