Demand-Driven Specification Partitioning

1. Boehm, B.W.: Software Engineering Economics. Prentice Hall, Englewood Clifss (1981)

   MATH  Google Scholar 

2. Kotonya, G., Sommerville, I.: Requirements Engineering, 2nd edn. John Wiley & Sons, Ltd., Chichester (1998)

   Google Scholar 

3. Graham, D.: Requirements and Testing: Seven Missing-Link Myth. IEEE Software 19, 15–17 (2002)

   Article  Google Scholar 

4. Boehm, B.: Get Ready for Agile Methods, with Care. IEEE Computer 35, 64–69 (2002)

   Google Scholar 

5. Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z. Prentice-Hall Intl., Englewood Cliffs (1991)

   MATH  Google Scholar 

6. Knight, J.C., Leveson, N.G.: An Experimental Evaluation of the Assumption of Indepencence in Multiversion Programming. IEEE Trans. on Software Engineering SE-12 (1986)

   Google Scholar 

7. Beizer, B.: Black-Box Testing: Techniques for Functional Testing of Software Systems. John Wiley & Sons, Inc., Chichester (1995)

   Google Scholar 

8. Bennett, K.H., Rajlich, V.T.: Software maintenance and evolution: A roadmap. In: Finkelstein, A. (ed.) The Future of Software Engineering 2000, pp. 73–87. ACM press, New York (2000)

   Google Scholar 

9. Stewart, C.J., Cash, W.B.: Interviewing: Principles and Practices, 2nd edn. Wm. C. Brown, Iowa (1978)

   Google Scholar 

10. Daneš, F.: Functional sentence perspective and the organization of the text. In: Danes, F. (ed.) Papers on Functional Sentence Perspective, Academia, Publishing House of The Czechoslovak Academy of Sciences, Prague, pp. 106–128 (1970)

    Google Scholar 

11. Halliday, M.: An Introduction to Functional Grammar. Edward Arnold, London (1985)

    Google Scholar 

12. Spivey, J.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International, Englewood Cliffs (1992)

    Google Scholar 

13. Pirker, H.: Specification Based Software Maintenance: A Motivation for Service Channels. PhD thesis, Universität Klagenfurt (2001)

    Google Scholar 

14. Pirker, H., Mittermeir, R.T.: Internal service channels: Principles and limits. In: Proceedings International Workshop on the Principles of Software Evolution (IWPSE 1998), pp. 63–67. IEEE-CS Press, Los Alamitos (1998)

    Google Scholar 

15. Jackson, D.: Structuring Z Specifications with Views. ACM Trans. on Software Engineering and Methodology 4 (1995)

    Google Scholar 

16. Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering, pp. 439–449. IEEE, Los Alamitos (1982)

    Google Scholar 

17. Oda, T., Araki, K.: Specification slicing in a formal methods software development. In: 17th Annual International Computer Software and Applications Conference, pp. 313–319. IEEE Computer Society Press, Los Alamitos (1993)

    Google Scholar 

18. Chang, J., Richardson, D.J.: Static and Dynamic Specification Slicing. Technical report, Department of Information and Computer Science, University of California (1994)

    Google Scholar 

19. Burnstein, I., Roberson, K., Saner, F., Mirza, A., Tubaishat, A.: A role for chunking and fuzzy reasoning in a program comprehension and debugging tool. In: TAI 1997, 9th International Conference on Tools with Artificial Intelligence. IEEE press, Los Alamitos (1997)

    Google Scholar 

20. Mittermeir, R., Rauner-Reithmayer, D.: Applying concepts of soft-computing to software re(verse)-engineering. In: Migration Strategies for Legacy Systems. TUV- 1841-97-06 (1997)

    Google Scholar 

21. Tarr, P., Ossher, H., Harrison, W., Sutton, S.M.: N degrees of separation: Multidimensional separation of concerns. In: Proc. 22nd Internat. Conference on Software Engineering, pp. 107–119. ACM and IEEE press (1999)

    Google Scholar 

22. Bollin, A., Mittermeir, R.T.: Specification Fragments with Defined Semantics to Support SW-Evolution. In: ACCIT/IEEE Proc. of the Arab-International Conference on Computer Systems and Applications, AICCSA 2003 (2003)

    Google Scholar 

23. Fenton, N.E., Pfleeger, S.L.: Software Metrics: A Rigourous & Practical Approach, 2nd edn. International Thompson Publishing Company (1996)

    Google Scholar 

Download references