Information systems definition: the Multiview approach
Information systems definition: the Multiview approach
What ever happened to structured analysis?
Datamation
The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
Systematic software development using VDM
Systematic software development using VDM
Information requirements determination: obstacles within, among and between participants
SIGCPR '85 Proceedings of the twenty-first annual conference on Computer personnel research
Software engineering environments: concepts and technology
Software engineering environments: concepts and technology
Themes and trends in information systems: TC8, 1975-1985
The Computer Journal
Formal specification of a small example based on GKS
ACM Transactions on Graphics (TOG)
Modern structured analysis
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
Systems analysis: a systemic analysis of a conceptual model
Communications of the ACM
Tutorial on Software Design Techniques
Tutorial on Software Design Techniques
Information Systems Methodologies; A Framework for Understanding, 2nd Ed.
Information Systems Methodologies; A Framework for Understanding, 2nd Ed.
Structured Systems Analysis: Tools and Techniques
Structured Systems Analysis: Tools and Techniques
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Integrating Formal Methods into the Development Process
IEEE Software
Experience with VDM in Norsk Data
VDM '87 Proceedings of the VDM-Europe Symposium on VDM - A Formal Method at Work
Using VDM in an Object-Oriented Development Method for Ada Software
VDM '87 Proceedings of the VDM-Europe Symposium on VDM - A Formal Method at Work
Development and Application of a Meta IV Compiler
VDM '87 Proceedings of the VDM-Europe Symposium on VDM - A Formal Method at Work
VDM '87 Proceedings of the VDM-Europe Symposium on VDM - A Formal Method at Work
VDM '87 Proceedings of the VDM-Europe Symposium on VDM - A Formal Method at Work
VDM Development with ADA as the Target Language
VDM '88 Proceedings of the Europe Symposium on VDM - The Way Ahead
Structured Analysis and System Specification
Structured Analysis and System Specification
A formal structured method for requirement specification construction
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Representation and Presentation of Requirements Knowledge
IEEE Transactions on Software Engineering
Assessment of Safety-Critical Specifications
IEEE Software
Strategies for incorporating formal specifications in software development
Communications of the ACM
Creating formal specifications from requirements documents
ACM SIGSOFT Software Engineering Notes
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
A validation framework for a maturity measurement model for safety-critical software systems
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Formal semantics for SA style data flow diagram specification languages
Proceedings of the 1999 ACM symposium on Applied computing
A user-friendly formal requirements specification method
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
TREAT: A Reverse Engineering Method and Tool for Environmental Databases
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Improving information requirements determination: a cognitive perspective
Information and Management
Automatic Generation of Formal Specification from Requirements Definition
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Information and Software Technology
A predicative basis for structured analysis specification tools
Information and Software Technology
Offshore software outsourcing risk evaluation: an experimental approach base on linear mixed model
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 1
ACM SIGSOFT Software Engineering Notes
Expert Systems with Applications: An International Journal
Using service responsibility tables to supplement UML in analyzing e-service systems
Decision Support Systems
Managing multi-jurisdictional requirements in the cloud: towards a computational legal landscape
Proceedings of the 3rd ACM workshop on Cloud computing security workshop
Combining UML, ASTD and B for the formal specification of an access control filter
Innovations in Systems and Software Engineering
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
Generating formal specifications from CASE repositories
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
DESRIST'12 Proceedings of the 7th international conference on Design Science Research in Information Systems: advances in theory and practice
Software engineering as the design theoretic transformation of software problems
Innovations in Systems and Software Engineering
Regulatory requirements traceability and analysis using semi-formal specifications
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Hi-index | 0.03 |
The differences between informal and formal requirements specification languages are noted, and the issue of bridging the gap between them is discussed. Using structured analysis (SA) and the Vienna development method (VDM) as surrogates for informal and formal languages, respectively, two approaches are presented for integrating the two. The first approach uses the SA model of a system to guide the analyst's understanding of the system and the development of the VDM specifications. The second approach proposes a rule-based method for generating VDM specifications from a set of corresponding SA specifications. The two approaches are illustrated through a simplified payroll system case. The issues that emerge from the use of the two approaches are reported.