Fundamentals of interactive computer graphics
Fundamentals of interactive computer graphics
Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
A graph-theoretic approach for timing analysis and its implementation
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Completeness, robustness, and safety in real-time software requirements specifications: a logical positivist looks at requirements engineering
Software Engineering Economics
Software Engineering Economics
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Software safety in embedded computer systems
Communications of the ACM
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
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
Specifying a Safety-Critical Control System in Z
IEEE Transactions on Software Engineering
Completeness and consistency analysis of state-based requirements
Proceedings of the 17th international conference on Software engineering
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking large software specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Integrating the understanding of quality in requirements specification and conceptual modeling
ACM SIGSOFT Software Engineering Notes
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Improving Design Dependability by Exploiting an Open Model-Based Specification
IEEE Transactions on Computers
Checking properties of safety critical specifications using efficient decision procedures
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
Intent Specifications: An Approach to Building Human-Centered Specifications
IEEE Transactions on Software Engineering
Completeness in formal specification language design for process-control systems
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
Behavioural Conflicts in a Causal Specification
Automated Software Engineering
Requirements specifications checking of embedded real-time software
Journal of Computer Science and Technology
The Challenge of Building Process-Control Software
IEEE Software
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Theoretical Computer Science
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Intent Specifications: An Approach to Building Human-Centered Specifications
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Safety Analysis of Requirements for a Product Family
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
An Approach to Designing Safe Embedded Software
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Fault Tree Analysis for Software Design
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Specification and Analysis of System Level Inter-Component Communication
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Human performance and embedded intelligent technology in safety-critical systems
International Journal of Human-Computer Studies - Special issue: Trust and technology
Experiences using statecharts for a system requirements specification
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Synthesizing safe state machines from Esterel
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
A hierarchical approach for the redesign of chemical processes
Knowledge and Information Systems
Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System
Engineering Interactive Systems
A new verification method for embedded systems
ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Generating Invariant-Based Certificates for Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS)
A systematic review of software robustness
Information and Software Technology
Hi-index | 0.02 |
A set of criteria is defined to help find errors in, software requirements specifications. Only analysis criteria that examine the behavioral description of the computer are considered. The behavior of the software is described in terms of observable phenomena external to the software. Particular attention is focused on the properties of robustness and lack of ambiguity. The criteria are defined using an abstract state-machine model for generality. Using these criteria, analysis procedures can be defined for particular state-machine modeling languages to provide semantic analysis of real-time process-control software requirements.