Documentation driven development for complex real-time systems

IEEE Transactions on Software Engineering

Volumn 30, Issue 12, 2004, Pages 936-952

  Luqi, ^a   Zhang, Lin ^a   Berzins, Valdis ^a   Qiao, Ying ^a  

^a NAVAL POSTGRADUATE SCHOOL   (United States)

Author keywords

Agility; Complex systems; Documentation; Information representation; Real time systems; Software development

Indexed keywords

COMPUTER SIMULATION; INFORMATION MANAGEMENT; MATHEMATICAL MODELS; PROGRAM DOCUMENTATION; REAL TIME SYSTEMS; REQUIREMENTS ENGINEERING;

DOCUMENTATION DRIVEN DEVELOPMENT (DDD); DOCUMENTATION MANAGEMENT SYSTEM; INFORMATION REPRESENTATION; PROCESS MEASUREMENT SYSTEM; SOFTWARE DEVELOPMENT AGILITY;

SOFTWARE ENGINEERING;

EID: 23844456049     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2004.100     Document Type: Article

References (56)

1. P. Abrahamsson, O. Salo, J. Ronkainen, and J. Warsta, "Agile Software Development Methods-Review and Analysis," technical report, ESPOO, 2002.
2. A. Albrecht and J. Gaffney, "Software Function Source Lines of Code and Development Effort prediction," IEEE Trans. Software Eng., vol. 9, 1983.
3. R. Alur, D. Arney, E. Gunter, I. Lee, W. Nam, and J. Zhou, "Formal Specifications and Analysis of the Computer Assisted Resuscitation Algorithm (CARA) Infusion Pump Control System," Proc. Conf. Integrated Design and Process Technology (IDPT), 2002.
4. K. Beck, Extreme Programming Explained: Embrace Change. Addison-Wesley, 2000.
5. K. Beck et al., "Manifesto for Agile Software Development," www.agilemenifesto.org, Feb. 2001.
6. N. Bjorner, Z. Manna, H. Sipma, and T. Uribe, "Deductive Verification of Real-Time Systems Using STeP," Theoretical Computer Science, vol. 253, no. 1, pp. 27-60, 2001.
7. B. Boehm, Software Engineering Economics. Prentice Hall, 1981.
8. B. Boehm, "Software Risk Management: Overview and Recent Developments," Proc. 17th Int'l Forum on COCOMO and Software Cost Modeling, http://sunset.usc.edu/events/2002/cocomo17, Oct. 2002.
9. M. Broy, "Toward a Mathematical Foundation of Software Engineering Methods," IEEE Trans. Software Eng., vol. 27, no. 1, pp. 42-53, Jan. 2001.
10. M. Broy and O. Slotosch, "From Requirements to Validated Embedded Systems," Proc. First Int'l Workshop Embedded Software (EMSOFT 2001), pp. 51-65, Oct. 2001.
11. R. Burton and B. Obel, Strategic Organizational Diagnosis and Design. Developing Theory for Application. Kluwer Academic, 1998.
12. S. Campos, E. Clarke, W. Marrero, and M. Minea, "Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems," Proc. Workshop Languages, Compilers, and Tools for Real-Time Systems, pp. 70-78, June 1995.
13. D. Clarke and I. Lee, "Automatic Test Generation for the Analysis of a Real-Time System: Case Study," Proc. Third IEEE Real-Time Technology and Applications Symp. (RTAS '97), pp. 112-124, June 1997.
14. A. Cockburn, Agile Software Development. Addison-Wesley, 2001.
15. J. Corbett, M. Dwyer, J. Hatcliff, and Robby, "Expressing Checkable Properties of Dynamic Systems: The Bandera Specification Language," Int'l J. Software Tools for Technology Transfer, 2002.
16. T. DeMarco and B. Boehm, "The Agile Methods Fray," Computer, vol. 36, no. 6, pp. 90-92, June 2003.
17. X. Deng, M. Dwyer, J. Hatcliff, and M. Mizuno, "Invariant-Based Specification, Synthesis and Verification of Synchronization in Concurrent Programs," Proc. 24th Int'l Conf. Software Eng., pp. 442-452, May 2002.
18. P. Devanbu, P. Selfridge, R. Branchman, and B. Ballard, "LaSSIE: A Knowledge-Based Software Information System," Proc. IEEE 12th Int'l Conf. Software Eng., pp. 249-261, 1990.
19. J.P. Dupont, "Complexity Measure for the Prototype System Description Language (PSDL)," master's thesis, Naval Postgraduate School, Mar. 2002.
20. J. French, J. Knight, and A. Powell, "Applying Hypertext Structures to Software Documentation," www.cs.virginia.edu/cyberia/papers/ IPM97.pdf, 1997.
21. D. Garlan, S. Khersonsky, and J. Kim, "Model Checking Publish-Subscribe Systems," Proc. 10th Int'l SPIN Workshop Model Checking of Software (SPIN 03), pp. 166-180, May 2003.
22. L. Goldin and D. Berry, "AbstFinder: A Prototype Abstraction Finder for Natural Language Text for Use in Requirement Elicitation," Automated Software Eng., no. 4, pp. 375-412, 1997.
23. E. Hall, Managing Risk Methods for Software Systems Development. Addison Wesley, 1997.
24. J.A. Highsmith, Adaptive Software Development: A Collaborative Approach to Managing Complex Systems. Dorset House, 2000.
25. D. Hoffman and P. Strooper, "API Documentation with Executable Examples," The J. Systems and Software, vol. 66, pp. 143-156, 2003.
26. H. Hong, I. Lee, O. Sokolsky, and H. Ural, "A Temporal Logic Based Theory of Test Coverage and Generation," Proc. Int'l Conf. Tools and Algorithms for Construction and Analysis of Systems (TACAS2002), pp. 327-341, Apr. 2002.
27. http://www.comlab.ox.ac.uk/archive/formal-methods/, Oct. 2004.
28. N. Johnson and S. Kotz, and N. Balakrishnan, Continuous Univariate Distributions, vol. 1. Wiley & Sons, 1994.
29. D. Karolak, Software Engineering Management. IEEE CS Press, 1996.
30. M. Kim, I. Lee, U. Sammapun, J. Shin, and O. Sokolsky, "Monitoring, Checking, and Steering of Real-Time Systems," Proc. Second Int'l Workshop Runtime Verification, July 2002, available at www.cis.upenn.edu/rtg/mac/.
31. X. Liang, J. Puett, and Luqi, "Perspective-Based Architectural Approach for Dependable Systems," Proc. ICSE 2003 Workshop Software Architectures for Depenable Systems, pp. 1-6, May 2003.
32. Luqi, "Real-Time Constraints in a Rapid Prototyping Language," Computer Languages, vol. 18, pp. 77-103, 1993.
33. Luqi, V. Berzins, and R. Yeh, "A Prototyping Language for Real Time Software," IEEE Trans. Software Eng., vol. 14, no. 10, pp. 1409-1423, Oct. 1988.
34. Luqi and Z. Guan, "A Software Engineering Tools for Requirement Document Based Prototyping," Proc. Seventh World Multiconf. Systemics, Cybernetics and Infromatics, vol. VI, pp. 237-243, July 2003.
35. Luqi, Y. Qiao, and L. Zhang, "Computational Model for High-confidence Embedded System Development," Proc. Monterey Workshop - Radical Innovations of Software and Systems Eng. in the Future, pp. 265-303, Oct. 2002.
36. Luqi, X. Liang, M. Brown, and C. Williamson, "Formal Approach for Software Safety Analysis and Risk Assessment via an Instantiated Activity Model," Proc. 21st Int'l System Safety Conf., pp. 1060-1069, Aug. 2003.
37. M. Lyu, Software Reliability Engineering. IEEE CS Press, 1995.
38. J. Martin, Rapid Application Development. Prentice Hall, May 1991.
39. M. Murrah, "Enhancements and Extensions of Formal Models for Risk Assessment in Software Projects," PhD dissertation, Naval Postgraduate School, Sept. 2002.
40. J.C. Nogueira, "A Formal Model for Risk Assessment in Software Projects," PhD dissertation, Naval Postgraduate School, Sept. 2000.
41. S.R. Palmer and J.M. Felsing, A Practical Guide to Feature-Driven Development. Pearson Education, Feb. 2002.
42. C. Paris and K. Linden, "Building Knowledge Bases for the Generation of Software Documentation," Proc. Int'l Conf. Computational Linguisitics, http://acl.ldc.upenn.edu/C/C96/ C96-2124.pdf, 1996.
43. M. Poppendieck and T. Poppendieck, Lean Software Development: An Agile Toolkit for Software Development Managers. Addison-Wesley, 2003.
44. J. Puett, "Holistic Framework for Establishing Interoperability of Heterogeneous Software Development Tools," PhD dissertation, Naval Postgraduate School, June 2003.
45. M. Saboe, "A Software Technology Transition Entropy Based Engineering Model," PhD dissertation, Naval Postgraduate School, Mar. 2002.
46. K. Schwaber and M. Beedle, Agile Software Development with SCRUM. Prentice Hall, Oct. 2001.
47. O. Sheyner, S. Jha, and J. Wing, "Automated Generation and Analysis of Attack Graphs," Proc. IEEE Symp. Security and Privacy, pp. 273-284, May 2002.
48. Software Engineering Institute, "Software Risk Management," Technical Report CMU/SEI-96-TR-012, Carnegie Mellon Univ., June 1996.
49. J. Stapleton, DSDM: Business Focused Development. Addison-Wesley, 1997.
50. L. Williams and A. Cockburn, "Agile Software Development: It's about Feedback and Change," Computer, vol. 36, no. 6, pp, 39-43, June 2003.
51. L. Wills, S. Sander, S. Kannan, A. Kahn, J. Prasad, and D. Schrage, "An Open Control Platform for Reconfigurable, Distributed, Hierarchical Control Systems," Proc. Digital Avionics Systems Conf., Oct. 2000, http://controls.ae.gatech.edu/papers/ kannan_dasc_00.pdf.
52. J. Wing, "Scenario Graph Generation and MDP-Based Analysis," Presentation at ARO Kickoff Meeting, Univ. of Pennsylvania, Philadelphia, May 2001, http://www-2.cs.cmu.edu/svc/talks/html/ wing_files/frame.htm.
53. WRAIR Dept. of Resuscitative Medicine, "Narrative Description of the CARA Software," Proprietary Document, WRAIR, Jan. 2001.
54. WRAIR Dept. of Resuscitative Medicine, "CARA Pump Control Software Questions," Version 6.1, Proprietary Document, WRAIR, Jan. 2001.
55. WRAIR Dept. of Resuscitative Medicine, "CARA Tagged Requirements, Increment 3," Version 1.2, Proprietary Document, WRAIR, Mar. 2001.
56. P. Young, V. Berzins, J. Ge, and Luqi "Using an Object Oriented Model for Resolving Representational Differences between Heterogeneous Systems," Proc. 17th ACM Symp. Applied Computing (SAC), pp. 976-983, Mar. 2002.