A security model for military message systems
ACM Transactions on Computer Systems (TOCS)
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
Software engineering concepts
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Targeting safety-related errors during software requirements analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Functional documents for computer systems
Science of Computer Programming
Completeness and consistency analysis of state-based requirements
Proceedings of the 17th international conference on Software engineering
Towards a formal semantics of Parnas tables
Proceedings of the 17th international conference on Software engineering
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
An experiment to assess different defect detection methods for software requirements inspections
ICSE '94 Proceedings of the 16th international conference on Software engineering
Decision Tables in Software Engineering
Decision Tables in Software Engineering
Software Engineering Economics
Software Engineering Economics
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Decision Table Languages and Systems
Decision Table Languages and Systems
The Core Method for Real-Time Requirements
IEEE Software
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
Using PVS to Prove Some Theorems Of David Parnas
HUG '93 Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications
SCR*: A Toolset for Specifying and Analyzing Software Requirements
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Consistency checking of SCR-style requirements specifications
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
AVAT, a CASE Tool for Software Verification and Validation
CASE '95 Proceedings of the Seventh International Workshop on Computer-Aided Software Engineering
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model
State determination in hard-embedded systems
State determination in hard-embedded systems
Towards a framework for managing inconsistency between multiple views
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
The SCR method for formally specifying, verifying, and validating requirements: tool support
ICSE '97 Proceedings of the 19th international conference on Software engineering
Rigorous requirements for real-time systems: evolution and application of the SCR method (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Reduction and slicing of hierarchical state machines
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Verifying systems with integer constraints and Boolean predicates: a composite approach
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Automatic generation of state invariants from requirements specifications
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Checking properties of safety critical specifications using efficient decision procedures
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Specifying the mode logic of a flight guidance system in CoRE and SCR
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Applying the SCR requirements method to a weapons control panel: an experience report
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Specification-based prototyping for embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Composite model-checking: verification with type-specific symbolic representations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Action Language: a specification language for model checking reactive systems
Proceedings of the 22nd international conference on Software engineering
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications
IEEE Transactions on Computers
Extending the SCR Method for Real-Time Systems
Real-Time Systems
Model-checking infinite state-space systems with fine-grained abstractions using SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
A component-based approach to building formal analysis tools
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using SCR to specify requirements of the BART advanced automated train control system
High integrity software
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Investigating the readability of state-based formal requirements specification languages
Proceedings of the 24th International Conference on Software Engineering
Requirements, domain and specifications: a viewpoint-based approach to requirements engineering
Proceedings of the 24th International Conference on Software Engineering
Invariant-based specification, synthesis, and verification of synchronization in concurrent programs
Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Model exploration with temporal logic query checking
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
TAME: Using PVS strategies for special-purpose theorem proving
Annals of Mathematics and Artificial Intelligence
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
Explanation-Based Scenario Generation for Reactive System Models
Automated Software Engineering
Automated Software Engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Model exploration with temporal logic query checking
ACM SIGSOFT Software Engineering Notes
Requirements specifications checking of embedded real-time software
Journal of Computer Science and Technology
Functional programming, and where you can put it
ACM SIGPLAN Notices
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Rapid Application of Lightweight Formal Methods for Consistency Analyses
IEEE Transactions on Software Engineering
Program Synthesis from Formal Requirements Specifications Using APTS
Higher-Order and Symbolic Computation
An Abductive Approach for Analysing Event-Based Requirements Specifications
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Semantics-Based Filtering: Logic Programming's Killer App?
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
On the concurrent behaviour of SCR specifications
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Symbolic Functional Evaluation
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Applying Practical Formal Methods to the Specification and Analysis of Security Properties
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Structural Embeddings: Mechanization with Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Proceedings of the 25th International Conference on Software Engineering
SC(R)3: towards usability of formal methods
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
The Industrial Use of Formal Methods: Was Darwin Right?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Using the SCR* Toolset to Specify Software Requirements
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
What Does Industry Need From Formal Specification Techniques?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Specification and Analysis of System Level Inter-Component Communication
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Requirements interaction management
ACM Computing Surveys (CSUR)
Formal Tools for Managing Inconsistency and Change in RE
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Proceedings of the 16th IEEE international conference on Automated software engineering
Automated Validation of Software Models
Proceedings of the 16th IEEE international conference on Automated software engineering
A strategy for efficiently verifying requirements
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Proceedings of the 26th International Conference on Software Engineering
Statestep: A Tool for Systematic, Incremental Specification
Proceedings of the 26th International Conference on Software Engineering
Model interchange and integration for web services
ACM SIGSOFT Software Engineering Notes
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
Automated Consistency and Completeness Checking of Testing Models for Interactive Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
IEEE Software
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
Monitoring and control in scenario-based requirements analysis
Proceedings of the 27th international conference on Software engineering
Efficient temporal-logic query checking for presburger systems
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Domain Consistency in Requirements Specification
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Generating optimized code from SCR specifications
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Random testing of formal software models and induced coverage
Proceedings of the 1st international workshop on Random testing
Developing safety-critical systems: the role of formal methods and tools
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Proceedings of the 13th ACM conference on Computer and communications security
Behaviour Model Synthesis from Properties and Scenarios
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
On the effect of test-suite reduction on automatically generated model-based tests
Automated Software Engineering
Towards automated consistency checks of product line requirements specifications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Information and Software Technology
Specifying module interfaces with finitely defined automata
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Model eco-systems: preliminary work
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
A Case for Specification Validation
Verified Software: Theories, Tools, Experiments
An Empirical Investigation on Dynamic Modeling in Requirements Engineering
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Model-based fault detection in context-aware adaptive applications
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
The Name and Nature of Software Engineering
Advances in Software Engineering
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Analyzing critical process models through behavior model synthesis
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Managing Complexity in Software Development with Formally Based Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Provably Correct Code Generation: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Automatic model driven animation of SCR specifications
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A component-based approach to verification and validation of formal software models
Architecting dependable systems IV
Integration of formal analysis into a model-based software development process
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Benchmarking software requirements documentation for space application
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Semantics of trace relations in requirements models for consistency checking and inferencing
Software and Systems Modeling (SoSyM)
Formal Methods in System Design
Modeling software requirement with timing diagram and Simulink Stateflow
Information and Software Technology
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
Applying restricted english grammar on automotive requirements: does it work? a case study
REFSQ'11 Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality
rt-inconsistency: a new property for real-time requirements
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Semantic quality attributes for big-step modelling languages
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
A model advisor for NuSMV specifications
Innovations in Systems and Software Engineering
Rigorous model-based design & verification flow for in-vehicle software
Proceedings of the 48th Design Automation Conference
Abstraction based automated test generation from formal tabular requirements specifications
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Prescriptive semantics for big-step modelling languages
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Ontology-Based inconsistency management of software requirements specifications
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Computing refactorings of behavior models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Towards provably correct code generation via horn logical continuation semantics
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Developing high quality software with formal methods: what else is needed?
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Component-based development of dependable systems with UML
Component-Based Software Development for Embedded Systems
Regularities in learning defect predictors
PROFES'10 Proceedings of the 11th international conference on Product-Focused Software Process Improvement
Automated support for building behavioral models of event-driven systems
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Formalization and analysis of real-time requirements: a feasibility study at BOSCH
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Checking formal specifications by testing
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Statechart-based use case requirement validation of event-driven systems
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A safety-focused verification using software fault trees
Future Generation Computer Systems
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
Using UML stereotypes to support the requirement engineering: a case study
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Abstractions for validation in action
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Towards Automated Consistency Checking of Module Interface Specifications
Fundamenta Informaticae
Reasoning with contextual requirements: Detecting inconsistency and conflicts
Information and Software Technology
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
Specifying software features for composition: A tool-supported approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
Model-based requirements verification method: Conclusions from two controlled experiments
Information and Software Technology
Hi-index | 0.01 |
This article describes a formal analysis technique, called consistency checking, for automatic detection of errors, such as type errors, nondeterminism, missing cases, and circular definitions, in requirements specifications. The technique is designed to analyze requirements specifications expressed in the SCR (Software Cost Reduction) tabular notation. As background, the SCR approach to specifying requirements is reviewed. To provide a formal semantics for the SCR notation and a foundation for consistency checking, a formal requirements model is introduced; the model represents a software system as a finite-state automation which produces externally visible outputs in response to changes in monitored environmental quantities. Results of two experiments are presented which evaluated the utility and scalability of our technique for consistency checking in real-world avionics application. The role of consistency checking during the requirements phase of software development is discussed.