Below are the first 10 and last 10 pages of uncorrected machine-read text (when available) of this chapter, followed by the top 30 algorithmically extracted key phrases from the chapter as a whole.
Intended to provide our own search engines and external engines with highly rich, chapter-representative searchable text on the opening pages of each chapter.
Because it is UNCORRECTED material, please consider the following text as a useful but insufficient proxy for the authoritative book pages.
Do not use for reproduction, copying, pasting, or reading; exclusively for search engines.
OCR for page 56
References
Aerospace Daily
2003 Revenue for defense IT expected to grow 10-12 percent. 206(4):7.
Apfelbaum, L., and J. Doyle
1997 Model-based testing. Proceedings of the 10th International Software Quality Week
'97. San Francisco, CA: Software Research Institute.
Archer, M.
1999 Toolsforsimplifyingproof ofpropertiesoftimed automata: The TAME template,
theories, and strategies. Technical report, NRL/MR/5540-99-8359. Washington,
DC: Naval Research Laboratory.
Avritzer, A., and E.J. Weyuker
1995 The automatic generation of load test suites and the assessment of the resulting
software. IEEE Transactions on Software Engineering 21 (9) :705-716.
Balk, J., B. Boehm, and B.M. Steece
2002 Disaggregating and calibrating the case tool variable in COCOMO II. IEEE
Transactions on Software Engineering 28 (11): 1009- 1022.
Bartoussek, W., and D.L. Parnas
1978 Using assertions about traces to write abstract specifications for software modules.
In Proceedings of the Second Conference on European Cooperation in Informatics and
Information Systems Methodology, pp. 211 -236. Venice, Italy.
Boehm, B., C. Abts, A.W. Brown, S. Chulani, B. Clark, E. Horowitz, R. Madachy, D. Reifer,
and B. Steece
2000 Soffware Cost Estimation with COCOMO II. Englewood Cliffs, NJ: Prentice Hall.
Chulani, S., B. Boehm, C. Abts, J. Balk, A. Windsor Brown, B. Clark, E. Horowitz, R.
Madachy, D. Reifer, and B. Steece
2000 Future trends, implications in cost estimation models. Crosstalk, The Journal of
Defense Engineering 13 (4) :4-8.
56
OCR for page 57
REFERENCES
57
Cohen, D.M., S.R. Dalal, A. Kajla, and G.C. Patton
1994 The automatic efficient test generator (AETG) system. Proceedings of the IEEE
International Symposium on Soffware Reliability Engineering pp. 303-309.
Cohen, D.M., S.R. Dalal, J. Parelius, and G.C. Patton
1996 The combinatorial design approach to automatic test generation. IEEE Soffware
13(5):83-88.
Dalal, S.R., and C.L. Mallows
1988 When should one stop testing software? Journal of the American Statistical
Association 83 (403): 872-879.
Dalal, S.R., and A.A. McIntosh
1994 When to stop testing for large software systems with changing code. IEEE
Transactions on Software Engineering20(4):318-323.
Dalal, S.R., A. Jain, N. Karunithi, J.M. Leaton, and C.M. Lott
1998 Model-based testing of a highly programmable system. Proceedings of the ISSRE,
pp. 174-178.
Dalal, S., M. Hamada, P. Matthews, and P. Gardner
1999 Using defect patterns to uncover opportunities for improvement. Proceedings of
the International Conference on Applications of Soffware Measurement (ASM), San
Jose, CA.
Dalal, S.R., Y. Ho, A. Jain, and A. McIntosh
2002 Application Performance Assurance via Post-Production Monitoring. Paper
presented at the International Performance and Dependability Symposium,
Washington, DC.
Faulk, S.R.
1995 Software Requirements: A Tutorial. NRL Report 7775, Washington, DC: Naval
Research Laboratory.
Ferguson, J.
2001 Crouching dragon, hidden software: Software in DoD weapon systems. IEEE
Software 18 (4) :105-107.
Garg, S., A. van Moorsel, K. Vaidyanathan, and K.S. Trivedi
1998 A methodology for detection and estimation of software aging. Proceedings of the
Ninth International Symposium on Software Reliability Engineering Paderborn,
Germany, pp. 282-292.
Gross, J., and J. Yellen
1998 Graph Theory and Its Applications. Boca Raton, FL: CRC Press.
Harel, D.
2001 From play in scenarios to code: An achievable dream. Computer34(1):53-60.
Harel, D., and O. Kupferman
2002 On object systems and behavioral inheritance. IEEE Transactions on Software
Engineering 28 (9) :889-903.
Heitmeyer, C.L., R.D. Jeffords, and B. Labaw
1996 Automated consistency checking of requirements specifications. ACM Transactions
on Software Engineering and Methodology 5 (3) :231 -261.
OCR for page 58
58
INNOVATIONS IN SOFTWARE ENGINEERING
Heitmeyer, C., J. Kirby, B. Lab aw, and R. Bharadwaj
1998 SCR*: A toolset for specifying and analyzing software requirements. Proceedings,
Computer-Aided Verification, 10th Annual Conference (CAVES), Vancouver,
Canada.
Heninger, K.
1980 Specifying software requirements for complex systems: New techniques and their
application. IEEE Transactions on Software Engineering SE-6 (1) :2- 13.
Hester, S.D., D.L. Parnas, and D.F. Utter
1981 Using documentation as a software design medium. The Bell System Technical
Journal 60 (8): 1 941-1977.
Holtzman, G.J.
1997 The model checker SPIN. IEEE Transactions on SoftwareEngineering23(5):279-
295.
Humphrey, W.S.
1989 Managing the Software Process. Reading, MA: Addison-Wesley.
Jeffords, R., and C. Heitmeyer
1998 Automatic generation of state invariants from requirements specifications.
Proceedings, 6th International Symposium on the Foundations of Software Engineering
(FSE-6), Orlando, FL.
Lee, D., and M. Yanakakis
1992 On-line minimization of transition systems. In Proceedings of the 24th Annual
ACM Symposium on Theory of Computing pp. 264-274. New York: Association
for Computing Machinery.
Leonard, E.I., and C.L. Heitmeyer
2003 Program synthesis from formal requirements specifications using APTS, Higher-
Order and Symbolic Computation 16(1 -2):62-97.
Lithicum, D.
2001 BOB Application Integration: e-Business Enables Your Enterprise. Reading, MA:
Addison-Wesley.
Luckham, D.C., J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan, and W. Mann
1995 Specification and analysis of system architecture using rapide. IEEE Transactions
on SoftwareEngineering4:336-355.
Lutz, R.R.
1993 Analyzing software requirement errors in safety-critical, embedded systems.
Proceedings of the IEEE International Symposium on Requirements Engineering San
Diego, CA.
Lyu, M.
1996 Handioook of Software Reliability Engineering, Michael Lyu (ed.). New York:
McGraw-Hill.
Meyers, S., and S. White
1983 Software Requirements Methodology and Tool Study for A6-E Technology Transfer.
Technical report. Bethpage, NY: Grumman Aerospace Corp.
OCR for page 59
REFERENCES
59
National Research Council
1996 Statistical Software Engineering. Panel on Statistical Methods in Software
Engineering, Committee on Applied and Theoretical Statistics.Washington, DC:
National Academy Press.
1998 Statistics, Testing and Defense Acquisition: New Approaches and Methodological
Improvements. Panel on Statistical Methods for Testing and Evaluating Defense
Systems, Committee on National Statistics, Michael L. Cohen, John E. Rolph,
and Duane L. Steffoy, eds. Washington, DC: National Academy Press.
2002 Reliability Issues for DoD Systems: Report of a Workshop. Committee on National
Statistics. Francisco Samaniego and Michael Cohen, eds. Washington, DC: The
National Academies Press.
Oshana, R.S.
1999 An automated testing environment to support operational profiles of software
intensive systems. Proceedings of the International Soffware Quality Week '99. San
Francisco, CA: Software Research Institute.
Parnas, D.L., and Y. Wang
1989 The Trace Assertion Method ofModuleInterface Specification. Technical Report 89-
261, Department of Computing and Information Science, Queen's University at
Kingston, Kingston, Ontario, Canada.
Poore, J.H., and C.J. Trammell
1999 Application of statistical science to testing and evaluating software intensive
systems, in Statistics, Testing and Defense Acquisition: Background Papers. Panel on
Statistical Methods for Testing and Evaluating Defense Systems, Committee on
National Statistics, Michael L. Cohen, John E. Rolph, and Duane L. Steffoy, eds.
Washington, DC: National Academy Press.
Prowell, S.J., C.J. Trammell, R.C. Linger, and J.H. Poore
1999 Cleanroom Software Engineering: Technology and Process. Reading, MA: Addison
Wesley.
Raffo, D., and M.I. Kellner
1999 Predicting the impact of potential process changes: A quantitative approach to
process modeling. In Elements of Software Process Assessment and Improvement,
Khaled El Emam and Nazim H. Madhavji, eds. New York: Wiley.
Rapps, S., and E. Weyuker
1985 Selecting software test data using data flow information. IEEE Transactions on
Software EngineeringSE-11 (4):367-375.
Rosaria, S., and H. Robinson
2000 Applying models in your testing process. Information and Software Technology
42:815-824.
Umar, A.
2002 E-Iousiness and Third Generation Distrilouted Systems. St. Louis, MO: Academic
Press.
2003 Application Reengineering: Building Welo-Based Applications and Dealing with
Legacies. Englewood Cliffs, NJ: Prentice Hall.
OCR for page 60
60
INNOVATIONS IN SOFTWARE ENGINEERING
Vaidyanathan, K., and K.S. Trivedi
1999 A measurement-based model for estimation of resource exhaustion in operational
software systems. Proceedings of the Tenth IEEE International Symposium on
Software Reliability Engineering Boca Raton, FL, pp. 84-93.
Whittaker, J.A., and J.H. Poore
1993 Markov analysis of software specifications. ACM Transactions on Software
Engineering and Methodology 2(2) :93-106.
Whittaker, J.A., and K. Agrawal
1994 A case study in software reliability measurement. Proceedings of the International
Software Quality Week '94, paper 2-A-2, San Francisco, CA.
Whittaker, J.A., and Michael G. Thomason
1994 A Markov chain model for statistical software testing. IEEE Transactions on
Software Engineering20(10) :812-824.
Woodcock, J., and J. Davies
1996 Using A: Specification, Refinement and Proof Englewood Cliffs, NJ: Prentice
Hall.
Representative terms from entire chapter:
ieee transactions
