Article

Free access

The SCR method for formally specifying, verifying, and validating requirements: tool support

Authors:

Constance Heitmeyer,

James Kirby,

Bruce LabawAuthors Info & Claims

ICSE '97: Proceedings of the 19th international conference on Software engineering

Pages 610 - 611

https://doi.org/10.1145/253228.253498

Published: 01 May 1997 Publication History

PDF eReader

Abstract

No abstract available.

References

[1]

R. Bharadwaj and C. Heitmeyer, "Verifying SCR Requirements Specifications Using State Exploration." Proc. Automated Analysis of Software Workshop, Paris, Jan. 1997.

Google Scholar

[2]

S. Faulk et al., "Experience applying the CORE Method to the Lockheed C-1303," Proc. 9th Computer Assurance Conf. (COMPASS '9.4), Gaithersburg, MD, June 1994.

Google Scholar

[3]

O. Heitmeyer, B. Labaw, and D. Kiskis, "Consistency checking of SCR-Style requirements specifications", Proc., 2nd Intern. Symp. on Requirements Eng., March 1995.

Digital Library

Google Scholar

[4]

C. Heitmeser. A. Bull. C. Gasarch. and B. Labaw. "SCR": A toolset ior specifying and analyzing requirements," PTOC. 10th Computer Assurance Conf. (COMPASS '95). Gaithersburg, MD, June 1995.

Google Scholar

[5]

C. Heitmeyer, R. Jeffords, and B. Labaw, "Automated consistency checking of requirements specifications," ACM Trans. Software Eng. and Methodology 5,3, July 1996.

Digital Library

Google Scholar

[6]

C. Heitmeyer, "Requirements Specification for Hybrid Systems," in Proc., Hybrid Systems Workshop III, Lecture Notes in Computer Science, R. Alur, T. Henzinger, and E. Sontag, ed., Springer-Verlag, Norwell, MA, 1996.

Digital Library

Google Scholar

[7]

C. Heitmeyer, R. Jeffords, and B. Labaw, "Tools for analyzing SCR-style requirements specifications: A formal foundation" (in preparation).

Google Scholar

Cited By

View all

Pudlitz FBrokhausen FVogelsang A(2019)Extraction of System States from Natural Language Requirements2019 IEEE 27th International Requirements Engineering Conference (RE)10.1109/RE.2019.00031(211-222)Online publication date: Sep-2019
https://doi.org/10.1109/RE.2019.00031
Arora CSabetzadeh MBriand L(2019)An empirical study on the potential usefulness of domain models for completeness checking of requirementsEmpirical Software Engineering10.1007/s10664-019-09693-x24:4(2509-2539)Online publication date: 1-Aug-2019
https://dl.acm.org/doi/10.1007/s10664-019-09693-x
Barbosa LMartins MMadeira ANeves R(2016)Reuse and Integration of Specification Logics: The Hybridisation PerspectiveTheoretical Information Reuse and Integration10.1007/978-3-319-31311-5_1(1-30)Online publication date: 2-Apr-2016
https://doi.org/10.1007/978-3-319-31311-5_1
Show More Cited By

Index Terms

The SCR method for formally specifying, verifying, and validating requirements: tool support

Recommendations

Formally Specifying Requirements with RSL-IL
QUATIC '12: Proceedings of the 2012 Eighth International Conference on the Quality of Information and Communications Technology

To mediate and properly support the interplay between the domains of business stakeholders and the development team, requirements must be documented and maintained in a rigorous manner. Furthermore, to effectively communicate the viewpoints of different ...
Formally specifying CARA in Java

A restricted dialect of Java is proposed as a language for writing formal specifications for reactive systems. Specifications written in this dialect have one Java class per system module. Each class uses static fields to record module state, uses ...
Towards formally specifying and verifying transactional memory
Abstract
Over the last decade, great progress has been made in developing practical transactional memory (TM) implementations, but relatively little attention has been paid to precisely specifying what it means for them to be correct, or formally proving ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '97: Proceedings of the 19th international conference on Software engineering

May 1997

713 pages

ISBN:0897919149

DOI:10.1145/253228

Chairman:
W. Richards Adrion
Univ. of Massachuetts, Amherst

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1997

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ICSE97

Sponsor:

SIGSOFT
IEEE-CS\TCSE

ICSE97: 19th International Conference on Software Engineering

May 17 - 23, 1997

Massachusetts, Boston, 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

34
Total Citations
View Citations
767
Total Downloads

Downloads (Last 12 months)82
Downloads (Last 6 weeks)2

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pudlitz FBrokhausen FVogelsang A(2019)Extraction of System States from Natural Language Requirements2019 IEEE 27th International Requirements Engineering Conference (RE)10.1109/RE.2019.00031(211-222)Online publication date: Sep-2019
https://doi.org/10.1109/RE.2019.00031
Arora CSabetzadeh MBriand L(2019)An empirical study on the potential usefulness of domain models for completeness checking of requirementsEmpirical Software Engineering10.1007/s10664-019-09693-x24:4(2509-2539)Online publication date: 1-Aug-2019
https://dl.acm.org/doi/10.1007/s10664-019-09693-x
Barbosa LMartins MMadeira ANeves R(2016)Reuse and Integration of Specification Logics: The Hybridisation PerspectiveTheoretical Information Reuse and Integration10.1007/978-3-319-31311-5_1(1-30)Online publication date: 2-Apr-2016
https://doi.org/10.1007/978-3-319-31311-5_1
Vogelsang AFemmer HWinkler C(2015)Systematic elicitation of mode models for multifunctional systems2015 IEEE 23rd International Requirements Engineering Conference (RE)10.1109/RE.2015.7320447(305-314)Online publication date: Aug-2015
https://doi.org/10.1109/RE.2015.7320447
Martins MMadeira ABarbosa LNeves R(2014)Paradigm integration in a specification courseProceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014)10.1109/IRI.2014.7051929(492-499)Online publication date: Aug-2014
https://doi.org/10.1109/IRI.2014.7051929
Vogelsang AFuhrmann S(2013)Why feature dependencies challenge the requirements engineering of automotive systems: An empirical study2013 21st IEEE International Requirements Engineering Conference (RE)10.1109/RE.2013.6636728(267-272)Online publication date: Jul-2013
https://doi.org/10.1109/RE.2013.6636728
Vogelsang ATeuchert SGirard JAtlee JBaillargeon RFrance RGeorg GMoreira ARumpe BZschaler S(2012)Extent and characteristics of dependencies between vehicle functions in automotive software systemsProceedings of the 4th International Workshop on Modeling in Software Engineering10.5555/2664431.2664433(8-14)Online publication date: 2-Jun-2012
https://dl.acm.org/doi/10.5555/2664431.2664433
Vogelsang ATeuchert SGirard J(2012)Extent and characteristics of dependencies between vehicle functions in automotive software systems2012 4th International Workshop on Modeling in Software Engineering (MISE)10.1109/MISE.2012.6226020(8-14)Online publication date: Jun-2012
https://doi.org/10.1109/MISE.2012.6226020
Madeira AFaria JMartins MBarbosa L(2011)Hybrid specification of reactive systemsProceedings of the 9th international conference on Software engineering and formal methods10.5555/2075679.2075700(269-285)Online publication date: 14-Nov-2011
https://dl.acm.org/doi/10.5555/2075679.2075700
Ebnenasir AKulkarni S(2011)Feasibility of Stepwise Design of Multitolerant ProgramsACM Transactions on Software Engineering and Methodology10.1145/2063239.206324021:1(1-49)Online publication date: 1-Dec-2011
https://dl.acm.org/doi/10.1145/2063239.2063240
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

Cited By

Index Terms

Recommendations

Formally Specifying Requirements with RSL-IL

Formally specifying CARA in Java

Towards formally specifying and verifying transactional memory