Slicing algebraic specifications

Information and Software Technology

Volumn 40, Issue 2, 1998, Pages 105-118

  Woodward, Martin R ^a   Allen, Stephen P ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Algebraic specification; Cohesion; Generalized slice; OBJ; Slice based metrics; Slicing

Indexed keywords

ALGEBRA; DESIGN; SPECIFICATIONS; TREES (MATHEMATICS);

COHESION; SLICE-BASED METRICS;

SOFTWARE ENGINEERING;

EID: 0032068809     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(98)00029-9     Document Type: Article

References (48)

1. M. Weiser, Program slicing, in: Proceedings of the 5th International Conference on Software Engineering (ICSE-5), San Diego, CA, IEEE Computer Society Press, March 1981, pp. 439-449.
2. M. Weiser, Programmers use slices when debugging, Communications of the ACM 25 (7) (1982) 446-452.
3. M. Weiser, Program slicing, IEEE Transactions on Software Engineering 10 (4) (1984) 352-357.
4. D.W. Binkley, K.B. Gallagher, Program slicing, Advances in Computers 43 ( 1996) 1-50.
5. M. Kamkar, An overview and comparative classification of program slicing techniques, Journal of Systems and Software 31 (3) (1995) 197-214.
6. F. Tip, A survey of program slicing techniques, Journal of Programming Languages 3 (3) (1995) 121-189.
7. A.M. Sloane, and J. Holdsworth, Beyond traditional slicing, in: Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA 1996), San Diego, CA, ACM Press, January 1996, pp. 180-186.
8. T. Oda, K. Araki, Specification slicing in formal methods of software development, in: Proceedings of the 17th Annual International Computer Software and Applications Conference (COMPSAC '93), Phoenix, IEEE Computer Society Press, November 1993, pp. 313-319.
9. L.M. Ott, J.J. Thuss, The relationship between slices and module cohesion, in: Proceedings of the 11th International Conference on Software Engineering (ICSE-11), Pittsburgh, IEEE Computer Society Press, May 1989, pp. 198-204.
10. L.M. Ott, J.J. Thuss, Slice based metrics for estimating cohesion, in: Proceedings of the 1st International Software Metrics Symposium Baltimore, IEEE Computer Society Press, May 1993, pp. 71-81.
11. J.M. Bieman, L.M. Ott, Measuring functional cohesion, IEEE Transactions on Software Engineering 20 (8) (1994) 644-657.
12. J. Field, G. Ramalingam, F. Tip, Parametric program slicing, in: Proceedings of the 22nd ACM Symposium on Principles of Programming Languages, San Francisco, CA, ACM Press, January 1995, pp. 379-392.
13. J.A. Goguen, J.J. Tardo, An introduction to OBJ: a language for writing and testing formal algebraic program specifications, in: Proceedings of Specifications of Reliable Software, Cambridge, MA, IEEE Computer Society Press, April 1979, pp. 170-189.
14. H. Ehrig, W. Fey, H. Hansen, ACT ONE: an algebraic specification language with two levels of semantics, Technical Report Number 83-03, Institut für Software und Theoretische Informatik, Technische Universität Berlin, Germany, 1983.
15. L. Jadoul, L. Duponcheel, W. Van Puymbroeck, An algebraic data type specification language and its rapid prototyping environment, in: Proceedings of the 11th International Conference on Software Engineering (ICSE-11), Pittsburgh, IEEE Computer Society Press, May 1989, pp. 74-84.
16. M. Bidoit, C. Choppy, S. Kaplan, ASSPEGIQUE: an algebraic specification environment, in: E. Girard (Ed.), Software Engineering: Practice and Experience - Proceedings of the Second Software Engineering Conference, Nice, North Oxford Academic, June 1984, pp. 182-187.
17. S.J. Garland, J.V. Guttag, J.J. Horning, Debugging Larch shared language specifications, IEEE Transactions on Software Engineering 16 (9) (1990) 1044-1057.
18. M. Bidoit, M.-C. Gaudel, A. Mauboussin, How to make algebraic specifications more understandable: an experiment with the PLUSS specification language, Science of Computer Programming 12 (1) (1989) 1-38.
19. I.M. Bradley, Notes on algebraic specifications, Information and Software Technology 31 (7) (1989) 357-365.
20. H. Ehrig, B. Mahr, I. Classen, F. Orejas, Introduction to algebraic specification. Part 1: formal methods for software development, The Computer Journal 35 (5) (1992) 460-467.
21. H. Ehrig, B. Mahr, F. Orejas, Introduction to algebraic specification. Part 2: from classical view to foundations of system specifications, The Computer Journal 35 (5) (1992) 468-477.
22. J.A. Bergstra, J. Heering, P. Klint (Eds.), Algebraic Specification, ACM Press Series, Addison-Wesley, 1989.
23. D. Coleman, R.M. Gallimore, V. Stavridou, The design of a rewrite rule interpreter from algebraic specifications, Software Engineering Journal 2 (4) (1987) 95-104.
24. R.M. Gallimore, D. Coleman, V. Stavridou, UMIST OBJ: a language for executable program specifications, The Computer Journal 32 (5) (1989) 413-421.
25. C.P. Gerrard, ObjEx: an Introduction, Gerrard Software, Macclesfield, 1987.
26. C.P. Gerrard, ObjEx: User Reference Manual, Gerrard Software, Macclesfield, 1987.
27. J. Gannon, P. McMullin, R. Hamlet, Data-abstraction implementation, specification and testing, ACM Transactions on Programming Languages and Systems 3 (3) (1981) 211-223.
28. P. Jalote, Specification and testing of abstract data types, in: Proceedings of the 7th International Computer Software and Applications Conference (COMPSAC '83), Chicago, IEEE Computer Society Press, November 1983, pp. 508-511.
29. L. Bougé, N. Choquet, L. Fribourg, M.-C. Gaudel, Test sets generation from algebraic specifications using logic programming, Journal of Systems and Software 6 (4) (1986) 343-360.
30. P. Jalote, M.G. Caballero, Automated testcase generation for data abstraction, in; Proceedings of the 12th International Computer Software and Applications Conference (COMPSAC '88), Chicago, IEEE Computer Society Press, October 1988, pp. 205-210.
31. C.P. Gerrard, D. Coleman, R.M. Gallimore, Formal specification and design time testing, IEEE Transactions on Software Engineering 16 (1) (1990) 1-12.
32. G. Bernot, M.-C. Gaudel, B. Marre, Software testing based on formal specifications: a theory and a tool, Software Engineering Journal 6 (6) (1991) 387-405.
33. S.P. Allen, M.R. Woodward, Assessing the quality of specification-based testing, in: S. Bologna, G. Bucci (Eds.), Achieving Quality in Software (Proceedings of AQuIS '96, the Third International Conference on Achieving Quality in Software), Florence, Chapman and Hall, January 1996, pp. 341-354.
34. W.B. Samson, D.G. Nevill, P.I. Dugard, Predictive software metrics based on a formal specification, Information and Software Technology 29 (5) (1987) 242-248.
35. M.R. Woodward, Errors in algebraic specifications and an experimental mutation testing tool, Software Engineering Journal 8 (4) (1993) 211-224.
36. S.P. Allen, M.R. Woodward, Assessing the quality of algebraically specified ADTs, in: W.B. Samson, I.M. Marshall, D.G. Edgar-Nevill (Eds.), Proceedings of the 5th Software Quality Conference, University of Abertay, Dundee, July 1996, pp. 116-125.
37. J.V. Guttag, J.J. Horning, The algebraic specification of abstract data types, Acta Informatica 10 (1) (1978) 27-52.
38. R. Ellis, Data Abstraction and Program Design, Pitman, London, 1991.
39. J.G. Turner, T.L. McCluskey, The Construction of Formal Specifications: an Introduction to the Model-based and Algebraic Approaches, McGraw-Hill, New York, 1994.
40. U.H. Chi, Formal specifications of user interfaces: a comparison and evaluation of four axiomatic approaches, IEEE Transactions on Software Engineering 11 (8) (1985) 671-685.
41. F.D. Rolland, Programming with VDM, Macmillan, New York, 1992.
42. D.A. Duce, E.V.C. Fielding, Formal specifications - a comparison of two techniques, The Computer Journal 30 (4) (1987) 316-327.
43. S.P. Allen, Algebraic specifications: investigations concerning their effectiveness for testing software, their quality and maintenance, Ph.D. Thesis, University of Liverpool, 1998.
44. M.R. Woodward, Difficulties using cohesion and coupling as quality indicators, Software Quality Journal 2 (2) (1993) 109-127.
45. K.B. Gallagher, J.R. Lyle, Using program slicing in software maintenance, IEEE Transactions on Software Engineering 17 (8) (1991) 751-761.
46. J. Field, F. Tip, Dynamic dependence in term rewriting systems and its application to program slicing, in: M. Hermenegildo, J. Penjam (Eds.), Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming, vol. 844 of Lecture Notes in Computer Science, Springer, Berlin, September 1994, pp. 415-431.
47. F. Tip, Generic techniques for source-level debugging and dynamic program slicing, in: P.D. Mosses, M. Nielsen, M.I. Schwartzbach (Eds.), Proceedings of the Sixth International Joint Conference on Theory and Practice of Software Development, Aarhus, vol. 915 of Lecture Notes in Computer Science, Springer, Berlin, May 1995, pp. 516-530.
48. M. Harman, S. Danicic, Amorphous program slicing, in: Proceedings of the 5th International Workshop on Program Comprehension, Dearborn, MI, IEEE Computer Society Press, May 1997, pp. 70-79.