A formal scheme for systematic translation of software requirements to source code

Authors:
Arbi Ghazarian
Affiliations:
Arizona State University, Department of Engineering, Mesa, AZ
Venue:
ACC'11/MMACTEE'11 Proceedings of the 13th IASME/WSEAS international conference on Mathematical Methods and Computational Techniques in Electrical Engineering conference on Applied Computing
Year:
2011

Citing 8
Cited 0

Why and How of Requirements Tracing

IEEE Software
Requirements Engineering: Processes and Techniques

Requirements Engineering: Processes and Techniques
Traceability Process for Large OO Projects

Computer
Implementing requirements traceability: a case study

RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
PRO-ART: Enabling Requirements Pre-Traceability

ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
Traceability patterns: an approach to requirement-component traceability in agile software development

ACS'08 Proceedings of the 8th conference on Applied computer scince
Coordinated software development: a framework for reasoning about trace links in software systems

INES'09 Proceedings of the IEEE 13th international conference on Intelligent Engineering Systems
A Software Requirements Specification Framework for Objective Pattern Recognition: A Set-Theoretic Classification Approach

ICECCS '11 Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Problem Decomposition Scheme (PDS) is a requirements specification framework that allows for consistent and objective decomposition and classification of software problems into categories of software requirements or problem dimensions. PDS-based problem dimensions represent recurring development problem types and as such, when paired with their optimal solutions, form reusable development patterns known as traceability patterns. Traceability patterns allow us to systematically transition from software requirements to source code. In this paper, we introduce an extension to the PDS formalism, called Systematic Translation Scheme (STS), which incorporates a sequence of traceable and objective transformations from software requirements to source code. We demonstrate that STS is capable of providing a formal foundation that allows for a rigorous description, analysis, and automation of traceability patterns.