Essential systems analysis
The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Strategies for real-time system specification
Strategies for real-time system specification
A comparison of techniques for the specification of external system behavior
Communications of the ACM
A taxonomy for the early stages of the software development life cycle
Journal of Systems and Software
An entity-life modeling approach to the design of concurrent software
Communications of the ACM
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Object-oriented analysis
Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Object-oriented modeling and design
Object-oriented modeling and design
Specifying multiple-viewed software requirements with conceptual graphs
Journal of Systems and Software
Expressing the relationships between multiple views in requirements specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Toward Objective, Systematic Design-Method Comparisons
IEEE Software
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Structured Analysis and System Specification
Structured Analysis and System Specification
Sizing Use Cases: How to Create a Standard Metrical Approach
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
A conceptual model completely independent of the implementation paradigm
Journal of Systems and Software - Special issue: Best papers on Software Engineering from the SEKE'01 Conference
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards automatic problem decomposition: an ontology-based approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Verifying Software Requirements Based on Answer Set Programming
KSEM '09 Proceedings of the 3rd International Conference on Knowledge Science, Engineering and Management
Hi-index | 0.00 |
As more and more complex computer‐based systems are built, it becomes increasingly more difficult to specify or visualize the system prior to its construction. One way of simplifying these tasks is to view the requirements from multiple viewpoints. However, if these viewpoints examine the requirements using different notations, how can we know if they are consistent? This paper describes the elemental concepts that underlie all requirements. By reducing each view of requirements to networks of these elemental concepts, it becomes possible to better understand the relationships among the views.