PDF(174 KB)
Pushing requirements changes through to changes
in specifications
Author information
+
Department of Electrical Engineering and Computer Science, University of Tennessee
Show less
History
+
Published |
05 Dec 2008 |
Issue Date |
05 Dec 2008 |
{{custom_sec.title}}
{{custom_sec.title}}
{{custom_sec.content}}
This is a preview of subscription content, contact
us for subscripton.
References
1. Prowell S J, Poore J H . Sequence-based software specificationof deterministic systems. Software –Practice and Experience, 1998, 28(3): 329–344. doi:10.1002/(SICI)1097-024X(199803)28:3<329::AID-SPE157>3.0.CO;2-H
2. Prowell S J, Poore J H . Foundations of sequence-basedsoftware specification. IEEE Transactionson Software Engineering, 2003, 29(5): 417–429. doi:10.1109/TSE.2003.1199071
3. Mills H D . The new math of computer programming. Communications of the ACM, 1975, 18(1): 43–48. doi:10.1145/360569.360659
4. Mills H D . Stepwise refinement and verification in box-structured systems. IEEE Computer, 1988, 21(6): 23–36
5. Prowell S J, Trammell C J, Linger R C, et al.. Cleanroom Software Engineering: Technology andProcess. Addison-Wesley-Longman, 1999
6. Bauer T, Beletski T, Boehr F, et al.. From requirements to automated testing of quasaraussenspiegeleinstellung. Technical Report007.07E, Fraunhofer Institute for Experimental Engineering, 2007
7. Lin L . Managementof Requirements Changes in Sequence-Based Software Specifications. Dissertation for the Doctoral Degree. Universityof Tennessee, 2006 .
8. Hopcroft J E, Ullman J D . Introduction to AutomataTheory, Languages, and Computation. Addison-Wesley, 1979
9. Lin L, Prowell S J, Poore J H . Management of requirements changes in sequence-basedspecifications. Technical Report ut-cs-07-588,University of Tennessee, 2007
10. Buren J, Cook D . Experiences in the adoptionof requirements engineering technologies. Crosstalk: The Journal of Defense Software Engineering, 1998, December : 3–10
11. Davis A . SoftwareRequirements: Analysis and Specification. Prentice-Hall, 1989
12. Harker S, Eason K, Dobson J . The change and evolution of requirements as a challengeto the practice of software engineering. In: Proceedings of the IEEE International Symposium on Requirements Engineering, 1993, 266–272
13. Jones C . Strategiesfor managing requirements creep. IEEE Computer, 1996, 29(6): 92–94
14. Lavazza L, Valetto G . Enhancing requirements andchange management through process modeling and measurement. In: Proceedings of the Fourth International Conferenceon Requirements Engineering, 2000, 106–115
15. Nurmuliani N, Zowghi D, Williams S . Requirements volatility and its impact on change effort:Evidence-based research in software development projects. In: Proceedings of the Eleventh Australian Workshopon Requirements Engineering, 2006
16. Kobayashi A, Maekawa M . Need-based requirements changemanagement. In: Proceedings of the EighthAnnual IEEE International Conference and Workshop on Engineering ofComputer-Based Systems, 2001, 171–178
17. Ajila S . Softwaremaintenance: An approach to impact analysis of objects change. Software – Practice and Experience, 1995, 25(10): 1155–1181. doi:10.1002/spe.4380251006
18. Lee M, Offutt A, Alexander R . Algorithmic analysis of the impacts of changes to object-orientedsoftware. In: Proceedings of the Thirty-FourthInternational Conference on Technology of Object-Oriented Languagesand Systems, 2000, 61–70
19. Moriconi M, Winkley T . Approximate reasoning aboutthe effects of program changes. IEEE Transactionson Software Engineering, 1990, 16(9): 980–992. doi:10.1109/32.58785
20. Ren X, Barbara G, Maximilian S, et al.. Chianti: A change impact analysis tool for Javaprograms. In: Proceedings of the Twenty-SeventhInternational Conference on Software Engineering, 2005, 61–70
21. Lock S, Kotonya G . An integrated, probabilisticframework for requirements change impact analysis. Australian Journal of Information Systems, 1999, 6(2): 38–63
22. Korel B, Tahat L H . Understanding modificationsin state-based models. In: Proceedingsof the Twelfth IEEE International Workshop on Program Comprehension.IEEE Computer Society Press, 2004 .
23. Seawright A, Brewer F . Clairvoyant: A synthesissystem for production-based specification. IEEE Transactions on VLSI Systems, 1994, 2(2): 172–185. doi:10.1109/92.285744