Analysis and Design in MSG.84: Formalizing Functional Specifications
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Extending State Transition Diagrams for the Specification of Human-Computer Interaction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
Salient features of and executable specification language and its environment
IEEE Transactions on Software Engineering
Developing interactive information systems with the user software engineering methodology
IEEE Transactions on Software Engineering
Software engineering: a practitioner's approach (2nd ed.)
Software engineering: a practitioner's approach (2nd ed.)
Software engineering environments: concepts and technology
Software engineering environments: concepts and technology
Statecharts: A visual formalism for complex systems
Science of Computer Programming
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Managing the development of large software systems: concepts and techniques
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
A taxonomy for the early stages of the software development life cycle
Journal of Systems and Software
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
A comparison of lifecycle models
ICSE '81 Proceedings of the 5th international conference on Software engineering
Executable requirements for embedded systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Evaluation of a software requirements document by analysis of change data
ICSE '81 Proceedings of the 5th international conference on Software engineering
User Software Engineering and the design of interactive systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Some experience with automated aids to the design of large-scale reliable software
Proceedings of the international conference on Reliable software
Requirements language processing for the effective testing of real-time systems
Proceedings of the software quality assurance workshop on Functional and performance issues
A demonstration of three requirements language systems
ACM SIGPLAN Notices
Rapid prototyping using executable requirements specifications
Proceedings of the workshop on Rapid prototyping
Structured Analysis and System Specification
Structured Analysis and System Specification
SIGBDP '90 Proceedings of the 1990 ACM SIGBDP conference on Trends and directions in expert systems
Impacts of life cycle models on software configuration management
Communications of the ACM
A survey of software functional testing methods
ACM SIGSOFT Software Engineering Notes
A first step towards an evaluation framework taxonomy
ACM SIGOIS Bulletin
Early Experience with the Visual Programmer's WorkBench
IEEE Transactions on Software Engineering
The use of a software specification metalanguage
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Stimulus response machines: an Ada-based graphic formalism for describing class and object behavior
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Stimulus-response machines: a new visual formalism for describing classes and objects
ACM SIGSOFT Software Engineering Notes
Detection of cycle in real-time system specification
ACM SIGPLAN Notices
M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
ACM SIGSOFT Software Engineering Notes
System design using an integrated specification and performance modeling methodology
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Communications of the ACM
Communications of the ACM
Covering the life cycle with Ada: Ada all the way
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
WSC' 90 Proceedings of the 22nd conference on Winter simulation
Logic programming and software maintenance
Annals of Mathematics and Artificial Intelligence
Elements underlying the specification of requirements
Annals of Software Engineering
Towards a Formalism to Produce a Programmer Assistant CASE Tool
IEEE Transactions on Knowledge and Data Engineering
Specifying Transaction-Based Information Systems with Regular Expressions
IEEE Transactions on Software Engineering
Experience with an Approach to Comparing Software Design Methodologies
IEEE Transactions on Software Engineering
Evaluating the Intelligibility of Diagrammatic Languages Used in the Specification of Software
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Using business rules within a design process of active databases
Data warehousing and web engineering
Testing the C set++ collection class library
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Modeling of business rules for active database application specification
Advanced topics in database research vol. 1
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
A Unified Model of Requirements Elicitation
Journal of Management Information Systems
Journal of Management Information Systems
The untrained eye: how languages for software specification support understanding in untrained users
Human-Computer Interaction
The GENESYS Architecture: A Conceptual Model for Component-Based Distributed Real-Time Systems
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Genetic design: amplifying our ability to deal with requirements complexity
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
| Hi-index | 48.27 |
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.