Specification of software component requirements using the trace function method

2006 International Conference on Software Engineering Advances, ICSEA'06

Volumn , Issue , 2006, Pages 50-

  Quinn, Colm ^a   Vilkomir, Sergiy ^a   Parnas, David ^a   Kostic, Srdjan ^b  

^a UNIVERSITY OF LIMERICK   (Ireland)

^b LM Ericsson Holdings Ltd   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; PROGRAM DOCUMENTATION; TELECOMMUNICATION SYSTEMS;

SOFTWARE COMPONENT REQUIREMENTS; SOFTWARE DOCUMENTATION;

SOFTWARE TESTING;

EID: 38849096440     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEA.2006.261306     Document Type: Conference Paper

References (17)

1. R. Baber, D. Parnas, S. Vilkomir, P. Harrison, and T. O'Connor, Disciplined methods of software specifications: a case study. Proc. of the Int'l Conf. on Information Technology Coding and Computing, pp. 428-437, April 2005.
2. W. Bartussek and D. Parnas, Using assertions about traces to write abstract specifications for software modules. Proc. of 2nd Conf. of European cooperation in Informatics, pp. 211-236, 1978.
3. J. A. Goguen, J. W. Thatcher, E. G. Wagner, and J. B. Wright, Abstract data-types as initial algebras and correctness of data representations. Conf. on Computer Graphics, Pattern Recognition and Data Structure, pp. 89-93, 1975.
4. J. Guttag, Abstract data types and the development of data structures. Proc. of the 1976 conference on data abstraction, definition and structure, pp. 72-80, 1976.
5. J. V. Guttag, E. Horowitz, and D. R. Musser, Some extensions to algebraic specifications. ACM Conf. on Language Design for Reliable Software, pp. 63-67, 1977.
6. K. Heninger, Specifying software requirements for complex systems: new techniques and their application. IEEE Trans. Software Eng., vol. SE-6, no. 1, pp. 2-13, Jan. 1980.
7. D. Hoffman and Y. Wang, Executable prototypes of trace specifications. Proc. of CIPS Edmonton, pp. 202-220, 1987.
8. M. Iglewski, J. Madey, and K. Stencel, On fundamentals of the Trace Assertion Method. Techn. Rep. RR 94/09-6, Universite du Quebec a Hull, Hull, Canada, 1994.
9. R. Janicki, E. Sekerinski, Foundations of the Trace Assertion Method of module interface specification. IEEE Trans. Software Eng., vol. 27, no. 7, pp. 577-598, July 2001.
10. M. Kubica, TAM'97: the Trace Assertion Method of module interface specification. Techn. Rep., Warsaw University, Institute of Informatics, Warsaw, Poland, 1997.
11. B. H. Liskov and S. N. Zilles, Specification techniques for data abstractions. IEEE Trans. Software Eng., vol. SE-1, no. 1, pp. 7-19, March 1975.
12. D. Parnas, Inspection of safety critical software using function tables. Proc. of IFIP World Congress, pp. 270-277, 1994.
13. K. Stencel, Refined simulation techniques for the Trace Assertion Method. Techn. Rep. 95-17, Warsaw University, Institute of Informatics, Warsaw, Poland, 1995.
14. J. W Thatcher, E. G. Wagner, and J. B. Wright, Data type specification: parameterization and the power of specification techniques. ACM Trans. on Programming Languages and Systems, pp. 711-732, 1982.
15. Y. Wang, Specifying and simulating the externally observable behavior of modules. Techn. Rep. 292, McMaster University, CRL, Telecommunication Research Institute of Ontario (TRIO), Hamilton, Ontario, Canada, 1994.
16. 3GPP TS 23.002, 3rd generation Partnership Project, Technical Specification Group Services and Systems Aspects; Network architecture, 1999.
17. 3GPP TS 25.331, 3rd Generation Partnership Project; Technical Specification Group Radio Access Network; Radio Resource Control (RRC); Protocol Specification, 1999.