Specification of Software Component Requirements Using the Trace Function Method

Authors:
Colm Quinn;Sergiy Vilkomir;David Parnas;Srdjan Kostic
Affiliations:
University of Limerick, Ireland;University of Limerick, Ireland;University of Limerick, Ireland;LMI Ericsson, Ireland
Venue:
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
Year:
2006

Citing 0
Cited 5

An IDE for software development using tabular expressions

CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Defining the meaning of tabular mathematical expressions

Science of Computer Programming
From Requirements to Architecture

Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
An experimental assessment of module documentation-based testing

Information and Software Technology
Software engineering: multi-person development of multi-version programs

Dependable and Historic Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes the application of the Trace Function Method to specify the requirements of a software component. We illustrate the method on a software component of a telecommunications system that was developed by Ericsson. Beginning with incomplete informal descriptions, we analysed the requirements of the system and wrote a description that contains all pertinent information in one easily used reference document. The resulting documentation is more compact and complete than traditional software documentation and provides precise information that will be useful for testing and inspection.