Abstract
The paper reflects on why formal methods are quite often not used in projects that better rely on their potential. The expressive density might not be the least among them. To allow users focussed reading, the concept of specification slicing and specification chunking is introduced. An initial evaluation shows that reduction in size obtainable varies, they can be marked with larger specifications though.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boehm, B.W.: Software Engineering Economics. Prentice Hall, Englewood Clifss (1981)
Kotonya, G., Sommerville, I.: Requirements Engineering, 2nd edn. John Wiley & Sons, Ltd., Chichester (1998)
Graham, D.: Requirements and Testing: Seven Missing-Link Myth. IEEE Software 19, 15–17 (2002)
Boehm, B.: Get Ready for Agile Methods, with Care. IEEE Computer 35, 64–69 (2002)
Potter, B., Sinclair, J., Till, D.: An Introduction to Formal Specification and Z. Prentice-Hall Intl., Englewood Cliffs (1991)
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)
Beizer, B.: Black-Box Testing: Techniques for Functional Testing of Software Systems. John Wiley & Sons, Inc., Chichester (1995)
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)
Stewart, C.J., Cash, W.B.: Interviewing: Principles and Practices, 2nd edn. Wm. C. Brown, Iowa (1978)
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)
Halliday, M.: An Introduction to Functional Grammar. Edward Arnold, London (1985)
Spivey, J.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International, Englewood Cliffs (1992)
Pirker, H.: Specification Based Software Maintenance: A Motivation for Service Channels. PhD thesis, Universität Klagenfurt (2001)
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)
Jackson, D.: Structuring Z Specifications with Views. ACM Trans. on Software Engineering and Methodology 4 (1995)
Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering, pp. 439–449. IEEE, Los Alamitos (1982)
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)
Chang, J., Richardson, D.J.: Static and Dynamic Specification Slicing. Technical report, Department of Information and Computer Science, University of California (1994)
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)
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)
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)
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)
Fenton, N.E., Pfleeger, S.L.: Software Metrics: A Rigourous & Practical Approach, 2nd edn. International Thompson Publishing Company (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mittermeir, R.T., Bollin, A. (2003). Demand-Driven Specification Partitioning. In: Böszörményi, L., Schojer, P. (eds) Modular Programming Languages. JMLC 2003. Lecture Notes in Computer Science, vol 2789. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45213-3_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-45213-3_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40796-6
Online ISBN: 978-3-540-45213-3
eBook Packages: Springer Book Archive