Demand-Driven Specification Partitioning

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.

[1]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[2]  I. Burnstein,et al.  A role for chunking and fuzzy reasoning in a program comprehension and debugging tool , 1997, Proceedings Ninth IEEE International Conference on Tools with Artificial Intelligence.

[3]  Tornohiro ODA,et al.  Specification slicing in formal methods of software development , 1993, Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93.

[4]  Dorothy R. Graham,et al.  Requirements and Testing: Seven Missing-Link Myths , 2002, IEEE Softw..

[5]  Jane Sinclair,et al.  Introduction to formal specification and Z , 1991, Prentice Hall International Series in Computer Science.

[6]  Anthony Finkelstein,et al.  The future of software engineering 2000 , 2000 .

[7]  F. Daneš.  Functional Sentence Perspective and the Organization of the Text , 1974 .

[8]  Roland T. Mittermeir,et al.  Specification fragments with defined semantics to support SW-evolution , 2003 .

[9]  A. Berztiss,et al.  Requirements Engineering , 2002, J. Object Technol..

[10]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[11]  Boris Beizer,et al.  Black Box Testing: Techniques for Functional Testing of Software and Systems , 1996, IEEE Software.

[12]  Barry W. Boehm,et al.  Get Ready for Agile Methods, with Care , 2002, Computer.

[13]  Stanley M. Sutton,et al.  N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[14]  Keith H. Bennett,et al.  Software maintenance and evolution: a roadmap , 2000, ICSE '00.

[15]  Daniel Jackson,et al.  Structuring Z specifications with views , 1995, TSEM.

[16]  Michael Halliday,et al.  An Introduction to Functional Grammar , 1985 .

[17]  Nancy G. Leveson,et al.  An experimental evaluation of the assumption of independence in multiversion programming , 1986, IEEE Transactions on Software Engineering.

[18]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.