Demand-driven specification partitioning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2789, Issue , 2003, Pages 241-253

  Mittermeir, Roland T ^a   Bollin, Andreas ^a  

^a UNIVERSITY OF KLAGENFURT   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DEMAND-DRIVEN;

FORMAL SPECIFICATION;

EID: 21144434490     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45213-3_30     Document Type: Article

References (23)

1. Bochm, B.W.: Software Engineering Economics. Prentice Hall, Englewood Clifss, NJ (1981)
2. Kotonya, G., Sommerville, I.: Requirements Engineering. 2nd edn. John Wiley & Sons, Ltd. (1998)
3. Graham, D.: Requirements and Testing: Seven Missing-Link Myth. IEEE Software 19 (2002) 15-17
4. Boehm, B.: Get Ready for Agile Methods, with Care. IEEE Computer 35 (2002) 64-69
5. Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z. Prentice-Hall Intl. (1991)
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)
7. Beizer, B.: Black-Box Testing: Techniques for Functional Testing of Software Systems. John Wiley & Sons, Inc. (1995)
8. Bennett, K.H., Rajlich, V.T.: Software maintenance and evolution: A roadmap. In Finkelstein, A., ed.: The Future of Software Engineering 2000. ACM press (2000) 73-87
9. Stewart, C.J., Cash, W.B.: Interviewing: Principles and Practices. 2nd edn. Wm. C. Brown, Iowa (1978)
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 (1970) 106-128
11. Halliday, M.: An Introduction to Functional Grammar. Edward Arnold (1985)
12. Spivey, J.: The Z Notation: A Reference Manual. Second edn. Prentice Hall International (1992)
13. Pirker, H.: Specification Based Software Maintenance: A Motivation for Service Channels. PhD thesis, Universität Klagenfurt (2001)
14. Pirker, H., Mittermeir, R.T.: Internal service channels: Principles and limits. In: Proceedings International Workshop on the Principles of Software Evolution (IW-PSE'98), IEEE-CS Press (1998) 63-67
15. Jackson, D.: Structuring Z Specifications with Views. ACM Trans. on Software Engineering and Methodology 4 (1995)
16. Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering, IEEE (1982) 439-449
17. Oda, T., Araki, K.: Specification slicing in a formal methods software development. In: 17th Annual International Computer Software and Applications Conference. IEEE Computer Socienty Press (1993) 313-319
18. Chang, J., Richardson, D.J.: Static and Dynamic Specification Slicing. Technical report, Department of Information and Computer Science, University of California (1994)
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-97, 9th International Conference on Tools with Artificial Intelligence, IEEE press (1997)
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)
21. Tarr, P., Ossher, H., Harrison, W., Sutton, S.M.: N degrees of separation: Multi-dimensional separation of concerns. In: Proc. 22nd Internat. Conference on Soft-ware Engineering, ACM and IEEE press (1999) 107-119
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'03). (2003)
23. Fenton, N.E., Pfleeger, S.L.: Software Metrics: A Rigourous & Practical Approach. Second edn. International Thompson Publishing Company (1996)