% This file was created with JabRef 2.10b2.
% Encoding: UTF-8


@Article{Myl95,
  Title                    = {Multiple Viewpoints Analysis of Software Specification Process},
  Author                   = {J. Mylopoulos et al.},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1995}
}

@InProceedings{Hug94,
  Title                    = {A Taxonomy for Requirements Analysis Techniques},
  Author                   = {K. Hughes et al.},
  Booktitle                = {Proceedings of the IEEE International Conference on Requirements Engineering},
  Year                     = {1994}
}

@InProceedings{Kel98,
  Title                    = {Process Guides: Effective Guidance for Process Participants},
  Author                   = {M. Kellner et al.},
  Booktitle                = {Proceedings of the 5th International Conference on the Software Process},
  Year                     = {1998}
}

@InProceedings{Cur94,
  Title                    = {BORIS-R Specification of the Requirements of a Large-Scale Software Intensive System},
  Author                   = {P. Curran et al.},
  Booktitle                = {Proceedings of the Requirements Elicitation for Software-Based Systems},
  Year                     = {1994}
}

@InProceedings{Apr03,
  Title                    = {Software Maintenance Capability Maturity Model (SM-CMM): Process Performance Measurement},
  Author                   = {A. April, A. Abran, and R. Dumke},
  Booktitle                = {Proceedings of the 13th International Workshop on Software Measurement (IWSM 2003)},
  Year                     = {2003}
}

@InProceedings{Apr01,
  Title                    = {Software Maintenance in a Service Level Agreement: Controlling the Customer's Expectations},
  Author                   = {A. April, J. Bouman, A. Abran, and D. Al-Shurougi},
  Booktitle                = {Proceedings of the European Software Measurement Conference},
  Year                     = {2001}
}

@Article{Dav88,
  Title                    = {A Strategy for Comparing Alternative Software Development Life Cycle Models},
  Author                   = {A. Davis, E. Bersoff, and E. Comer},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1988},
  Number                   = {10},
  Pages                    = {1453-1461},
  Volume                   = {14}
}

@Book{Fin00,
  Title                    = {The Future of Software Engineering},
  Author                   = {A. Finkelstein, ed.},
  Publisher                = {ACM},
  Year                     = {2000}
}

@Article{Fin94,
  Title                    = {Software Process Modeling and Technology},
  Author                   = {A. Finkelstein, J. Kramer, and B. Nuseibeh},
  Journal                  = {Research Studies Press Ltd.},
  Year                     = {1994}
}

@Book{Hut94,
  Title                    = {Object Analysis and Design - Comparison of Methods. Object Analysis and Design - Description of Methods},
  Author                   = {A.T.F. Hutt, ed.},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1994}
}

@InProceedings{Abr1993,
  Title                    = {Maintenance Productivity \& Quality Studies: Industry Feedback on Benchmarking},
  Author                   = {A. Abran},
  Booktitle                = {Proceedings of the Software Maintenance Conference (ICSM93)},
  Year                     = {1993}
}

@Article{Abr93,
  Title                    = {Measurement of the Maintenance Process from a Demand-Based Perspective},
  Author                   = {A. Abran and H. Nguyenkim},
  Journal                  = {Journal of Software Maintenance: Research and Practice},
  Year                     = {1993},
  Number                   = {2},
  Pages                    = {63-90},
  Volume                   = {5}
}

@Article{Abr96,
  Title                    = {Function Points Analysis: An Empirical Study of its Measurement Processes},
  Author                   = {A. Abran and P.N. Robillard},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1996},
  Pages                    = {895-909},
  Volume                   = {22}
}

@InProceedings{Abran1996,
  Title                    = {Function Points Analysis: An Empirical Study of Its Measurement Processes},
  Author                   = {A. Abran and P.N. Robillard},
  Booktitle                = {Proceedings of the IEEE Transactions on Software Engineering},
  Year                     = {1996}
}

@InBook{Ack02,
  Title                    = {Software Inspections and the Cost Effective Production of Reliable Software, Software Engineering},
  Author                   = {F.A. Ackerman},
  Editor                   = {Richard H. Thayer and Mark Christensen},
  Publisher                = {Wiley-IEEE Computer Society Press},
  Year                     = {2002},
  Volume                   = {2}
}

@Article{Adl99,
  Title                    = {Improving Risk Management: Moving from Risk Elimination to Risk Avoidance},
  Author                   = {T.R. Adler and J.G. Leonard and R.K. Nordgren},
  Journal                  = {Information and Software Technology},
  Year                     = {1999},
  Pages                    = {29-34},
  Volume                   = {41}
}

@InProceedings{Agr99,
  Title                    = {The Role of Design and Analysis in Process Improvement},
  Author                   = {W. Agresti},
  Booktitle                = {Proceedings of the Elements of Software Process Assessment and Improvement},
  Year                     = {1999}
}

@Book{Ale02,
  Title                    = {Writing Better Requirements},
  Author                   = {I. Alexander and R. Stevens},
  Publisher                = {Addison-Wesley},
  Year                     = {2002}
}

@InProceedings{Ale91,
  Title                    = {Criteria for Selecting Software Process Models},
  Author                   = {L. Alexander and A. Davis},
  Booktitle                = {Proceedings of the COMPSAC'91},
  Year                     = {1991}
}

@InProceedings{Apr00,
  Title                    = {Software Product Measurement for Supplier Evaluation},
  Author                   = {A. April and D. Al-Shurougi},
  Booktitle                = {Proceedings of the FESMA2000},
  Year                     = {2000}
}

@Article{Ard97,
  Title                    = {Formal Methods for Telecommunication System Requirements: A Survey of Standardized Languages"},
  Author                   = {M. Ardis},
  Journal                  = {Annals of Software Engineering},
  Year                     = {1997},
  Volume                   = {3}
}

@Book{Arn93,
  Title                    = {Software Reengineering},
  Author                   = {R.S. Arnold},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1993}
}

@Book{Art98,
  Title                    = {Software Evolution: The Software Maintenance Challenge},
  Author                   = {L.J. Arthur},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1998}
}

@Book{Art93,
  Title                    = {Improving Software Quality: An Insider's Guide to TQM},
  Author                   = {L.J. Arthur},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1993}
}

@Article{Col96,
  Title                    = {A Defined Process for Project Postmortem Review},
  Author                   = {B. Collier, T. DeMarco,and P. Fearey},
  Journal                  = {IEEE Software},
  Year                     = {1996},
  Pages                    = {65-72}
}

@Book{Bab86,
  Title                    = {Software Configuration Management, Coordination for Team Productivity},
  Author                   = {W.A. Babich},
  Publisher                = {Addison-Wesley},
  Year                     = {1986}
}

@Article{Bac90,
  Title                    = {Measures of testability as a basis for quality assurance},
  Author                   = {Bache, R. and Mullerburg, M.},
  Journal                  = {Software Engineering Journal},
  Year                     = {1990},

  Month                    = {Mar},
  Number                   = {2},
  Pages                    = {86--92},
  Volume                   = {5},

  ISSN                     = {0268-6961},
  Keywords                 = {program testing;quality control;software reliability;analytical quality assurance;control flow;control flowgraphs;development process;glass box testing;program characteristic;program testing;quality attribute;software lifecycle;source code;structural measures;structural metrication;test cases;test strategy;testability measures;testing strategies;white box testing}
}

@Article{Bai98,
  Title                    = {Across Disciplines: Risk, Design, Method, Process, and Tools},
  Author                   = {R. Baines},
  Journal                  = {IEEE Software},
  Year                     = {1998},
  Pages                    = {61-64}
}

@Article{Ban95,
  Title                    = {Modeling and improving an industrial software process},
  Author                   = {Bandinelli, S. and Fuggetta, A and Lavazza, L. and Loi, M. and Picco, G.P.},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1995},

  Month                    = {May},
  Number                   = {5},
  Pages                    = {440--454},
  Volume                   = {21},

  Doi                      = {10.1109/32.387473},
  ISSN                     = {0098-5589},
  Keywords                 = {DP industry;programming environments;software quality;system documentation;telecommunication computing;Business Unit Telecommunications for Defense;ambiguity detection;current practice;documentation;formal process modeling languages;incompleteness detection;inconsistency detection;industrial software process improvement;industrial software process modelling;large telecommunications company;quality manual;software development organization;Business communication;Capability maturity model;Companies;Computer industry;Continuous improvement;Coordinate measuring machines;Production;Programming;Project management;Telecommunications}
}

@Book{Bar98,
  Title                    = {Writing Software Documentation: A Task-Oriented Approach},
  Author                   = {T.T. Barker},
  Publisher                = {Allyn \& Bacon},
  Year                     = {1998}
}

@InProceedings{Bas85,
  Title                    = {Quantitative Evaluation of Software Methodology},
  Author                   = {V.R. Basili},
  Booktitle                = {Proceedings of the First Pan-Pacific Computer Conference},
  Year                     = {1985}
}

@InProceedings{Bas92,
  Title                    = {The Software Engineering Laboratory: An Operational Software Experience Factory},
  Author                   = {Basili, Victor and Caldiera, Gianluigi and McGarry, Frank and Pajerski, Rose and Page, Gerald and Waligora, Sharon},
  Booktitle                = {Proceedings of the 14th International Conference on Software Engineering (ICSE'92)},
  Year                     = {1992},

  Address                  = {New York, NY, USA},
  Pages                    = {370--381},
  Publisher                = {ACM},

  Acmid                    = {143154},
  Doi                      = {10.1145/143062.143154},
  ISBN                     = {0-89791-504-6},
  Location                 = {Melbourne, Australia},
  Numpages                 = {12},
  Url                      = {http://doi.acm.org/10.1145/143062.143154}
}

@Article{Bas84,
  Title                    = {A Methodology for Collecting Valid Software Engineering Data},
  Author                   = {V.R. Basili and D.M. Weiss},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1984},
  Number                   = {6},
  Pages                    = {728-738},
  Volume                   = {SE-10}
}

@Book{Bec02,
  Title                    = {Test-Driven Development by Example},
  Author                   = {K. Beck},
  Publisher                = {Addison-Wesley},
  Year                     = {2002}
}

@Book{Beck2002,
  Title                    = {Test-Driven Development: By Example},
  Author                   = {K. Beck},
  Publisher                = {Addison-Wesley},
  Year                     = {2002}
}

@InBook{Bec99,
  Title                    = {Extreme Programming Explained: Embrace Change},
  Author                   = {K. Beck},
  Chapter                  = {10, 12, 15, 16-18, 21},
  Publisher                = {Addison-Wesley},
  Year                     = {1999}
}

@InBook{Bei90,
  Title                    = {Software Testing Techniques},
  Author                   = {B. Beizer},
  Chapter                  = {1-3, 5, 7s4, 10s3, 11, 13},
  Publisher                = {International Thomson Press},
  Year                     = {1990}
}

@Book{Beizer1990,
  Title                    = {Software Testing Techniques},
  Author                   = {B. Beizer},
  Publisher                = {International Thomson Press},
  Year                     = {1990},
  Edition                  = {second}
}

@Book{Bel72,
  Title                    = {An Introduction to Growth Dynamics, Statistical Computer Performance Evaluation},
  Author                   = {L. Belady and M.M. Lehman},
  Editor                   = {W. Freiberger, ed.},
  Publisher                = {Academic Press},
  Year                     = {1972}
}

@Book{Bennett2000,
  Title                    = {Software Maintenance: A Tutorial, in Software Engineering},
  Author                   = {K.H. Bennett},
  Editor                   = {M. Dorfman and R. Thayer, eds.},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {2000}
}

@Book{Ben00,
  Title                    = {Software Maintenance and Evolution: A Roadmap, The Future of Software Engineering},
  Author                   = {K.H. Bennett and V.T. Rajlich},
  Editor                   = {A. Finklestein, ed.},
  Publisher                = {ACM Press},
  Year                     = {2000}
}

@InBook{Ben00a,
  Title                    = {Programming Pearls},
  Author                   = {J. Bentley},
  Chapter                  = {2-4, 6-11, 13, 14},
  Pages                    = {175-176},
  Publisher                = {Addison-Wesley},
  Year                     = {2000},
  Edition                  = {second}
}

@Book{Ber93,
  Title                    = {Essays on Object-Oriented Software Engineering},
  Author                   = {E.V. Berard},
  Publisher                = {Prentice Hall},
  Year                     = {1993}
}

@Book{Berlack1992,
  Title                    = {Software Configuration Management},
  Author                   = {H.R. Berlack},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1992}
}

@Book{Ber97a,
  Title                    = {Elements of Software Configuration Management, in Software Engineering},
  Author                   = {E.H. Bersoff},
  Editor                   = {M. Dorfman and R.H. Thayer, eds.},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1997}
}

@Article{Ber96,
  Title                    = {How Many Paths Are Needed for Branch Testing?},
  Author                   = {Bertolino, Antonia and Marr{\'e}, Martina},
  Journal                  = {Journal of Systems and Software},
  Year                     = {1996},

  Month                    = nov,
  Number                   = {2},
  Pages                    = {95--106},
  Volume                   = {35},

  Acmid                    = {246257},
  Address                  = {New York, NY, USA},
  Doi                      = {10.1016/0164-1212(95)00089-5},
  ISSN                     = {0164-1212},
  Issue_date               = {Nov. 1996},
  Numpages                 = {12},
  Publisher                = {Elsevier Science Inc.},
  Url                      = {http://dx.doi.org/10.1016/0164-1212(95)00089-5}
}

@Article{Ber96a,
  Title                    = {On the Use of Testability Measures for Dependability Assessment},
  Author                   = {A. Bertolino and L. Strigini},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1996},
  Number                   = {2},
  Pages                    = {97-108},
  Volume                   = {22}
}

@InProceedings{Ber97,
  Title                    = {A Requirements Evolution Model for Computer Aided Prototyping},
  Author                   = {V. Berzins and O. Ibrahim and Luqi},
  Booktitle                = {Proceedings of the Ninth IEEE International Conference on Software Engineering and Knowledge Engineering},
  Year                     = {1997}
}

@Book{Bev97,
  Title                    = {Quality and Usability: A New Framework Achieving Software Product Quality},
  Author                   = {N. Bevan},
  Editor                   = {E. v. Veenendaal and J. McMullan, Eds.},
  Publisher                = {Uitgeverij Tutein Nolthenius},
  Year                     = {1997}
}

@Article{Bey95,
  Title                    = {Apprenticing with the Customer},
  Author                   = {H. Beyer and K. Holtzblatt},
  Journal                  = {Communications of the ACM},
  Year                     = {1995},
  Number                   = {5},
  Pages                    = {45-52},
  Volume                   = {38}
}

@Book{Bin00,
  Title                    = {Testing Object-Oriented Systems Models, Patterns, and Tools},
  Author                   = {R.V. Binder},
  Publisher                = {Addison-Wesley},
  Year                     = {2000}
}

@Article{Bin97,
  Title                    = {Can a Manufacturing Quality Model Work for Software?},
  Author                   = {R.V. Binder},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {101-102,105}
}

@Book{Bis92,
  Title                    = {Prototyping-Oriented Software Development: Concepts and Tools},
  Author                   = {W. Bischofberger and G. Pomberger},
  Publisher                = {Springer-Verlag},
  Year                     = {1992}
}

@InProceedings{Boc94,
  Title                    = {Protocol Testing: Review of Methods and Relevance for Software Testing},
  Author                   = {G.V. Bochmann and A. Petrenko},
  Booktitle                = {Proceedings of the ACM Proc. Int'l Symp. on Software Testing and Analysis (ISSTA '94, Seattle, Wash.},
  Year                     = {1994}
}

@Book{Boe81,
  Title                    = {Software Engineering Economics},
  Author                   = {B.W. Boehm},
  Publisher                = {Prentice Hall},
  Year                     = {1981}
}

@Article{Boe78,
  Title                    = {Characteristics of Software Quality},
  Author                   = {B.W. Boehm and J.R. Brown and H. Kaspar and M. Lipow and G.J. MacLeod and M.J. Merritt},
  Journal                  = {TRW Series on Software Technologies},
  Year                     = {1978},
  Volume                   = {1}
}

@Article{Boe97,
  Title                    = {Software Risk Management},
  Author                   = {B.W. Boehm and T. DeMarco},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {17-19}
}

@Article{Boe03,
  Title                    = {Using Risk to Balance Agile and Plan-Driven Methods},
  Author                   = {B. Boehm and R. Turner},
  Journal                  = {Computer},
  Year                     = {2003},
  Pages                    = {57-66}
}

@Book{Boe03a,
  Title                    = {Balancing Agility and Discipline: A Guide for the Perplexed},
  Author                   = {B. Boehm and R. Turner},
  Publisher                = {Addison-Wesley},
  Year                     = {2003}
}

@Book{Boo94a,
  Title                    = {Object Oriented Analysis and Design with Applications},
  Author                   = {G. Booch},
  Publisher                = {The Benjamin/Cummings Publishing Company},
  Year                     = {1994},
  Edition                  = {second}
}

@Book{Boo94,
  Title                    = {Software Engineering with Ada},
  Author                   = {G. Booch and D. Bryan},
  Publisher                = {Benjamin/Cummings},
  Year                     = {1994},
  Edition                  = {third}
}

@Book{Bos00,
  Title                    = {Design \& Use of Software Architectures: Adopting and Evolving a Product-Line Approach},
  Author                   = {J. Bosch},
  Publisher                = {ACM Press},
  Year                     = {2000},
  Edition                  = {first}
}

@Article{Bro87,
  Title                    = {No Silver Bullet: Essence and Accidents of Software Engineering},
  Author                   = {F.P.J. Brooks},
  Journal                  = {Computer},
  Year                     = {1997}
}

@Book{Bro94,
  Title                    = {Principles of CASE Tool Integration},
  Author                   = {Alan W. Brown and David J. Carney and Edwin J. Morris and Dennis B. Smith and Paul F. Zarrella},
  Publisher                = {Oxford University Press},
  Year                     = {1994}
}

@InProceedings{Bru95,
  Title                    = {Validating Software Requirements Using Operational Models},
  Author                   = {G. Bruno and R. Agarwal},
  Booktitle                = {Proceedings of the Second Symposium on Software Quality Techniques and Acquisition Criteria},
  Year                     = {1995}
}

@InProceedings{Bry94,
  Title                    = {IEEE Standard 830: Recommended Practice for Software Requirements Specification},
  Author                   = {E. Bryne},
  Booktitle                = {Proceedings of the IEEE International Conference on Requirements Engineering},
  Year                     = {1994}
}

@InProceedings{Buc94,
  Title                    = {An object-oriented dual language for specifying reactive systems},
  Author                   = {Bucci, G. and Campanai, M. and Nesi, P. and Traversi, M.},
  Booktitle                = {Proceedings of the First International Conference on Requirements Engineering},
  Year                     = {1994},
  Month                    = {Apr},
  Pages                    = {6-15},

  Doi                      = {10.1109/ICRE.1994.292409},
  Keywords                 = {formal specification;object-oriented languages;software tools;specification languages;CASE tool;TOOMS;TROL;descriptive software specification techniques;incremental specification;object-oriented dual language;object-oriented paradigm;reactive systems;specification language;specification level;verification;visual representation;Computer aided software engineering;Councils;Design engineering;Formal specifications;Informatics;Object oriented modeling;Real time systems;Software performance;Software quality}
}

@Book{Buckley1996,
  Title                    = {Implementing Configuration Management: Hardware, Software, and Firmware},
  Author                   = {F.J. Buckley},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1996},
  Edition                  = {second}
}

@Book{Bud04,
  Title                    = {Software Design},
  Author                   = {D. Budgen},
  Publisher                = {Addison-Wesley},
  Year                     = {2004},
  Edition                  = {second}
}

@Article{Bur99,
  Title                    = {A Testing Maturity Model for Software Test Process Assessment and Improvement},
  Author                   = {Burnstein, Ilene and Homyen, Ariya and Suwanassart, Taratip and Saxena, Gary and Grom, Rob},
  Journal                  = {Software Quality Professional},
  Year                     = {1999},
  Number                   = {4},
  Pages                    = {8-21},
  Volume                   = {1}
}

@Book{Bus96,
  Title                    = {Pattern-Oriented Software Architecture: A System of Patterns},
  Author                   = {Frank Buschmann and Regine Meunier and Hans Rohnert and Peter Sommerlad and Michael Stal},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1996}
}

@InProceedings{Bus95,
  Title                    = {Enhancing Soft Systems Analysis with Formal Modeling},
  Author                   = {D. Bustard and P. Lundy},
  Booktitle                = {Proceedings of the Second International Symposium on Requirements Engineering},
  Year                     = {1995}
}

@InProceedings{Bol95,
  Title                    = {The AMES Approach to Application Understanding: A Case Study},
  Author                   = {C. Boldyreff, E. Burd, R. Hather, R. Mortimer, M. Munro, and E. Younger},
  Booktitle                = {Proceedings of the International Conference on Software Maintenance},
  Year                     = {1995}
}

@Book{Kan01,
  Title                    = {Lessons Learned in Software Testing},
  Author                   = {C. Kaner, J. Bach, and B. Pettichord},
  Publisher                = {Wiley Computer Publishing},
  Year                     = {2001}
}

@Book{C.Kaner1999,
  Title                    = {Testing Computer Software},
  Author                   = {C. Kaner, J. Falk, and H.Q. Nguyen},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1999},
  Edition                  = {second}
}

@InBook{Kan99,
  Title                    = {Testing Computer Software},
  Author                   = {C. Kaner, J. Falk, and H.Q. Nguyen},
  Chapter                  = {1, 2, 5-8, 11-13, 15},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1999},
  Edition                  = {second}
}

@Article{Sch99a,
  Title                    = {Disincentives for Communicating Risk: A Risk Paradox},
  Author                   = {Schmidt C. and Dart P. and Johnston L. and Sterling L. and Thorne P.},
  Journal                  = {Information and Software Technology},
  Year                     = {1999},
  Pages                    = {403-411},
  Volume                   = {41}
}

@Book{Cap96,
  Title                    = {Applied Software Measurement: Assuring Productivity and Quality},
  Author                   = {J. Capers},
  Publisher                = {McGraw-Hill},
  Year                     = {1996},
  Edition                  = {second}
}

@Article{Cap94,
  Title                    = {Software Configuration Management Issues in the Maintenance of Existing Systems},
  Author                   = {M.A. Capretz and M. Munro},
  Journal                  = {Journal of Software Maintenance: Research and Practice},
  Year                     = {1994},
  Number                   = {2},
  Volume                   = {6}
}

@Book{Car90,
  Title                    = {Measuring Software Design Quality},
  Author                   = {D.N. Card and R.L. Glass},
  Publisher                = {Prentice Hall},
  Year                     = {1990}
}

@InProceedings{Car92,
  Title                    = {You Can't Teach Software Maintenance!},
  Author                   = {J. Cardow},
  Booktitle                = {Proceedings of the Sixth Annual Meeting and Conference of the Software Management Association},
  Year                     = {1992}
}

@Article{Car94,
  Title                    = {Executive Round-Table on Business Issues in Outsourcing - Making the Decision},
  Author                   = {D. Carey},
  Journal                  = {CIO Canada},
  Year                     = {1994}
}

@InProceedings{Car95,
  Title                    = {On the Necessary Conditions for the Composition of Integrated Software Engineering Environments},
  Author                   = {D.J. Carney and A.W. Brown},
  Booktitle                = {Proceedings of the Advances in Computers},
  Year                     = {1995}
}

@Article{Car97,
  Title                    = {Risk Management May Not Be For Everyone},
  Author                   = {M.J. Carr},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {21-24}
}

@Article{Car91,
  Title                    = {Replay and Testing for Concurrent Programs},
  Author                   = {R.H. Carver and K.C. Tai},
  Journal                  = {IEEE Software},
  Year                     = {1991},
  Pages                    = {66-74}
}

@Article{Cha96,
  Title                    = {Large-Scale Project Management Is Risk Management},
  Author                   = {R.N. Charette},
  Journal                  = {IEEE Software},
  Year                     = {1996},
  Pages                    = {110-117}
}

@Book{Cha89,
  Title                    = {Software Engineering Risk Analysis and Management},
  Author                   = {R.N. Charette},
  Publisher                = {McGraw-Hill},
  Year                     = {1989}
}

@InProceedings{Che94,
  Title                    = {Automated Verification of Requirements Implementation},
  Author                   = {M. Chechik and J. Gannon},
  Booktitle                = {Proceedings of the International Symposium on Software Testing and Analysis},
  Year                     = {1994},
  Volume                   = {special}
}

@Book{Chi96,
  Title                    = {Orthogonal Defect Classification, Handbook of Software Reliability Engineering},
  Author                   = {R. Chillarege},
  Editor                   = {M. Lyu, ed.},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1996}
}

@Article{Chi92,
  Title                    = {Orthogonal defect classification-a concept for in-process measurements},
  Author                   = {Chillarege, R. and Bhandari, IS. and Chaar, J.K. and Halliday, M.J. and Moebus, D.S. and Ray, B.K. and Wong, M.-Y.},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1992},

  Month                    = {Nov},
  Number                   = {11},
  Pages                    = {943--956},
  Volume                   = {18},

  Doi                      = {10.1109/32.177364},
  ISSN                     = {0098-5589},
  Keywords                 = {software quality;software reliability;cause-effect relationships;completeness;defect trigger distribution;feedback;in-process measurements;inspection;measurement and analysis methods;necessary and sufficient conditions;orthogonal defect classification;semantic information;software development;testing;verification processes;Area measurement;Computer industry;Data mining;Feedback;Inspection;Predictive models;Software measurement;Software quality;Sufficient conditions;Testing}
}

@InProceedings{Chu95,
  Title                    = {Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach},
  Author                   = {L. Chung and B. Nixon},
  Booktitle                = {Proceedings of the Seventeenth IEEE International Conference on Software Engineering},
  Year                     = {1995}
}

@Article{Cla96,
  Title                    = {Formal Methods: State of the Art and Future Directions},
  Author                   = {Clarke, Edmund M. and Wing, Jeannette M.},
  Journal                  = {ACM Computing Surveys},
  Year                     = {1996},

  Month                    = dec,
  Number                   = {4},
  Pages                    = {626--643},
  Volume                   = {28},

  Acmid                    = {242257},
  Address                  = {New York, NY, USA},
  Doi                      = {10.1145/242223.242257},
  ISSN                     = {0360-0300},
  Issue_date               = {Dec. 1996},
  Numpages                 = {18},
  Publisher                = {ACM},
  Url                      = {http://doi.acm.org/10.1145/242223.242257}
}

@Book{Coa91,
  Title                    = {Object-Oriented Design},
  Author                   = {P. Coad and E. Yourdon},
  Publisher                = {Yourdon Press},
  Year                     = {1991}
}

@Book{Col94,
  Title                    = {Object-Oriented Development: The Fusion Method},
  Author                   = {Derek Coleman and Patrick Arnold and Stefanie Bodoff and Chris Dollin and Helena Gilchrist and Fiona Hayes and Paul Jeremaes},
  Publisher                = {Prentice Hall},
  Year                     = {1994}
}

@Article{Col93,
  Title                    = {An Application of Causal Analysis to the Software Production Process},
  Author                   = {J. Collofello and B. Gosalia},
  Journal                  = {Software Practice and Experience},
  Year                     = {1993},
  Number                   = {0},
  Pages                    = {1095-1105},
  Volume                   = {23}
}

@InProceedings{Com97,
  Title                    = {Alternative Software Life Cycle Models},
  Author                   = {E. Comer},
  Booktitle                = {Proceedings of the International Conference on Software Engineering},
  Year                     = {1997}
}

@Article{Con98,
  Title                    = {Version Models for Software Configuration Management},
  Author                   = {R. Conradi and B. Westfechtel},
  Journal                  = {ACM Computing Surveys},
  Year                     = {1998},
  Number                   = {2},
  Volume                   = {30}
}

@Article{Con97,
  Title                    = {Implementing Risk Management on Software Intensive Projects},
  Author                   = {E.H. Conrow and P.S. Shishido},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {83-89}
}

@TechReport{SPC92,
  Title                    = {Process Definition and Modeling Guidebook SPC-92041-CMC},
  Author                   = {Software Productivity Consortium},
  Institution              = {Software Productivity Consortium},
  Year                     = {1992}
}

@Article{Cra95,
  Title                    = {Formal Methods Reality Check: Industrial Usage},
  Author                   = {D. Craigen and S. Gerhart, and T. Ralston},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1995},
  Number                   = {2},
  Pages                    = {90-98},
  Volume                   = {21}
}

@InProceedings{Cre94,
  Title                    = {We Need to Identify the Requirements of the Statements of Non-Functional Requirements},
  Author                   = {R. Crespo},
  Booktitle                = {Proceedings of the International Workshop on Requirements Engineering: Foundations of Software Quality},
  Year                     = {1994}
}

@Book{Cro79,
  Title                    = {Quality Is Free},
  Author                   = {P.B. Crosby},
  Publisher                = {McGraw-Hill},
  Year                     = {1979}
}

@Book{Cro84,
  Title                    = {Developments in Design Methodology},
  Author                   = {N. Cross},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1984}
}

@Book{Cur02,
  Title                    = {The People Capability Maturity Model: Guidelines for Improving the Workforce},
  Author                   = {B. Curtis and W. Hefley and S. Miller},
  Publisher                = {Addison-Wesley},
  Year                     = {2002}
}

@InBook{Rei02,
  Title                    = {Software Management},
  Author                   = {D.J. Reifer, ed.},
  Chapter                  = {1-6, 7-12, 13},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {2002}
}

@TechReport{Wal96,
  Title                    = {Reference Information for the Software Verification and Validation Process},
  Author                   = {D.R. Wallace, L. Ippolito, and B. Cuthill},
  Institution              = {NIST},
  Year                     = {1996},
  Number                   = {NIST SP 500-234},

  Url                      = {http://hissa.nist.gov/VV234/}
}

@Book{DSo99,
  Title                    = {Objects, Components, and Frameworks with UML \& The Catalysis Approach},
  Author                   = {D.F. D'Souza and A.C. Wills},
  Publisher                = {Addison-Wesley},
  Year                     = {1999}
}

@Article{Dac01,
  Title                    = {IT Companies will gain competitive advantage by integrating CMM with ISO9001},
  Author                   = {G. Dache},
  Journal                  = {Quality System Update},
  Year                     = {2001},
  Number                   = {11},
  Volume                   = {11}
}

@InProceedings{Dar97,
  Title                    = {Reusing Operational Requirements: A Process-Oriented Approach},
  Author                   = {R. Darimont and J. Souquieres},
  Booktitle                = {Proceedings of the IEEE International Symposium on Requirements Engineering},
  Year                     = {1997}
}

@TechReport{Dar90,
  Title                    = {Spectrum of Functionality in Configuration Management Systems},
  Author                   = {S.A. Dart},
  Institution              = {Software Engineering Institute, Carnegie Mellon University},
  Year                     = {1990}
}

@Article{Dav98,
  Title                    = {Predictions and Farewells},
  Author                   = {A.M. Davis},
  Journal                  = {IEEE Software},
  Year                     = {1998},
  Pages                    = {6-9}
}

@Book{Dav93,
  Title                    = {Software Requirements: Objects, Functions and States},
  Author                   = {A.M. Davis},
  Publisher                = {Prentice Hall},
  Year                     = {1993}
}

@Article{Dav94,
  Title                    = {Giving Voice to Requirements Engineering: Guest publishers' Introduction},
  Author                   = {A. Davis and P. Hsia},
  Journal                  = {IEEE Software},
  Year                     = {1994},
  Number                   = {2},
  Pages                    = {12-16},
  Volume                   = {11}
}

@InProceedings{Def94,
  Title                    = {Requirements Engineering Technology in Industrial Education},
  Author                   = {J. DeFoe},
  Booktitle                = {Proceedings of the IEEE International Conference on Requirements Engineering},
  Year                     = {1994}
}

@InProceedings{Dek92,
  Title                    = {Delphi Study of Software Maintenance Problems},
  Author                   = {S. Dekleva},
  Booktitle                = {Proceedings of the International Conference on Software Maintenance},
  Year                     = {1992}
}

@Article{Dem99,
  Title                    = {The Paradox of Software Architecture and Design},
  Author                   = {T. DeMarco},
  Journal                  = {Stevens Prize Lecture},
  Year                     = {1999}
}

@Book{Dem87,
  Title                    = {Peopleware: Productive Projects and Teams},
  Author                   = {T. DeMarco and T. Lister},
  Publisher                = {Dorset House Publishing},
  Year                     = {1987}
}

@Article{Dem96,
  Title                    = {Managing Large Software Projects},
  Author                   = {T. DeMarco and A. Miller},
  Journal                  = {IEEE Software},
  Year                     = {1996},
  Pages                    = {24-27}
}

@Book{Dem86,
  Title                    = {Out of the Crisis},
  Author                   = {W.E. Deming},
  Publisher                = {MIT Press},
  Year                     = {1986}
}

@InProceedings{Dem97,
  Title                    = {A Blackboard Framework for Supporting Teams in Software Development},
  Author                   = {E. Demirors},
  Booktitle                = {Proceedings of the Ninth IEEE International Conference on Software Engineering and Knowledge Engineering},
  Year                     = {1997}
}

@InProceedings{Dic93,
  Title                    = {Automating the Generation and Sequencing of Test Cases from Model-Based Specifications},
  Author                   = {J. Dick and A. Faivre},
  Booktitle                = {Proceedings of the FME ': Industrial-Strength Formal Methods, LNCS 670, Springer-Verlag},
  Year                     = {1993}
}

@InProceedings{Die95,
  Title                    = {Command and Control System Requirements Analysis and System Requirements Specification for a Tactical System},
  Author                   = {M. Diepstraten},
  Booktitle                = {Proceedings of the First IEEE International Conference on Engineering of Complex Computer Systems},
  Year                     = {1995}
}

@InProceedings{Dob94,
  Title                    = {Organizational Requirements Definition for Information Technology},
  Author                   = {J. Dobson and R. Strens},
  Booktitle                = {Proceedings of the IEEE International Conference on Requirements Engineering},
  Year                     = {1994}
}

@InBook{Dor02,
  Title                    = {Software Engineering},
  Author                   = {M. Dorfman and R.H. Thayer, eds.},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {2002},
  Volume                   = {1 and 2}
}

@Book{Dorfman2002,
  Title                    = {Software Engineering},
  Author                   = {M. Dorfman and R.H. Thayer, eds.},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {2002},
  Volume                   = {1 and 2}
}

@Book{Dor97,
  Title                    = {Software Engineering},
  Author                   = {M. Dorfman and R.H. Thayer, eds.},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1997}
}

@InProceedings{Duf95,
  Title                    = {A Framework for Requirements Analysis Using Automated Reasoning},
  Author                   = {David Duffy and Craig Macnish and John McDermid and Philip Morris},
  Booktitle                = {Proceedings of the Seventh International Conference on Advanced Information Systems Engineering},
  Year                     = {1995}
}

@TechReport{Dun96,
  Title                    = {CMM-Based Appraisal for Internal Process Improvement (CBA IPI): Method Description"},
  Author                   = {D. Dunnaway and S. Masters},
  Institution              = {Software Engineering Institute},
  Year                     = {1996},

  Url                      = {http://www.sei.cmu.edu/pub/documents/96.reports/pdf/tr007. 96.pdf}
}

@InProceedings{Wey91,
  Title                    = {Comparison of Program Test Strategies},
  Author                   = {E.J. Weyuker, S.N. Weiss, and D. Hamlet},
  Booktitle                = {Proceedings of the Proc. Symp. on Testing, Analysis and Verification (TAV 4, Victoria, British Columbia},
  Year                     = {1991}
}

@InProceedings{Eas95,
  Title                    = {Managing Inconsistencies in an Evolving Specification},
  Author                   = {S. Easterbrook and B. Nuseibeh},
  Booktitle                = {Proceedings of the Second International Symposium on Requirements Engineering},
  Year                     = {1995}
}

@Book{Ebe94,
  Title                    = {Software Inspection Process},
  Author                   = {R.G. Ebenau and S. Strauss},
  Publisher                = {McGraw-Hill},
  Year                     = {1994}
}

@TechReport{ECMA69-94,
  Title                    = {TR/69 Reference Model for Project Support Environments},
  Author                   = {ECMA},
  Institution              = {ECMA},
  Year                     = {1994}
}

@TechReport{ECMA55-,
  Title                    = {TR/55 Reference Model for Frameworks of Software Engineering Environments},
  Author                   = {ECMA},
  Institution              = {ECMA},
  Year                     = {1993}
}

@InProceedings{Edw95,
  Title                    = {RECAP: A Requirements Elicitation, Capture, and Analysis Process Prototype Tool for Large Complex Systems},
  Author                   = {Edwards, M.L. and Flanzer, M. and Terry, M. and Landa, J.},
  Booktitle                = {Proceedings of the First IEEE International Conference on Engineering of Complex Computer Systems},
  Year                     = {1995},
  Month                    = {Nov},
  Pages                    = {278-281},

  Doi                      = {10.1109/ICECCS.1995.479343},
  Keywords                 = {formal specification;knowledge based systems;natural languages;software tools;systems analysis;RECAP;automated assistance;complete requirements;concise requirements data;consistent requirements;correct requirements;domain specific rules;knowledge-based rules;large complex system development;natural language parsing;requirement analysis;requirement capture;requirement identification;requirement translation;requirement use;requirements elicitation capture and analysis process prototype tool;requirements specification;semiautomatic capture elicitation analysis;system life-cycle;unformatted natural language text;user defined views;Automated highways;Command and control systems;Financial management;Humans;Natural languages;Prototypes;Silver;Size control;Springs;Writing}
}

@TechReport{EIA/IS731-99,
  Title                    = {EIA/IS 731 Systems Engineering Capability Model},
  Author                   = {EIA},
  Institution              = {EIA},
  Year                     = {1999},

  Url                      = {http://www.geia.org/eoc/G47/index.html}
}

@Article{ElE-00a,
  Title                    = {Validating the ISO/IEC 15504 Measures of Software Development Process Capability},
  Author                   = {K. El-Emam and A. Birk},
  Journal                  = {Journal of Systems and Software},
  Year                     = {2000},
  Number                   = {2},
  Pages                    = {119-149},
  Volume                   = {51}
}

@Article{ElE-00b,
  Title                    = {Validating the ISO/IEC 15504 Measures of Software Requirements Analysis Process Capability},
  Author                   = {K. El-Emam and A. Birk},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {2000},
  Number                   = {6},
  Pages                    = {541-566},
  Volume                   = {26}
}

@Book{ElE99,
  Title                    = {Elements of Software Process Assessment and Improvement},
  Author                   = {K. El-Emam and N. Madhavji},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1999}
}

@InProceedings{ElE95,
  Title                    = {Requirements Engineering Practices in Information Systems Development: A Multiple Case Study},
  Author                   = {K. El-Emam and N. Madhavji},
  Booktitle                = {Proceedings of the Second International Symposium on Requirements Engineering},
  Year                     = {1995}
}

@InProceedings{Est95,
  Title                    = {Software Configuration Management},
  Author                   = {J. Estublier},
  Booktitle                = {Proceedings of the ICSE SCM-4 and SCM-5 Workshops, Berlin},
  Year                     = {1995}
}

@Article{Fai97,
  Title                    = {The Concept of Operations: The Bridge from Operational Requirements to Technical Specifications},
  Author                   = {R. Fairley and R. Thayer},
  Journal                  = {Annals of Software Engineering},
  Year                     = {1997},
  Volume                   = {3}
}

@Article{Fav98,
  Title                    = {Making Software Development Investment Decisions},
  Author                   = {J. Favaro and S.L. Pfleeger},
  Journal                  = {ACM SIGSoft Software Engineering Notes},
  Year                     = {1998},
  Number                   = {5},
  Pages                    = {69-74},
  Volume                   = {23}
}

@Article{Fay96,
  Title                    = {Managing Object- Oriented Software Development},
  Author                   = {M.E. Fayad and M. Cline},
  Journal                  = {Computer},
  Year                     = {1996},
  Pages                    = {26-31}
}

@Article{Fay97,
  Title                    = {Process Assessment: Considered Wasteful},
  Author                   = {M. Fayad and M. Laitinen},
  Journal                  = {Communications of the ACM},
  Year                     = {1997},
  Number                   = {11},
  Volume                   = {40}
}

@InBook{Fen98,
  Title                    = {Software Metrics: A Rigorous \& Practical Approach},
  Author                   = {N.E. Fenton and S.L. Pfleeger},
  Chapter                  = {1-14},
  Publisher                = {International Thomson Computer Press},
  Year                     = {1998},
  Edition                  = {second}
}

@Book{Fenton1998,
  Title                    = {Software Metrics: A Rigorous \& Practical Approach},
  Author                   = {N.E. Fenton and S.L. Pfleeger},
  Publisher                = {International Thomson Computer Press},
  Year                     = {1998},
  Edition                  = {second}
}

@InProceedings{Fic95,
  Title                    = {Requirements Monitoring in Dynamic Environments},
  Author                   = {S. Fickas and M. Feather},
  Booktitle                = {Proceedings of the Second International Symposium on Requirements Engineering},
  Year                     = {1995}
}

@InProceedings{Fie95,
  Title                    = {A task centered approach to analysing human error tolerance requirements},
  Author                   = {Fields, R. E. and Wright, P.C. and Harrison, M.D.},
  Booktitle                = {Proceedings of the Second IEEE International Symposium on Requirements Engineering (RE'95)},
  Year                     = {1995},
  Month                    = {Mar},
  Pages                    = {18--26},

  Doi                      = {10.1109/ISRE.1995.512542},
  Keywords                 = {formal specification;human factors;safety-critical software;task analysis;user centred design;human error forms;human error tolerance requirements;human operators;operator models;operator tasks;safety critical systems;software development;software engineering notation;structured tasks;system safety;systems engineering;task centered approach;Accidents;Bridges;Computer errors;Computer science;Error analysis;Face detection;Human computer interaction;Robustness;Safety;Software engineering;Systems engineering and theory}
}

@TechReport{FIPS140.1-94,
  Title                    = {140-1, Security Requirements for Cryptographic Modules},
  Author                   = {FIPS},
  Institution              = {FIPS},
  Year                     = {1994}
}

@Article{Fle99,
  Title                    = {A Fresh Perspective on Old Problems},
  Author                   = {R. Fleming},
  Journal                  = {IEEE Software},
  Year                     = {1999}
}

@Book{Flo99,
  Title                    = {Measuring the Software Process: Statistical Process Control for Software Process Improvement},
  Author                   = {W. Florac and A. Carleton},
  Publisher                = {Addison-Wesley},
  Year                     = {1999}
}

@Book{Fow03,
  Title                    = {Patterns of Enterprise Application Architecture},
  Author                   = {M. Fowler},
  Publisher                = {Addison-Wesley},
  Year                     = {2003}
}

@Book{Fow99,
  Title                    = {Refactoring: Improving the Design of Existing Code},
  Author                   = {M. Fowler},
  Publisher                = {Addison-Wesley},
  Year                     = {1999}
}

@TechReport{Fow90,
  Title                    = {Software Engineering Process Group Guide, Software Engineering Institute, Technical Report CMU/SEI-90-TR-24},
  Author                   = {P. Fowler and S. Rifkin},
  Institution              = {Software Engineering Institute},
  Year                     = {1990},

  Url                      = {http://www.sei.cmu.edu/pub/documents/90.reports/pdf/tr24.90.pdf}
}

@Article{Fran93,
  Title                    = {A Formal Analysis of the Fault Detecting Ability of Testing Methods},
  Author                   = {P. Frankl and E. Weyuker},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1993},
  Number                   = {3},
  Pages                    = {202},
  Volume                   = {19}
}

@Book{Fre98,
  Title                    = {Handbook of Walkthroughs, Inspections, and Technical Reviews},
  Author                   = {D.P. Freedman and G.M. Weinberg},
  Publisher                = {Little, Brown and Company},
  Year                     = {1998}
}

@Book{Fre83,
  Title                    = {Tutorial on Software Design Techniques},
  Author                   = {P. Freeman and A.I. Wasserman},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1983},
  Edition                  = {fourth}
}

@Book{Fri95,
  Title                    = {Software Assessment: Reliability, Safety Testability},
  Author                   = {M.A. Friedman and J.M. Voas},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1995}
}

@Article{Fug98,
  Title                    = {Applying GQM in an Industrial Software Factory},
  Author                   = {Fuggetta, Alfonso and Lavazza, Luigi and Morasca, Sandro and Cinti, Stefano and Oldano, Giandomenico and Orazi, Elena},
  Journal                  = {ACM Transactions on Software Engineering and Methodology},
  Year                     = {1998},
  Number                   = {4},
  Pages                    = {411--448},
  Volume                   = {7}
}

@Article{Ber91,
  Title                    = {Software Testing Based On Formal Specifications: a Theory and a Tool},
  Author                   = {G. Bernot, M.C. Gaudel and B. Marre},
  Journal                  = {Software Engineering Journal},
  Year                     = {1991},
  Pages                    = {387-405}
}

@Book{Boo99,
  Title                    = {The Unified Modeling Language User Guide},
  Author                   = {G. Booch, J. Rumbaugh, and I. Jacobson},
  Publisher                = {Addison-Wesley},
  Year                     = {1999}
}

@Article{Sta94,
  Title                    = {A Software Metric Set for Program Maintenance Management},
  Author                   = {G.E. Stark, L.C. Kern, and C.V. Vowell},
  Journal                  = {Journal of Systems and Software},
  Year                     = {1994},
  Number                   = {3},
  Volume                   = {24}
}

@Book{Gam95,
  Title                    = {Design Patterns: Elements of Reusable Object-Oriented Software},
  Author                   = {Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides},
  Publisher                = {Addison-Wesley},
  Year                     = {1995}
}

@Book{Gar96,
  Title                    = {Process-Centered Software Engineering Environments},
  Author                   = {P.K. Garg and M. Jazayeri},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1996}
}

@Article{Gem97,
  Title                    = {Risk Management: Moving beyond Process},
  Author                   = {A. Gemmer},
  Journal                  = {Computer},
  Year                     = {1997},
  Pages                    = {33-43}
}

@InProceedings{Gha94,
  Title                    = {Rapid Prototyping in Requirements Specification Phase of Software Systems},
  Author                   = {J. Ghajar-Dowlatshahi and A. Varnekar},
  Booktitle                = {Proceedings of the Fourth International Symposium on Systems Engineering, National Council on Systems Engineering},
  Year                     = {1994}
}

@InProceedings{Gib95,
  Title                    = {Domain Knowledge Reuse During Requirements Engineering},
  Author                   = {M. Gibson},
  Booktitle                = {Proceedings of the Seventh International Conference on Advanced Information Systems Engineering (CAiSE '95)},
  Year                     = {1995}
}

@Book{Gil93,
  Title                    = {Software Inspections},
  Author                   = {T. Gilb and D. Graham},
  Publisher                = {Addison-Wesley},
  Year                     = {1993}
}

@Article{Gla99,
  Title                    = {The Realities of Software Technology Payoffs},
  Author                   = {R.L. Glass},
  Journal                  = {Communications of the ACM},
  Year                     = {1999},
  Number                   = {2},
  Pages                    = {74-79},
  Volume                   = {42}
}

@Article{Gla98,
  Title                    = {Short-Term and Long-Term Remedies for Runaway Projects},
  Author                   = {R.L. Glass},
  Journal                  = {Communications of the ACM},
  Year                     = {1998},
  Number                   = {7},
  Pages                    = {13-15},
  Volume                   = {41}
}

@Article{Gla98a,
  Title                    = {How Not to Prepare for a Consulting Assignment, and Other Ugly Consultancy Truths},
  Author                   = {R.L. Glass},
  Journal                  = {Communications of the ACM},
  Year                     = {1998},
  Number                   = {12},
  Pages                    = {11-13},
  Volume                   = {41}
}

@Article{Gla97,
  Title                    = {The Ups and Downs of Programmer Stress},
  Author                   = {R.L. Glass},
  Journal                  = {Communications of the ACM},
  Year                     = {1997},
  Number                   = {4},
  Pages                    = {17-19},
  Volume                   = {40}
}

@InProceedings{Gog93,
  Title                    = {Techniques for Requirements Elicitation, presented at International Symposium on Requirements Engineering},
  Author                   = {J. Goguen and C. Linde},
  Year                     = {1993}
}

@InProceedings{Gol99,
  Title                    = {Empirical Studies of Software Process Assessment Methods},
  Author                   = {D. Goldenson and Khaled El and Emam James and Herbsleb Christopher Deephouse},
  Booktitle                = {Proceedings of the Elements of Software Process Assessment and Improvement},
  Year                     = {1999}
}

@InProceedings{Gol94,
  Title                    = {AbstFinder: A Prototype Abstraction Finder for Natural Language Text for Use in Requirements Elicitation: Design, Methodology and Evaluation},
  Author                   = {L. Goldin and D. Berry},
  Booktitle                = {Proceedings of the IEEE International Conference on Requirements Engineering},
  Year                     = {1994}
}

@InProceedings{Got97,
  Title                    = {Extending Requirements Traceability: Lessons Learned from an Industrial Case Study},
  Author                   = {O. Gotel and A. Finkelstein},
  Booktitle                = {Proceedings of the IEEE International Symposium on Requirements Engineering},
  Year                     = {1997}
}

@Article{Gra99,
  Title                    = {Metrics for small projects: Experiences at the SED},
  Author                   = {Grable, R. and Jernigan, J. and Pogue, C. and Divis, D.},
  Journal                  = {IEEE Software},
  Year                     = {1999},

  Month                    = {Mar},
  Number                   = {2},
  Pages                    = {21--29},
  Volume                   = {16},

  Doi                      = {10.1109/52.754048},
  ISSN                     = {0740-7459},
  Keywords                 = {project management;software metrics;software process improvement;US Army;metrics program;process improvement;small-project management;Application software;Missiles;Project management;Software development management;Software engineering;Software maintenance;Software measurement;Software metrics;Software testing;Time measurement}
}

@Book{Gra97,
  Title                    = {Successful Software Process Improvement},
  Author                   = {R. Grady},
  Publisher                = {Prentice Hall},
  Year                     = {1997}
}

@Book{Gra92,
  Title                    = {Practical Software Metrics for Project Management and Process Management},
  Author                   = {R.B. Grady},
  Publisher                = {Prentice Hall},
  Year                     = {1992}
}

@Book{Gra87,
  Title                    = {Software Metrics: Establishing a Company-Wide Program},
  Author                   = {R.B. Grady and D.L. Caswell},
  Publisher                = {Prentice Hall},
  Year                     = {1987}
}

@Article{Gra88,
  Title                    = {On the Limitations of Software Process Assessment and the Recognition of a Required Re-Orientation for Global Process Improvement},
  Author                   = {E. Gray and W. Smith},
  Journal                  = {Software Quality Journal},
  Year                     = {1998},
  Pages                    = {21-34},
  Volume                   = {7}
}

@TechReport{UML04,
  Title                    = {Unified Modeling Language},
  Author                   = {Object Management Group},
  Institution              = {Object Management Group},
  Year                     = {2004},

  Url                      = {http://www.uml.org}
}

@TechReport{OMG02,
  Title                    = {Software Process Engineering Metamodel Specification"},
  Author                   = {Object Management Group},
  Institution              = {Object Management Group},
  Year                     = {2002},

  Url                      = {http://www.omg.org/docs/formal/02-11-14.pdf}
}

@Article{Zhu97,
  Title                    = {Software Unit Test Coverage and Adequacy},
  Author                   = {H. Zhu, P.A.V. Hall, and J.H.R. May},
  Journal                  = {ACM Computing Surveys},
  Year                     = {1997},
  Number                   = {4},
  Pages                    = {366-427},
  Volume                   = {29}
}

@Article{Mul96,
  Title                    = {Computer Aided Software Engineering},
  Author                   = {H.A. Muller, R.J. Norman, and J. Slonim, eds.},
  Journal                  = {Automated Software Engineering},
  Year                     = {1996}
}

@Article{Hal97,
  Title                    = {Implementing Effective Software Metrics Programs},
  Author                   = {T. Hall and N. Fenton},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {55-64}
}

@Article{Ham92,
  Title                    = {Are We Testing for True Reliability?},
  Author                   = {D. Hamlet},
  Journal                  = {IEEE Software},
  Year                     = {1992},
  Pages                    = {21-27}
}

@Book{Har98,
  Title                    = {Modeling Reactive Systems with Statecharts: The Statemate Approach},
  Author                   = {D. Harel and M. Politi},
  Publisher                = {McGraw-Hill},
  Year                     = {1998}
}

@InProceedings{Har00,
  Title                    = {Software Engineering Tools and Environments: A Roadmap},
  Author                   = {W. Harrison and H. Ossher and P. Tarr},
  Booktitle                = {"ICSE - Future of SE Track"},
  Year                     = {2000}
}

@InProceedings{Hei96,
  Title                    = {Errors Introduced during the TACS II Requirements Specification Effort: A Retrospective Case Study},
  Author                   = {M. Heimdahl},
  Booktitle                = {Proceedings of the Eighteenth IEEE International Conference on Software Engineering},
  Year                     = {1996}
}

@Article{Hei96a,
  Title                    = {Automated Consistency Checking Requirements Specifications},
  Author                   = {C. Heitmeyer and R. Jeffords and D. Kiskis},
  Journal                  = {ACM Transactions on Software Engineering and Methodology},
  Year                     = {1996},
  Pages                    = {231-261},
  Volume                   = {5}
}

@InProceedings{Hen01,
  Title                    = {Data Dependency Elicitation in Database Reverse Engineering},
  Author                   = {J. Henrard and J.-L. Hainaut},
  Booktitle                = {Proceedings of the 5th European Conference on Software Maintenance and Reengineering (CSMR 2001)},
  Year                     = {2001}
}

@Article{Hen99,
  Title                    = {Using Belbin's Leadership Role to Improve Team Effectiveness: An Empirical Investigation},
  Author                   = {S.M. Henry and K.T. Stevens},
  Journal                  = {Journal of Systems and Software},
  Year                     = {1999},
  Pages                    = {241-250},
  Volume                   = {4}
}

@Article{Her98,
  Title                    = {Hard Problems and Hard Science: On the Practical Limits of Experimentation},
  Author                   = {J. Herbsleb},
  Journal                  = {IEEE TCSE Software Process Newsletter},
  Year                     = {1998},
  Pages                    = {18-21},
  Volume                   = {11}
}

@Article{Hoh99,
  Title                    = {Coaching the Rookie Manager},
  Author                   = {L. Hohmann},
  Journal                  = {IEEE Software},
  Year                     = {1999},
  Pages                    = {16-19}
}

@Article{Hol95,
  Title                    = {Requirements Gathering: The Human Factor},
  Author                   = {K. Holtzblatt and H. Beyer},
  Journal                  = {Communications of the ACM},
  Year                     = {1995},
  Pages                    = {31-32},
  Volume                   = {38}
}

@Book{Hor03,
  Title                    = {Practical Guide to Software Quality Management},
  Author                   = {J. W. Horch},
  Publisher                = {Artech House Publishers},
  Year                     = {2003}
}

@Article{Hor95,
  Title                    = {Using Formal Specifications to Support Software Testing},
  Author                   = {H. Horcher and J. Peleska},
  Journal                  = {Software Quality Journal},
  Year                     = {1995},
  Pages                    = {309-327},
  Volume                   = {4}
}

@Article{Hou99,
  Title                    = {Software Quality Professional},
  Author                   = {D. Houston},
  Journal                  = {ASQC},
  Year                     = {1999},
  Number                   = {2},
  Volume                   = {1}
}

@Book{How02,
  Title                    = {Writing Secure Code},
  Author                   = {M. Howard and D.C. Leblanc},
  Publisher                = {Microsoft Press},
  Year                     = {2002}
}

@Article{How76,
  Title                    = {Reliability of the Path Analysis Testing Strategy},
  Author                   = {W. E. Howden},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1976},
  Number                   = {3},
  Pages                    = {208-215},
  Volume                   = {2}
}

@Article{Hsi96,
  Title                    = {Making Software Development Visible},
  Author                   = {P. Hsia},
  Journal                  = {IEEE Software},
  Year                     = {1996},
  Pages                    = {23-26}
}

@InProceedings{Hud96,
  Title                    = {Requirements Elicitation with Indirect Knowledge Elicitation Techniques: Comparison of Three Methods},
  Author                   = {E. Hudlicka},
  Booktitle                = {Proceedings of the Second IEEE International Conference on Requirements Engineering},
  Year                     = {1996}
}

@InProceedings{Hug95,
  Title                    = {Presenting ethnography in the requirements process},
  Author                   = {Hughes, J. and O'Brien, J. and Rodden, T. and Rouncefield, Mark and Sommerville, I},
  Booktitle                = {Proceedings of the Second IEEE International Symposium on Requirements Engineering},
  Year                     = {1995},
  Month                    = {Mar},
  Pages                    = {27-34},

  Doi                      = {10.1109/ISRE.1995.512543},
  Keywords                 = {human factors;interactive systems;professional aspects;social aspects of automation;software development management;systems analysis;user centred design;ethnographic material;ethnography;hypertext tool;industrial development;interactive systems;social dimension;software development;software requirements process;user centred approach;Air traffic control;Computer industry;Control systems;Impedance;Interactive systems;Large-scale systems;Sociology;Software engineering;System analysis and design;Systems engineering and theory}
}

@Book{Hum99,
  Title                    = {An Introduction to the Team Software Process},
  Author                   = {W. Humphrey},
  Publisher                = {Addison-Wesley},
  Year                     = {1999}
}

@Book{Hum97,
  Title                    = {Managing Technical People: Innovation, Teamwork, and the Software Process},
  Author                   = {W.S. Humphrey},
  Publisher                = {Addison-Wesley},
  Year                     = {1997}
}

@Book{Hum97b,
  Title                    = {Introduction to the Personal Software Process},
  Author                   = {W.S. Humphrey},
  Publisher                = {Addison-Wesley},
  Year                     = {1997}
}

@Book{Hum95,
  Title                    = {A Discipline for Software Engineering},
  Author                   = {W. Humphrey},
  Publisher                = {Addison-Wesley},
  Year                     = {1995}
}

@Book{Hum89,
  Title                    = {Managing the Software Process},
  Author                   = {W. Humphrey},
  Publisher                = {Addison-Wesley},
  Year                     = {1989}
}

@InBook{Hum89a,
  Title                    = {Managing the Software Process},
  Author                   = {W. Humphrey},
  Chapter                  = {8, 10, 16},
  Publisher                = {Addison-Wesley},
  Year                     = {1989}
}

@InBook{Hun00,
  Title                    = {The Pragmatic Programmer},
  Author                   = {A. Hunt and D. Thomas},
  Chapter                  = {7, 8 12, 14-21, 23, 33, 34, 36-40, 42, 43},
  Publisher                = {Addison-Wesley},
  Year                     = {2000}
}

@Book{Hut94a,
  Title                    = {The Change Agent's Handbook: A Survival Guide for Quality Improvement Champions},
  Author                   = {D. Hutton},
  Publisher                = {Irwin},
  Year                     = {1994}
}

@InProceedings{Hya96,
  Title                    = {A Software Quality Model and Metrics for Identifying Project Risks and Assessing Software Quality},
  Author                   = {L.E. Hyatt and L. Rosenberg},
  Booktitle                = {Proceedings of the 8th Annual Software Technology Conference},
  Year                     = {1996}
}

@Book{Jac99,
  Title                    = {The Unified Software Development Process},
  Author                   = {I. Jacobson, G. Booch, and J. Rumbaugh},
  Publisher                = {Addison-Wesley},
  Year                     = {1999}
}

@TechReport{IEC61508-98,
  Title                    = {61508, Functional Safety \& Safety-Related Systems Parts 1, 2, 3},
  Author                   = {IEC},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE1175.1-02,
  Title                    = {Std 1175.1-2002, IEEE Guide for CASE Tool Interconnections\&Classification and Description},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {2002}
}

@TechReport{IEEE730-02,
  Title                    = {Std 730-2002, IEEE Standard for Software Quality Assurance Plans},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {2002}
}

@TechReport{IEEE1540-01,
  Title                    = {Std 1540-2001//ISO/IEC16085:2003, IEEE Standard for Software Life Cycle Processes-Risk Management},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {2001}
}

@TechReport{IEEE14143.1-00,
  Title                    = {Std 14143.1-2000//ISO/ IEC14143-1:1998, Information Technology\&Software Measurement\&Functional Size Measurement\&Part 1: Definitions of Concepts},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {2000},

  Publisher                = {IEEE}
}

@TechReport{IEEE2000,
  Title                    = {Std 14143.1-2000//ISO/IEC14143-1:1998, Information Technology - Software Measurement-Functional Size Measurement - Part 1: Definitions of Concepts},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {2000}
}

@TechReport{IEEE2000a,
  Title                    = {Std 1471-2000, IEEE Recommended Practice for Architectural Descriptions of Software- Intensive Systems},
  Author                   = {IEEE},
  Institution              = {IEEE, Architecture Working Group of the Software Engineering Standards Committee},
  Year                     = {2000}
}

@TechReport{IEEE1517-99,
  Title                    = {Std 1517-1999, IEEE Standard for Information Technology-Software Life Cycle Processes-Reuse Processes},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1999}
}

@TechReport{IEEE1012-98,
  Title                    = {Std 1012-1998, Software Verification and Validation},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE1016-98,
  Title                    = {Std 1016-1998, IEEE Recommended Practice for Software Design Descriptions},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE1061-98,
  Title                    = {Std 1061-1998, IEEE Standard for a Software Quality Metrics Methodology},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE1219-98,
  Title                    = {Std 1219-1998, IEEE Standard for Software Maintenance},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE1220-98,
  Title                    = {Std 1220-1998, IEEE Standard for the Application and Management of the Systems Engineering Process},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE1233-98,
  Title                    = {Std 1233-1998, IEEE Guide for Developing System Requirements Specifications},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE1320.2-98,
  Title                    = {Std 1320.2-1998, IEEE Standard for Conceptual Modeling Language-Syntax and Semantics for IDEFIX97 (IDEFObjetct)},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE1362-98,
  Title                    = {Std 1362-1998, IEEE Guide for Information Technology-System Definition-Concept of Operations (ConOps) Document},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE1462-98,
  Title                    = {Std 1462-1998//ISO/IEC14102, Information Technology \& Guideline for the Evaluation and Selection of CASE Tools},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE1465-98,
  Title                    = {Std 1465-1998//ISO/IEC12119:1994, IEEE Standard Adoption of International Standard IDO/IEC12119:1994(E, Information Technology-Software Packages \& Quality Requirements and Testing},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE1998c,
  Title                    = {IEEE Recommended Practice for Software Requirements Specifications},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998},
  Number                   = {IEEE Std 830-1998}
}

@TechReport{IEEE828-98,
  Title                    = {Std 828-1998, IEEE Standard for Software Configuration Management Plans},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE829-98,
  Title                    = {Std 829-1998, IEEE Standard for Software Test Documentation},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998}
}

@TechReport{IEEE830-98,
  Title                    = {Std 830-1998, IEEE Recommended Practice for Software Requirements Specifications},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1998},

  Publisher                = {IEEE}
}

@TechReport{IEEE1028-97,
  Title                    = {Std 1028-1997 (R2002, IEEE Standard for Software Reviews},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1997}
}

@TechReport{IEEE1074-97,
  Title                    = {Std 1074-1997, IEEE Standard for Developing Software Life Cycle Processes},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1997}
}

@TechReport{IEEE1348-95,
  Title                    = {Std 1348-1995, Recommended Practice for the Adoption of CASE Tools, (ISO/IEC 14471)},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1995}
}

@TechReport{IEEE1228-94,
  Title                    = {Std 1228-1994, Standard for Software Safety Plans},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1994}
}

@TechReport{IEEE1228-94),
  Title                    = {Std 1228-1994, Software Safety Plans},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1994}
}

@TechReport{IEEE1044-,
  Title                    = {Std 1044-1993 (R2002, IEEE Standard for the Classification of Software Anomalies},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1993}
}

@TechReport{IEEE1059-,
  Title                    = {Std 1059-1993, IEEE Guide for Software Verification and Validation Plans},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1993}
}

@TechReport{IEEE1209-92,
  Title                    = {Std 1209-1992, Recommended Practice for the Evaluation and Selection of CASE Tools, (ISO/IEC 14102, 1995)},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1992}
}

@TechReport{IEEE610.12-90,
  Title                    = {Std 610.12-1990 (R2002, IEEE Standard Glossary of Software Engineering Terminology},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1990}
}

@TechReport{IEEE982.1-88,
  Title                    = {Std 982.1-1988, IEEE Standard Dictionary of Measures to Produce Reliable Software},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1988}
}

@TechReport{IEEE1008-87,
  Title                    = {Std 1008-1987 (R2003, IEEE Standard for Software Unit Testing},
  Author                   = {IEEE},
  Institution              = {IEEE},
  Year                     = {1987}
}

@TechReport{IEEE12207.2-97,
  Title                    = {12207.2-1997, Industry Implementation of Int. Std. ISO/IEC 12207:95, Standard for Information Technology-Software Life Cycle Processes - Implementation Considerations},
  Author                   = {IEEE/EIA},
  Institution              = {IEEE/EIA},
  Year                     = {1997}
}

@TechReport{IEEE/EIA1996,
  Title                    = {12207.0-1996//ISO/ IEC12207:1995, Industry Implementation of Int. Std. ISO/IEC 12207:95, Standard for Information Technology-Software Life Cycle Processes},
  Author                   = {IEEE/EIA},
  Institution              = {IEEE/EIA},
  Year                     = {1996}
}

@TechReport{IEEE12207.0-96,
  Title                    = {12207.0-1996//ISO/IEC12207:1995, Industry Implementation of Int. Std. ISO/IEC 12207:95, Standard for Information Technology-Software Life Cycle Processes},
  Author                   = {IEEE/EIA},
  Institution              = {IEEE/EIA},
  Year                     = {1996}
}

@TechReport{IEEE12207.1-96,
  Title                    = {12207.1-1996, Industry Implementation of Int. Std. ISO/IEC 12207:95, Standard for Information Technology-Software Life Cycle Processes - Life Cycle Data},
  Author                   = {IEEE/EIA},
  Institution              = {IEEE/EIA},
  Year                     = {1996}
}

@TechReport{IEEE-CS-99,
  Title                    = {Software Engineering Code of Ethics and Professional Practice},
  Author                   = {IEEE-CS/ACM},
  Institution              = {IEEE-CS-1999},
  Year                     = {1999}
}

@Book{Inc94,
  Title                    = {ISO 9001 and Software Quality Assurance},
  Author                   = {D. Ince},
  Publisher                = {McGraw-Hill},
  Year                     = {1994}
}

@TechReport{INCOSE00,
  Title                    = {How To: Guide for all Engineers},
  Author                   = {INCOSE},
  Institution              = {International Council on Systems Engineering},
  Year                     = {2000}
}

@TechReport{PMI00,
  Title                    = {A Guide to the Project Management Body of Knowledge (PMBOK)},
  Author                   = {Project Management Institute},
  Institution              = {Project Management Institute Standards Committee},
  Year                     = {2000}
}

@TechReport{SEI01,
  Title                    = {Capability Maturity Model Integration, v1.1 CMU/SEI-2002-TR- 002, ESC-TR-2002-002},
  Author                   = {Software Engineering Institute},
  Institution              = {Software Engineering Institute},
  Year                     = {2001},

  Url                      = {http://www.sei.cmu.edu/cmmi/cmmi.html}
}

@Book{SEI95,
  Title                    = {The Capability Maturity Model: Guidelines for Improving the Software Process},
  Author                   = {Software Engineering Institute},
  Publisher                = {Addison-Wesley},
  Year                     = {1995}
}

@TechReport{ISO2000,
  Title                    = {9001:2000, Quality Management Systems-Requirements},
  Author                   = {ISO},
  Institution              = {ISO},
  Year                     = {2000}
}

@TechReport{ISO9001-00,
  Title                    = {9001:2000, Quality Management Systems \& Requirements},
  Author                   = {ISO},
  Institution              = {ISO},
  Year                     = {2000}
}

@TechReport{ISO/IEC2004,
  Title                    = {90003:2004, Software and Systems Engineering - Guidelines for the Application of ISO9001:2000 to Computer Software},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {2004}
}

@TechReport{ISO90003-04,
  Title                    = {90003:2004, Software and Systems Engineering-Guidelines for the Application of ISO9001:2000 to Computer Software},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {2004}
}

@TechReport{ISO19761-03,
  Title                    = {19761:2003, Software Engineering-Cosmic FPP-A Functional Size Measurement Method},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {2003}
}

@TechReport{ISO20926-03,
  Title                    = {20926:2003, Software Engineering-IFPUG 4.1 Unadjusted Functional Size Measurement Method-Counting Practices Manual},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {2003}
}

@TechReport{ISO/IEC2002,
  Title                    = {15939:2002, Software Engineering-Software Measurement Process},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {2002}
}

@TechReport{ISO15288-02,
  Title                    = {15288:2002, Systems Engineering-System Life Cycle Process},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {2002}
}

@TechReport{ISO15939-02,
  Title                    = {15939:2002, Software Engineering \& Software Measurement Process},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {2002}
}

@TechReport{ISO20968-02,
  Title                    = {20968:2002, Software Engineering-MK II Function Point Analysis - Counting Practices Manual},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {2002}
}

@TechReport{ISO/IEC2001,
  Title                    = {9126-1:2001, Software Engineering-Product Quality-Part 1: Quality Model},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {2001}
}

@TechReport{ISO9126-01,
  Title                    = {9126-1:2001, Software Engineering Product Quality\&Part 1: Quality Model},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {2001}
}

@TechReport{ISO15939-00,
  Title                    = {15939:2000, Information Technology \& Software Measurement Process},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {2000}
}

@TechReport{ISO/IEC1999,
  Title                    = {14764-1999, Software Engineering - Software Maintenance, ISO and IEC},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {1999}
}

@TechReport{ISO14674-99,
  Title                    = {14674:1999, Information Technology - Software Maintenance},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {1999}
}

@TechReport{ISO14764-99,
  Title                    = {14764-1999, Software Engineering-Software Maintenance},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {1999}
}

@TechReport{ISO14598-98,
  Title                    = {14598:1998, Software Product Evaluation},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {1998}
}

@TechReport{ISO15026-98,
  Title                    = {15026-1998, Information Technology \& System and Software Integrity Levels},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {1998}
}

@TechReport{ISO15271-98,
  Title                    = {TR 15271:1998, Information Technology - Guide for ISO/IEC 12207, (Software Life Cycle Process)},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {1998}
}

@TechReport{ISO15504-98,
  Title                    = {TR 15504:1998, Information Technology - Software Process Assessment (parts 1-9)},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {1998}
}

@TechReport{ISO15846-98,
  Title                    = {TR 15846:1998, Information Technology - Software Life Cycle Processes - Configuration Management},
  Author                   = {ISO/IEC},
  Institution              = {ISO/IEC},
  Year                     = {1998}
}

@Book{Vin88,
  Title                    = {Software Quality Assurance: Practice and Implementation},
  Author                   = {J. Vincent, A. Waters, and J. Sinclair},
  Publisher                = {Prentice Hall},
  Year                     = {1988}
}

@InProceedings{Val94,
  Title                    = {Building on Experience Factory for Maintenance},
  Author                   = {J.D. Vallett, S.E. Condon, L. Briand, Y.M. Kim, and V.R. Basili},
  Booktitle                = {Proceedings of the Software Engineering Workshop, Software Engineering Laboratory},
  Year                     = {1994}
}

@Article{Jac98,
  Title                    = {Homeopathic Remedies for Team Toxicity},
  Author                   = {M. Jackman},
  Journal                  = {IEEE Software},
  Year                     = {1998},
  Pages                    = {43-45}
}

@Article{Jac97,
  Title                    = {The Meaning of Requirements},
  Author                   = {M. Jackson},
  Journal                  = {Annals of Software Engineering},
  Year                     = {1997},
  Volume                   = {3}
}

@Book{Jac95,
  Title                    = {Software Requirements and Specifications},
  Author                   = {M. Jackson},
  Publisher                = {Addison-Wesley},
  Year                     = {1995}
}

@Book{Jal97,
  Title                    = {An Integrated Approach to Software Engineering},
  Author                   = {P. Jalote},
  Publisher                = {Springer-Verlag},
  Year                     = {1997},
  Edition                  = {second}
}

@Article{Jar98,
  Title                    = {The Case for User-Centered CASE Tools},
  Author                   = {S. Jarzabek and R. Huang},
  Journal                  = {Communications of the ACM},
  Year                     = {1998},
  Number                   = {8},
  Pages                    = {-99},
  Volume                   = {41}
}

@InProceedings{Joh99,
  Title                    = {Tailoring the CMM for Small Businesses, Small Organizations, and Small Projects},
  Author                   = {D. Johnson and J. Brodman},
  Booktitle                = {Proceedings of the Elements of Software Process Assessment and Improvement},
  Year                     = {1999}
}

@Book{Jon91,
  Title                    = {Applied Software Measurement},
  Author                   = {C. Jones},
  Publisher                = {McGraw-Hill},
  Year                     = {1991}
}

@Book{Jones1996,
  Title                    = {Applied Software Measurement: Assuring Productivity and Quality},
  Author                   = {C. Jones and J. Capers},
  Publisher                = {McGraw-Hill},
  Year                     = {1996},
  Edition                  = {second}
}

@InProceedings{Jon96,
  Title                    = {Early Elicitation and Definition of Requirements for an Interactive Multimedia Information System},
  Author                   = {S. Jones and C. Britton},
  Booktitle                = {Proceedings of the Second IEEE International Conference on Requirements Engineering},
  Year                     = {1996}
}

@Book{Jon98,
  Title                    = {Estimating Software Costs},
  Author                   = {T.C. Jones},
  Publisher                = {McGraw-Hill},
  Year                     = {1998}
}

@Book{Jor02,
  Title                    = {Software Testing: A Craftsman's Approach},
  Author                   = {P.C. Jorgensen},
  Publisher                = {CRC Press},
  Year                     = {2004},
  Edition                  = {second}
}

@InBook{Jorgensen2002,
  Title                    = {Software Testing: A Craftsman's Approach},
  Author                   = {P. C. Jorgensen},
  Chapter                  = {2, 5- 10, 12-15, 17, 20},
  Publisher                = {CRC Press},
  Year                     = {2002},
  Edition                  = {second}
}

@Book{Jur89,
  Title                    = {Juran on Leadership for Quality},
  Author                   = {J.M. Juran},
  Publisher                = {The Free Press},
  Year                     = {1989}
}

@Book{ElE-99a,
  Title                    = {Success Factors and Barriers in Software Process Improvement: An Empirical Study, Better Software Practice for Business Benefit: Principles and Experiences},
  Author                   = {K. El-Emam, B. Smith, and P. Fusaro},
  Editor                   = {R. Messnarz and C. Tully, eds.},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1999}
}

@InProceedings{ElE-97,
  Title                    = {Causal Analysis of the Requirements Change Process for a Large System},
  Author                   = {K. El-Emam, D. Holtje, and N. Madhavji},
  Booktitle                = {Proceedings of the International Conference on Software Maintenance},
  Year                     = {1997}
}

@InProceedings{Kaj01,
  Title                    = {Motivating the Corrective Maintenance Maturity Model (Cm3)},
  Author                   = {M. Kajko-Mattson},
  Booktitle                = {Proceedings of the Seventh International Conference on Engineering of Complex Systems},
  Year                     = {2001}
}

@Book{Kan02,
  Title                    = {Metrics and Models in Software Quality Engineering},
  Author                   = {S.H. Kan},
  Publisher                = {Addison-Wesley},
  Year                     = {2002},
  Edition                  = {second}
}

@Article{Kan97,
  Title                    = {Integrating Risk Assessment with Cost Estimation},
  Author                   = {K. Kansala},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {61-67}
}

@Article{Kar97,
  Title                    = {A Cost-Value Aproach for Prioritizing Requirements},
  Author                   = {J. Karlsson and K. Ryan},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {87-74}
}

@Book{Kar96,
  Title                    = {Software Engineering Risk Management},
  Author                   = {D.W. Karolak},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1996}
}

@Article{Kau99,
  Title                    = {Making Sense of Measurement for Small Organizations},
  Author                   = {K. Kautz},
  Journal                  = {IEEE Software},
  Year                     = {1999},
  Pages                    = {14-20}
}

@Article{Kei98,
  Title                    = {A Framework for Identifying Software Project Risks},
  Author                   = {Keil, Mark and Cule, Paul E. and Lyytinen, Kalle and Schmidt, Roy C.},
  Journal                  = {Communications of the ACM},
  Year                     = {1998},

  Month                    = nov,
  Number                   = {11},
  Pages                    = {76--83},
  Volume                   = {41},

  Acmid                    = {287843},
  Address                  = {New York, NY, USA},
  Doi                      = {10.1145/287831.287843},
  ISSN                     = {0001-0782},
  Issue_date               = {Nov. 1998},
  Numpages                 = {8},
  Publisher                = {ACM},
  Url                      = {http://doi.acm.org/10.1145/287831.287843}
}

@Article{Ker99,
  Title                    = {Finding Performance Improvements},
  Author                   = {B. Kernighan and R. Pike},
  Journal                  = {IEEE Software},
  Year                     = {1999},
  Pages                    = {61-65}
}

@InBook{Ker99a,
  Title                    = {The Practice of Programming},
  Author                   = {B.W. Kernighan and R. Pike},
  Chapter                  = {2, 3, 5, 6, 9},
  Publisher                = {Addison-Wesley},
  Year                     = {1999}
}

@InProceedings{Kho95,
  Title                    = {Detecting Program Module with Low Testability},
  Author                   = {T.M. Khoshgoftaar and R.M. Szabo and J.M. Voas},
  Booktitle                = {Proceedings of the International Conference on Software Maintenance-1995},
  Year                     = {1995}
}

@InProceedings{Kia95,
  Title                    = {Harmonization of International Software Standards on Integrity and Dependability},
  Author                   = {D. Kiang},
  Booktitle                = {Proceedings of the IEEE International Software Engineering Standards Symposium},
  Year                     = {1995}
}

@InProceedings{Kic97,
  Title                    = {Aspect-Oriented Programming},
  Author                   = {Gregor Kiczales and John Lamping and Anurag Mendhekar and Chris Maeda and Cristina Lopes and Jean-marc Loingtier and John Irwin},
  Booktitle                = {Proceedings of the European Conference on Object-Oriented Programming (ECOOP'97)},
  Year                     = {1997}
}

@TechReport{Kin92,
  Title                    = {Software Quality and Testing: What DoD Can Learn from Commercial Practices},
  Author                   = {M.R. Kindl},
  Institution              = {U.S. Army Institute for Research in Management Information, Communications and Computer Sciences, Georgia Institute of Technology},
  Year                     = {1992}
}

@Article{Kir96,
  Title                    = {Nonfunctional Requirements for Real-Time Systems},
  Author                   = {T. Kirner and A. Davis},
  Journal                  = {Advances in Computers},
  Year                     = {1996}
}

@Article{Kit98,
  Title                    = {Selecting Projects for Technology Evaluation},
  Author                   = {B. Kitchenham},
  Journal                  = {IEEE TCSE Software Process Newsletter},
  Year                     = {1998},
  Number                   = {11},
  Pages                    = {3-6}
}

@Article{Kit97,
  Title                    = {Estimates, Uncertainty, and Risk},
  Author                   = {B. Kitchenham and S. Linkman},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {69-74}
}

@Article{Kit95,
  Title                    = {Case Studies for Method and Tool Evaluation},
  Author                   = {B. Kitchenham and L. Pickard and S.L. Pfleeger},
  Journal                  = {IEEE Software},
  Year                     = {1995},
  Number                   = {4},
  Pages                    = {52-62},
  Volume                   = {12}
}

@InProceedings{Kle97,
  Title                    = {Handling Exceptions in Collaborative Requirements Acquisition},
  Author                   = {M. Klein},
  Booktitle                = {Proceedings of the IEEE International Symposium on Requirements Engineering},
  Year                     = {1997}
}

@Article{Kos97,
  Title                    = {A Two-Step Methodology to Reduce Requirements Defects},
  Author                   = {R. Kosman},
  Journal                  = {Annals of Software Engineering},
  Year                     = {1997},
  Volume                   = {3}
}

@Book{Kot00,
  Title                    = {Requirements Engineering: Processes and Techniques},
  Author                   = {G. Kotonya and I. Sommerville},
  Publisher                = {John Wiley \& Sons},
  Year                     = {2000}
}

@InProceedings{Kra99,
  Title                    = {The Payoff for Software Process Improvement: What It Is and How to Get It},
  Author                   = {H. Krasner},
  Booktitle                = {Proceedings of the Elements of Software Process Assessment and Improvement},
  Year                     = {1999}
}

@Article{Kri99,
  Title                    = {Measuring Process Consistency: Implications for Reducing Software Defects},
  Author                   = {M.S. Krishnan and M. Kellner},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1999},
  Number                   = {6},
  Pages                    = {800-815},
  Volume                   = {25}
}

@InProceedings{Kro95,
  Title                    = {Towards a deeper understanding of quality in requirements engineering},
  Author                   = {Krogstie, John and Lindland, OddIvar and Sindre, Guttorm},
  Booktitle                = {Advanced Information Systems Engineering},
  Year                     = {1995},
  Editor                   = {Iivari, Juhani and Lyytinen, Kalle and Rossi, Matti},
  Pages                    = {82--95},
  Publisher                = {Springer Berlin Heidelberg},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {932},

  Doi                      = {10.1007/3-540-59498-1_239},
  ISBN                     = {978-3-540-59498-7},
  Keywords                 = {Requirements engineering; conceptual modelling; quality; social construction},
  Url                      = {http://dx.doi.org/10.1007/3-540-59498-1_239}
}

@Article{Kru95,
  Title                    = {The 4+1 View Model of Architecture},
  Author                   = {P. B. Kruchten},
  Journal                  = {IEEE Software},
  Year                     = {1995},
  Number                   = {6},
  Pages                    = {42-50},
  Volume                   = {12}
}

@Book{Bas03,
  Title                    = {Software Architecture in Practice},
  Author                   = {L. Bass, P. Clements, and R. Kazman},
  Publisher                = {Addison-Wesley},
  Year                     = {2003},
  Edition                  = {second}
}

@Book{Bas98,
  Title                    = {Software Architecture in Practice},
  Author                   = {L. Bass, P. Clements, and R. Kazman},
  Publisher                = {Addison-Wesley},
  Year                     = {1998}
}

@Article{Bri96a,
  Title                    = {On the Application of Measurement Theory in Software Engineering},
  Author                   = {L. Briand, K.E. Emam, and S. Morasca},
  Journal                  = {Empirical Software Engineering},
  Year                     = {1996},
  Pages                    = {61-88},
  Volume                   = {1}
}

@InProceedings{Ros98,
  Title                    = {Requirements, testing and metrics},
  Author                   = {L. Rosenberg, T.F. Hammer, and L.L. Huffman},
  Booktitle                = {Proceedings of the 15th Annual Pacific Northwest Software Quality Conference},
  Year                     = {1998}
}

@Article{Bri97,
  Title                    = {Response to: Comments on �Property-based Software Engineering Measurement: Refining the Addivity Properties},
  Author                   = {L.C. Briand, S. Morasca, and V.R. Basili},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1997},
  Number                   = {3},
  Pages                    = {196-197},
  Volume                   = {23}
}

@Article{Bri96,
  Title                    = {Property-Based Software Engineering Measurement},
  Author                   = {L.C. Briand, S. Morasca, and V.R. Basili},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1996},
  Number                   = {1},
  Pages                    = {68-86},
  Volume                   = {22}
}

@TechReport{Laboratory1996,
  Title                    = {Software Process Improvement Guidebook, Software Engineering Laboratory, NASA/GSFC, Technical Report SEL-95-102},
  Author                   = {Software Engineering Laboratory},
  Institution              = {Software Engineering Laboratory},
  Year                     = {1996},

  Url                      = {http://sel.gsfc.nasa.gov/website/documents/online-doc/95-102.pdf}
}

@TechReport{SEL96,
  Title                    = {Software Process Improvement Guidebook, NASA/GSFC, Technical Report SEL-95-102},
  Author                   = {Software Engineering Laboratory},
  Institution              = {Software Engineering Laboratory},
  Year                     = {1996},

  Url                      = {http://sel.gsfc.nasa.gov/website/documents/online-doc/95-102.pdf}
}

@InProceedings{Lag96,
  Title                    = {Mapping for the ISO9126 Maintainability Internal Metrics to an Industrial Research Tool},
  Author                   = {B. Lagu\'e and A. April},
  Booktitle                = {Second IEEE International Conference on Engineering of Complex Computer Systems},
  Year                     = {1996},

  Url                      = {http://espace2.etsmtl.ca/7728/}
}

@InProceedings{Lal95,
  Title                    = {Visual Scenarios for Validation of Requirements Specification},
  Author                   = {V. Lalioti and B. Theodoulidis},
  Booktitle                = {Proceedings of the Seventh International Conference on Software Engineering and Knowledge Engineering},
  Year                     = {1995}
}

@InProceedings{Lamsweerde2000,
  Title                    = {Formal Specification: A Roadmap},
  Author                   = {Lamsweerde, Axel van},
  Booktitle                = {Proceedings of the Conference on The Future of Software Engineering},
  Year                     = {2000},

  Address                  = {New York, NY, USA},
  Pages                    = {147--159},
  Publisher                = {ACM},
  Series                   = {ICSE '00},

  Acmid                    = {336546},
  Doi                      = {10.1145/336512.336546},
  ISBN                     = {1-58113-253-0},
  Location                 = {Limerick, Ireland},
  Numpages                 = {13},
  Url                      = {http://doi.acm.org/10.1145/336512.336546}
}

@Book{Lap91,
  Title                    = {Dependability: Basic Concepts and Terminology in English, French, German, Italian and Japanese},
  Author                   = {J.C. Laprie},
  Publisher                = {Springer-Verlag for IFIP WG 10.4},
  Year                     = {1991}
}

@Book{Lar98,
  Title                    = {Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design},
  Author                   = {C. Larman},
  Publisher                = {Prentice-Hall},
  Year                     = {1998}
}

@Article{Lat98,
  Title                    = {Adopting GQM based measurement in an industrial environment},
  Author                   = {van Latum, F. and Van Solingen, R. and Oivo, M. and Hoisl, B. and Rombach, Dieter and Ruhe, G.},
  Journal                  = {IEEE Software},
  Year                     = {1998},

  Month                    = {Jan},
  Number                   = {1},
  Pages                    = {78--86},
  Volume                   = {15},

  Doi                      = {10.1109/52.646887},
  ISSN                     = {0740-7459},
  Keywords                 = {data analysis;petroleum industry;software development management;software metrics;GQM approach;Goal Question Metric approach;Retail Petroleum Systems;Schlumberger RPS;data analysis;feedback sessions;industrial environment;program performance;software measurement;Capability maturity model;Computer industry;Databases;Feedback;Fuels;Petroleum;Programming;Software engineering;Software measurement;Time measurement}
}

@InProceedings{Lehm1997,
  Title                    = {Laws of Software Evolution Revisited},
  Author                   = {M.M. Lehman},
  Booktitle                = {Proceedings of the EWSPT96},
  Year                     = {1997}
}

@Book{Leh85,
  Title                    = {Program Evolution: Processes of Software Change},
  Author                   = {M.M. Lehman and L.A. Belady},
  Publisher                = {Academic Press},
  Year                     = {1985}
}

@InProceedings{Lei97,
  Title                    = {Enhancing a requirements baseline with scenarios},
  Author                   = {Leite, J.C.S.P. and Rossi, G. and Balaguer, F. and Maiorana, V. and Kaplan, G. and Hadad, G. and Oliveros, A},
  Booktitle                = {Proceedings of the Third IEEE International Symposium on Requirements Engineering},
  Year                     = {1997},
  Month                    = {Jan},
  Pages                    = {44-53},

  Doi                      = {10.1109/ISRE.1997.566841},
  Keywords                 = {formal specification;systems analysis;actions;case studies;client-oriented requirements baseline;environment-system interface;environmental situations;evolving description;functional requirements;nonfunctional requirements;scenarios;software behavior elicitation;software behavior specification;software system evolution;software system external requirements;traceability;Context modeling;Mirrors;Natural languages;Programming;Proposals;Software engineering;Software systems}
}

@Article{Ler97,
  Title                    = {Using simulation‐based experiments for software requirements engineering},
  Author                   = {Lerch, F.Javier and Ballou, DeborahJ. and Harter, DonaldE.},
  Journal                  = {Annals of Software Engineering},
  Year                     = {1997},
  Number                   = {1},
  Pages                    = {345--366},
  Volume                   = {3},

  Doi                      = {10.1023/A:1018942122436},
  ISSN                     = {1022-7091},
  Language                 = {English},
  Publisher                = {Kluwer Academic Publishers},
  Url                      = {http://dx.doi.org/10.1023/A%3A1018942122436}
}

@Article{Leu96,
  Title                    = {A Risk Index for Software Producers},
  Author                   = {H.K.N. Leung},
  Journal                  = {Software Maintenance: Research and Practice},
  Year                     = {1996},
  Pages                    = {281-294},
  Volume                   = {8}
}

@Book{Lev95,
  Title                    = {Safeware: System Safety and Computers},
  Author                   = {N.G. Leveson},
  Publisher                = {Addison-Wesley},
  Year                     = {1995}
}

@Article{Lev94,
  Title                    = {Requirements Specification for Process-Control Systems},
  Author                   = {Leveson, Nancy G. and Heimdahl, Mats Per Erik and Hildreth, Holly and Reese, Jon D.},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1994},

  Month                    = sep,
  Number                   = {9},
  Pages                    = {684--707},
  Volume                   = {20},

  Acmid                    = {188234},
  Address                  = {Piscataway, NJ, USA},
  Doi                      = {10.1109/32.317428},
  ISSN                     = {0098-5589},
  Issue_date               = {September 1994},
  Keywords                 = {TCAS II, aerospace computing, aircraft instrumentation, example application, example specification, formal model, formal requirements specification, formal specification, industrial aircraft collision avoidance system, position control, process computer control, process control, process-control systems, requirements specification, reverse engineering, specification language, specification languages},
  Numpages                 = {24},
  Publisher                = {IEEE Press},
  Url                      = {http://dx.doi.org/10.1109/32.317428}
}

@Book{Lew92,
  Title                    = {Independent Verification and Validation: A Life Cycle Engineering Process for Quality Software},
  Author                   = {R.O. Lewis},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1992}
}

@TechReport{ITI01,
  Title                    = {Service Delivery and Service Support},
  Author                   = {IT Infrastructure Library},
  Institution              = {Stationary Office, Office of Government of Commerce},
  Year                     = {2001}
}

@Article{Lie81,
  Title                    = {Problems in Application Software Mainteanance},
  Author                   = {B.P. Lientz and E.B. Swanson},
  Journal                  = {Communications of the ACM},
  Year                     = {1981},
  Number                   = {11},
  Pages                    = {763-769},
  Volume                   = {24}
}

@Article{Lie78,
  Title                    = {Characteristics of Applications Software Maintenance},
  Author                   = {B. Lienz and E.B. Swanson and G.E. Tompkins},
  Journal                  = {Communications of the ACM},
  Year                     = {1978},
  Volume                   = {21}
}

@Book{Lis01,
  Title                    = {Program Development in Java: Abstraction, Specification and Object-Oriented Design},
  Author                   = {B. Liskov and J. Guttag},
  Publisher                = {Addison-Wesley},
  Year                     = {2001}
}

@Article{Lis97,
  Title                    = {Risk Management Is Project Management for Adults},
  Author                   = {T. Lister},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {20-22}
}

@Book{Lou95,
  Title                    = {Systems Requirements Engineering},
  Author                   = {P. Loucopulos and V. Karakostas},
  Publisher                = {McGraw-Hill},
  Year                     = {1995}
}

@Article{Lut97,
  Title                    = {Requirements Analysis Using Forward and Backward Search},
  Author                   = {R. Lutz and R. Woodhouse},
  Journal                  = {Annals of Software Engineering},
  Year                     = {1997},
  Volume                   = {3}
}

@InProceedings{Lut96a,
  Title                    = {Contributions of SFMEA to Requirements Analysis},
  Author                   = {R. Lutz and R. Woodhouse},
  Booktitle                = {Proceedings of the Second IEEE International Conference on Requirements Engineering},
  Year                     = {1996}
}

@Book{Lyu1996,
  Title                    = {Handbook of Software Reliability Engineering},
  Author                   = {M.R. Lyu},
  Publisher                = {Mc-Graw-Hill/IEEE},
  Year                     = {1996}
}

@InBook{Lyu96,
  Title                    = {Handbook of Software Reliability Engineering},
  Author                   = {M.R. Lyu},
  Chapter                  = {2s2.2, 5-7},
  Publisher                = {Mc-Graw-Hill/IEEE},
  Year                     = {1996}
}

@Book{M.Christensen1997,
  Title                    = {Software Engineering},
  Author                   = {M. Christensen, M. Dorfman and R.H. Thayer, eds.},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1997}
}

@InProceedings{Kaj01a,
  Title                    = {Corrective Maintenance Maturity Model: Maintainer's Education and Training},
  Author                   = {M. Kajko-Mattson, S. Forssander, and U. Olsson},
  Booktitle                = {Proceedings of the International Conference on Software Engineering},
  Year                     = {2001}
}

@Book{Pol03,
  Title                    = {Advances in Software Maintenance Management: Technologies and Solutions},
  Author                   = {M. Polo, M. Piattini, and F. Ruiz, eds.},
  Publisher                = {Idea Group Publishing},
  Year                     = {2003}
}

@InProceedings{Muller2000,
  Title                    = {Reverse Engineering: A Roadmap},
  Author                   = {M\"{u}ller, Hausi A. and Jahnke, Jens H. and Smith, Dennis B. and Storey, Margaret-Anne and Tilley, Scott R. and Wong, Kenny},
  Booktitle                = {Proceedings of the Conference on The Future of Software Engineering},
  Year                     = {2000},

  Address                  = {New York, NY, USA},
  Pages                    = {47--60},
  Publisher                = {ACM},
  Series                   = {ICSE '00},

  Acmid                    = {336526},
  Doi                      = {10.1145/336512.336526},
  ISBN                     = {1-58113-253-0},
  Keywords                 = {data reverse engineering, program comprehension, program understanding, reverse engineering, software analysis, software engineering, software evolution, software maintenance, software migration, software reengineering, software tools, tool adoption, tool evaluation},
  Location                 = {Limerick, Ireland},
  Numpages                 = {14},
  Url                      = {http://doi.acm.org/10.1145/336512.336526}
}

@Book{Mac96,
  Title                    = {Requirements Engineering},
  Author                   = {L. Macaulay},
  Publisher                = {Springer-Verlag},
  Year                     = {1996}
}

@Article{Mac98,
  Title                    = {Beyond Dilbert: Creating Cultures that Work},
  Author                   = {K. Mackey},
  Journal                  = {IEEE Software},
  Year                     = {1998},
  Pages                    = {48-49}
}

@Article{Mac96a,
  Title                    = {Why Bad Things Happen to Good Projects},
  Author                   = {K. Mackey},
  Journal                  = {IEEE Software},
  Year                     = {1996},
  Pages                    = {27-32}
}

@Article{Mad97,
  Title                    = {Heuristic Risk Assessment Using Cost Factors},
  Author                   = {R.J. Madachy},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {51-59}
}

@InProceedings{Mad94,
  Title                    = {Elicit: a method for eliciting process models},
  Author                   = {Madhavji, N.H. and Holtje, D. and Wonkook Hong and Bruckhaus, T.},
  Booktitle                = {Third International Conference on the Software Process},
  Year                     = {1994},
  Month                    = {Oct},
  Pages                    = {111--122},

  Doi                      = {10.1109/SPCON.1994.344417},
  Keywords                 = {software engineering;systems analysis;Elicit;case studies;dependency management;formally defined state;immaturity;industrial software environments;industrial-scale processes;intuitive state;method evolution;preliminary analysis;process improvement;product planning;requirements engineering;software process model elicitation method;software projects;Certification;Computer industry;Computer science;Costs;Delay;Educational institutions;Process planning;Programming;Software engineering;Software quality}
}

@InBook{Mag93,
  Title                    = {Writing Solid Code: Microsoft's Techniques for Developing Bug-Free C Software},
  Author                   = {S. Maguire},
  Chapter                  = {2-7},
  Publisher                = {Microsoft Press},
  Year                     = {1993}
}

@InProceedings{Mai95,
  Title                    = {Computational Mechanisms for Distributed Requirements Engineering},
  Author                   = {Neil A. M. Maiden and Alistair G. Sutcliffe and Petia Assenova and P. Johanneson and Matthias Jarke and Hans W. Nissen and Panos Constantopoulos and George Spanoudakis},
  Booktitle                = {The 7th International Conference on Software Engineering and Knowledge Engineering (SEKE'95), June 22-24, 1995, Rockville, Maryland, USA, Proceedings},
  Year                     = {1995},
  Pages                    = {8--15}
}

@InProceedings{Mar1994,
  Title                    = {Requirements for Development of Software Requirements},
  Author                   = {B. Mar},
  Booktitle                = {Proceedings of the Fourth International Symposium on Systems Engineering},
  Year                     = {1994}
}

@Book{Mar02,
  Title                    = {Encyclopedia of Software Engineering},
  Author                   = {J.J. Marciniak},
  Publisher                = {J. Wiley \& Sons},
  Year                     = {2002},
  Edition                  = {second}
}

@Book{Mar94,
  Title                    = {Encyclopedia of Software Engineering},
  Author                   = {J.J. Marciniak},
  Publisher                = {J. Wiley \& Sons},
  Year                     = {1994}
}

@InProceedings{Mas97,
  Title                    = {Analogical Reuse of Requirements Frameworks},
  Author                   = {P. Massonet and A. v. Lamsweerde},
  Booktitle                = {Proceedings of the IEEE International Symposium on Requirements Engineering},
  Year                     = {1997}
}

@TechReport{Mas95,
  Title                    = {CMM Appraisal Framework - Version 1.0},
  Author                   = {S. Masters and C. Bothwell},
  Institution              = {Software Engineering Institute},
  Year                     = {1995},

  Url                      = {http://www.sei.cmu.edu/pub/documents/95.reports/pdf/tr001.95.pdf}
}

@Article{Mcc77,
  Title                    = {Factors in Software Quality \& General Electric},
  Author                   = {J.A. McCall},
  Journal                  = {n77C1502},
  Year                     = {1977}
}

@Book{McC04,
  Title                    = {Code Complete: A Practical Handbook of Software Construction},
  Author                   = {S. McConnell},
  Publisher                = {Microsoft Press2004},
  Edition                  = {second}
}

@Article{McC99,
  Title                    = {Software Engineering Principles},
  Author                   = {S.C. McConnell},
  Journal                  = {IEEE Software},
  Year                     = {1999},
  Pages                    = {6-8}
}

@Book{McC97,
  Title                    = {Software Project Survival Guide},
  Author                   = {S.C. McConnell},
  Publisher                = {Microsoft Press},
  Year                     = {1997}
}

@Book{McC96,
  Title                    = {Rapid Development: Taming Wild Software Schedules},
  Author                   = {S.C. McConnell},
  Publisher                = {Microsoft Press},
  Year                     = {1996}
}

@Book{McC93,
  Title                    = {Code Complete: A Practical Handbook of Software Construction},
  Author                   = {S. McConnell},
  Publisher                = {Microsoft Press},
  Year                     = {1993}
}

@InProceedings{McC02,
  Title                    = {Taking Control of IT Performance},
  Author                   = {B. McCracken},
  Booktitle                = {Proceedings of the InfoServer LLC},
  Year                     = {2002}
}

@InProceedings{McF95,
  Title                    = {Requirements Traceability in an Integrated Development Environment},
  Author                   = {I. McFarland and I. Reilly},
  Booktitle                = {Proceedings of the Second International Symposium on Requirements Engineering},
  Year                     = {1995}
}

@TechReport{McF96,
  Title                    = {IDEAL: A User's Guide for Software Process Improvement},
  Author                   = {B. McFeeley},
  Institution              = {Software Engineering Institute},
  Year                     = {1996},

  Url                      = {http://www.sei.cmu.edu/pub/documents/96.reports/pdf/hb001.96.pdf}
}

@TechReport{McG94,
  Title                    = {Software Process Improvement in the NASA Software Engineering Laboratory"},
  Author                   = {Frank McGarry and Rose Pajerski and Gerald Page and Sharon Waligora and Victor Basili and \& Marvin Zelkowitz},
  Institution              = {Software Engineering Institute},
  Year                     = {1994},

  Url                      = {http://www.sei.cmu.edu/pub/documents/94.reports/pdf/ tr22.94.pdf}
}

@Book{McG01,
  Title                    = {Practical Software Measurement: Objective Information for Decision Makers},
  Author                   = {John McGarry and David Card and Cheryl Jones and Beth Layman and Elizabeth Clark and Joseph Dean and Fred Hall},
  Publisher                = {Addison-Wesley},
  Year                     = {2001}
}

@InProceedings{Mcg93,
  Title                    = {Model Based Process Assessments},
  Author                   = {C. McGowan and S. Bohner},
  Booktitle                = {Proceedings of the International Conference on Software Engineering},
  Year                     = {1993}
}

@InProceedings{Mea94,
  Title                    = {The Role of Software Architecture in Requirements Engineering},
  Author                   = {N. Mead},
  Booktitle                = {Proceedings of the IEEE International Conference on Requirements Engineering},
  Year                     = {1994}
}

@Book{Mey97,
  Title                    = {Object-Oriented Software Construction},
  Author                   = {B. Meyer},
  Publisher                = {Prentice-Hall},
  Year                     = {1997},
  Edition                  = {second}
}

@InBook{Meyer1997,
  Title                    = {Object-Oriented Software Construction},
  Author                   = {B. Meyer},
  Chapter                  = {6, 10, 11},
  Publisher                = {Prentice Hall},
  Year                     = {1997},
  Edition                  = {second}
}

@Article{Mid97,
  Title                    = {Software Configuration Management for the 21st Century},
  Author                   = {A.K. Midha},
  Journal                  = {Bell Labs Technical Journal},
  Year                     = {1997},
  Number                   = {1},
  Pages                    = {154-165},
  Volume                   = {2}
}

@Article{Moi98,
  Title                    = {Managing Change for Software Process Improvement Initiatives: A Practical Experience- Based Approach},
  Author                   = {D. Moitra},
  Journal                  = {Software Process \& Improvement and Practice},
  Year                     = {1998},
  Number                   = {4},
  Pages                    = {199-207},
  Volume                   = {4}
}

@Book{Moore1998,
  Title                    = {Software Engineering Standards, A User's Roadmap},
  Author                   = {J.W. Moore},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1998}
}

@Article{Mor90,
  Title                    = {A Theory of Fault-Based Testing,},
  Author                   = {L.J. Morell},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1990},
  Number                   = {8},
  Pages                    = {844-857},
  Volume                   = {16}
}

@Article{Mos92,
  Title                    = {How to Assess Tools Efficiently and Quantitatively},
  Author                   = {V. Mosley},
  Journal                  = {IEEE Software},
  Year                     = {1992},
  Number                   = {3},
  Pages                    = {29-32},
  Volume                   = {9}
}

@Article{Mos95,
  Title                    = {A Technique to Include Computer Security, Safety, and Resilience Requirements as Part of the Requirements Specification},
  Author                   = {D. Mostert and S. v. Solms},
  Journal                  = {Journal of Systems and Software},
  Year                     = {1995},
  Number                   = {1},
  Pages                    = {45-53},
  Volume                   = {31}
}

@InProceedings{Nis97,
  Title                    = {View-Directed Requirements Engineering: A Framework and Metamodel},
  Author                   = {R. Motschnig-Pitrig and H.W. Nissen},
  Booktitle                = {Proceedings of the Ninth IEEE International Conference on Software Engineering and Knowledge Engineering},
  Year                     = {1997}
}

@Article{Moy97,
  Title                    = {How Experienced Project Managers Assess Risk},
  Author                   = {T. Moynihan},
  Journal                  = {IEEE Software},
  Year                     = {1997}
}

@Book{Mus99,
  Title                    = {Software Reliability Engineering: More Reliable Software, Faster Development and Testing},
  Author                   = {J. Musa},
  Publisher                = {McGraw-Hill},
  Year                     = {1999}
}

@Article{Mus89,
  Title                    = {Quantifying Software Validation: When to Stop Testing?},
  Author                   = {J.D. Musa and A.F. Ackerman},
  Journal                  = {IEEE Software},
  Year                     = {1989},
  Number                   = {3},
  Pages                    = {19-27},
  Volume                   = {6}
}

@Article{Nak91,
  Title                    = {A Case History Analysis of Software Error Cause-Effect Relationship},
  Author                   = {T. Nakajo and H. Kume},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1981},
  Number                   = {8},
  Volume                   = {17}
}

@TechReport{NAS97,
  Title                    = {Formal Methods Specification and Analysis Guidebook for the Verification of Software and Computer Systems, Volume II: A Practitioner's Companion},
  Author                   = {NASA},
  Institution              = {NASA},
  Year                     = {1997},

  Url                      = {http://eis.jpl.nasa.gov/quality/Formal_Methods/}
}

@Article{Bar95,
  Title                    = {Two Case Studies in Modeling Real, Corporate Processes},
  Author                   = {Naser S. Barghouti, David S. Rosenblum, David G. Belanger and Christopher Alliegro},
  Journal                  = {Software Process \&\ Improvement and Practice},
  Year                     = {1995},
  Pages                    = {17--32}
}

@Article{Ncs98,
  Title                    = {Managing OO Projects Better},
  Author                   = {P. Ncsi},
  Journal                  = {IEEE Software},
  Year                     = {1998},
  Pages                    = {50-60}
}

@Misc{Nie02,
  Title                    = {The IT Capability Maturity Model},

  Author                   = {F. Niessink and V. Clerk and H. v. Vliet},
  Note                     = {release L2+3-0.3 draft},
  Year                     = {2002},

  Url                      = {http://www.itservicecmm.org/doc/itscmm-123-0.3.pdf}
}

@Article{Nis92,
  Title                    = {Representing and Using Non-Functional Requirements: A Process-Oriented Approach},
  Author                   = {K. Nishimura and S. Honiden},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1992}
}

@Article{Nol99,
  Title                    = {Learning From Success},
  Author                   = {A.J. Nolan},
  Journal                  = {IEEE Software},
  Year                     = {1999},
  Pages                    = {97-105}
}

@Article{OBr96,
  Title                    = {From Use Case to Database: Implementing a Requirements Tracking System},
  Author                   = {L. O'Brien},
  Journal                  = {Software Development},
  Year                     = {1996},
  Number                   = {2},
  Pages                    = {43-47},
  Volume                   = {4}
}

@Article{Off97,
  Title                    = {Establishing Software Measurement Programs},
  Author                   = {R.J. Offen and R. Jeffery},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {45-53}
}

@InProceedings{Oma92,
  Title                    = {Metrics for Assessing Software System Maintainability},
  Author                   = {P. Oman and J. Hagemeister},
  Booktitle                = {Proceedings of the International Conference on Software Maintenance '92},
  Year                     = {1992}
}

@InProceedings{Opd94,
  Title                    = {Requirements Engineering for Software Performance},
  Author                   = {A. Opdahl},
  Booktitle                = {Proceedings of the International Workshop on Requirements Engineering: Foundations of Software Quality},
  Year                     = {1994}
}

@Article{Ost88,
  Title                    = {The Category-Partition Method for Specifying and Generating Functional Tests},
  Author                   = {T.J. Ostrand and M.J. Balcer},
  Journal                  = {Communications of the ACM},
  Year                     = {1988},
  Number                   = {3},
  Pages                    = {676-686},
  Volume                   = {31}
}

@Article{Cia97,
  Title                    = {Engineering Formal Requirements: An Analysis and Testing Method for Z Documents},
  Author                   = {P. Ciancarini, S. Cimato, C. Mascolo},
  Journal                  = {Annals of Software Engineering},
  Year                     = {1997},
  Number                   = {1},
  Volume                   = {3},

  Url                      = {http://link.springer.com/article/10.1023%2FA%3A1018965316985}
}

@Article{Fran98,
  Title                    = {Evaluating Testing Methods by Delivered Reliability},
  Author                   = {P. Frankl, D. Hamlet, B. Littlewood, and L. Strigini},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1998},
  Number                   = {8},
  Pages                    = {586-601},
  Volume                   = {24}
}

@Article{Gar97,
  Title                    = {An Information Architecture for Risk Assessment and Management},
  Author                   = {P.R. Garvey, D.J. Phair, and J.A. Wilson},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {25-34}
}

@Article{Oma91,
  Title                    = {A Definition and Taxonomy for Software Maintainability},
  Author                   = {P.W. Oman, J. Hagemeister, and D. Ash},
  Journal                  = {University of Idaho, Software Engineering Test Lab Technical Report 91-08 TR},
  Year                     = {1991}
}

@Book{Pag00,
  Title                    = {Fundamentals of Object-Oriented Design in UML},
  Author                   = {M. Page-Jones},
  Publisher                = {Addison-Wesley},
  Year                     = {2000}
}

@InBook{Pal97,
  Title                    = {Traceability, Software Engineering},
  Author                   = {J.D. Palmer},
  Pages                    = {266-276},
  Publisher                = {M. Dorfman and R. Thayer, eds.},
  Year                     = {1997}
}

@Book{Par86,
  Title                    = {Handbook of Software Maintenance},
  Author                   = {G. Parikh},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1986}
}

@Article{Par96,
  Title                    = {Implementing Accountability},
  Author                   = {K.V.C. Parris},
  Journal                  = {IEEE Software},
  Year                     = {1996},
  Pages                    = {83-}
}

@InProceedings{Pau94,
  Title                    = {Measuring Process Capability Versus Organizational Process Maturity},
  Author                   = {M. Paulk and M. Konrad},
  Booktitle                = {Proceedings of the 4th International Conference on Software Quality},
  Year                     = {1994}
}

@TechReport{Pau93,
  Title                    = {Key Practices of the Capability Maturity Model, Version 1.1" technical report CMU/SEI- -TR-025},
  Author                   = {Mark C. Paulk and Bill Curtis and Mary Beth Chrissis and Charles V. Weber},
  Institution              = {Software Engineering Institute, Carnegie Mellon University},
  Year                     = {1993},
  Month                    = {February},
  Number                   = {CMU/SEI-93-TR-024, ESC-TR-93-177},

  Url                      = {http://www.sei.cmu.edu/reports/93tr024.pdf}
}

@Book{Pau95,
  Title                    = {The Capability Maturity Model, Guidelines for Improving the Software Process},
  Author                   = {Mark C. Paulk and Charles V. Weber and Bill Curtis and Mary Beth Chrissis},
  Publisher                = {Addison-Wesley},
  Year                     = {1995}
}

@TechReport{Pen93,
  Title                    = {Software Error Analysis},
  Author                   = {W.W. Peng and D.R. Wallace},
  Institution              = {National Institute of Standards and Technology},
  Year                     = {1993},

  Url                      = {http://hissa.nist.gov/SWERROR/}
}

@InBook{Per95,
  Title                    = {Effective Methods for Software Testing},
  Author                   = {W. Perry},
  Chapter                  = {1-4, 9, 10-12, 17, 19-21},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1995}
}

@Book{Perry1995,
  Title                    = {Effective Methods for Software Testing},
  Author                   = {W. Perry},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1995}
}

@Book{Pet92,
  Title                    = {To Engineer Is Human: The Role of Failure in Successful Design},
  Author                   = {H. Petroski},
  Publisher                = {Vintage Books},
  Year                     = {1992}
}

@Book{Pfl01,
  Title                    = {Software Engineering: Theory and Practice},
  Author                   = {S.L. Pfleeger},
  Publisher                = {Prentice-Hall},
  Year                     = {2001},
  Edition                  = {second}
}

@InBook{Pfl01a,
  Title                    = {Software Engineering: Theory and Practice second ed},
  Author                   = {S.L. Pfleeger},
  Chapter                  = {4},
  Publisher                = {Prentice Hall},
  Year                     = {2001}
}

@InBook{Pfleeger2001,
  Title                    = {Software Engineering: Theory and Practice},
  Author                   = {S.L. Pfleeger},
  Chapter                  = {8, 9},
  Publisher                = {Prentice-Hall},
  Year                     = {2001},
  Edition                  = {second}
}

@Article{Pfl99,
  Title                    = {Understanding and Improving Technology Transfer in Software Engineering},
  Author                   = {S.L. Pfleeger},
  Journal                  = {Journal of Systems and Software},
  Year                     = {1999},
  Pages                    = {111-124},
  Volume                   = {47}
}

@Article{Pfl97,
  Title                    = {Assessing Measurement (Guest publisher's Introduction)},
  Author                   = {S.L. Pfleeger},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {25-26}
}

@Article{Pfl97a,
  Title                    = {Status Report on Software Measurement},
  Author                   = {Pfleeger, Shari Lawrence and Jeffery, Ross and Curtis, Bill and Kitchenham, Barbara},
  Journal                  = {IEEE Software},
  Year                     = {1997},

  Month                    = mar,
  Number                   = {2},
  Pages                    = {33--43},
  Volume                   = {14},

  Acmid                    = {625691},
  Address                  = {Los Alamitos, CA, USA},
  Doi                      = {10.1109/52.582973},
  ISSN                     = {0740-7459},
  Issue_date               = {March 1997},
  Numpages                 = {11},
  Publisher                = {IEEE Computer Society Press},
  Url                      = {http://dx.doi.org/10.1109/52.582973}
}

@Book{Pig97,
  Title                    = {Practical Software Maintenance: Best Practices for Managing your Software Investment},
  Author                   = {T.M. Pigoski},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1997},
  Edition                  = {first}
}

@Book{Pig94,
  Title                    = {Software Maintenance Encyclopedia of Software Engineering},
  Author                   = {T.M. Pigoski},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1994}
}

@InProceedings{Pig93,
  Title                    = {Maintainable Software: Why You Want It and How to Get It},
  Author                   = {T.M. Pigoski},
  Booktitle                = {Proceedings of the Third Software Engineering Research Forum - November 1993 University of West Florida Press},
  Year                     = {1993}
}

@Article{Pin96,
  Title                    = {An Object-Oriented Tool for Tracing Requirements},
  Author                   = {F. Pinheiro and J. Goguen},
  Journal                  = {IEEE Software},
  Year                     = {1996},
  Number                   = {2},
  Pages                    = {52-64},
  Volume                   = {13}
}

@Article{Pla96,
  Title                    = {Software Requirements Elicitation: Problems, Tools, and Techniques},
  Author                   = {G. Playle and C. Schroeder},
  Journal                  = {Crosstalk: The Journal of Defense Software Engineering},
  Year                     = {1996},
  Number                   = {12},
  Pages                    = {19-24},
  Volume                   = {9}
}

@InProceedings{Poh94,
  Title                    = {Applying AI Techniques to Requirements Engineering: The NATURE Prototype},
  Author                   = {K. Pohl and P. Assenova and R. Doemges and P. Johannesson and N.A.M. Maiden and V. Plihon and J.-R. Schmitt and G. Spanoudakis},
  Booktitle                = {Proceedings of the IEEE Workshop on Research Issues in the Intersection Between Software Engineering and Artificial Intelligence},
  Year                     = {1994},

  Url                      = {http://ftp8.de.freebsd.org/pub/NATURE/CONTENTS.long}
}

@Book{Pom96,
  Title                    = {Object- Orientation and Prototyping in Software Engineering},
  Author                   = {G. Pomberger and G. Blaschek},
  Publisher                = {Prentice Hall},
  Year                     = {1996}
}

@Article{Poo00,
  Title                    = {Using Extreme Programming in a Maintenance Environment},
  Author                   = {C. Poole and W. Huisman},
  Journal                  = {IEEE Software},
  Year                     = {2001},
  Number                   = {6},
  Pages                    = {42-50},
  Volume                   = {18}
}

@Article{Por95,
  Title                    = {Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment},
  Author                   = {Porter, AA and Votta, L.G., Jr. and Basili, V.R.},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1995},
  Number                   = {6},
  Pages                    = {563-575},
  Volume                   = {21}
}

@Book{Pos96,
  Title                    = {Automating Specification-Based Software Testing},
  Author                   = {R.M. Poston},
  Publisher                = {IEEE},
  Year                     = {1996}
}

@InProceedings{Pot95,
  Title                    = {An Evaluation of Inquiry-Based Requirements Analysis for an Internet Server},
  Author                   = {C. Potts and {et al.}},
  Booktitle                = {Proceedings of the Second International Symposium on Requirements Engineering},
  Year                     = {1995}
}

@Article{Pot97,
  Title                    = {Abstraction and Context in Requirements Engineering: Toward a Synthesis"},
  Author                   = {C. Potts and I. Hsi},
  Journal                  = {Annals of Software Engineering},
  Year                     = {1997},
  Volume                   = {3}
}

@InProceedings{Pot97a,
  Title                    = {Naturalistic Inquiry and Requirements Engineering: Reconciling Their Theoretical Foundations},
  Author                   = {C. Potts and W. Newstetter},
  Booktitle                = {Proceedings of the IEEE International Symposium on Requirements Engineering},
  Year                     = {1997}
}

@Book{Pre95,
  Title                    = {Design Patterns for Object-Oriented Software Development},
  Author                   = {W. Pree},
  Publisher                = {Addison-Wesley and ACM Press},
  Year                     = {1995}
}

@Book{Pre04,
  Title                    = {Software Engineering: A Practitioner's Approach},
  Author                   = {R.S. Pressman},
  Publisher                = {McGraw-Hill},
  Year                     = {2004},
  Edition                  = {sixth}
}

@InBook{Pre04a,
  Title                    = {Software Engineering: A Practitioner's Approach},
  Author                   = {R.S. Pressman},
  Chapter                  = {2, 6, 7, 22-26},
  Publisher                = {McGraw-Hill},
  Year                     = {2004},
  Edition                  = {sixth}
}

@Book{Put97,
  Title                    = {Industrial Strength Software \& Effective Management Using Measurement},
  Author                   = {L.H. Putman and W. Myers},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1997}
}

@Article{Sol98,
  Title                    = {Interrupts: Just a Minute Never Is},
  Author                   = {R. v. Solingen, R. Berghout, and F. v. Latum},
  Journal                  = {IEEE Software},
  Year                     = {1998}
}

@Book{Wir90,
  Title                    = {Designing Object-Oriented Software},
  Author                   = {R. Wirfs-Brock, B. Wilkerson, and L. Wiener},
  Publisher                = {Prentice-Hall},
  Year                     = {1990}
}

@InBook{Tha97a,
  Title                    = {Software Engineering Project Management},
  Author                   = {R.H. Thayer, ed.},
  Chapter                  = {1-10},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1997}
}

@Article{Cha97,
  Title                    = {Managing Risk in Software Maintenance,},
  Author                   = {R.N. Charette, K.M. Adams, and M.B. White},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Pages                    = {43-50}
}

@InBook{Rad02,
  Title                    = {High Quality Low Cost Software Inspections},
  Author                   = {R. Radice},
  Pages                    = {479},
  Publisher                = {Paradoxicon},
  Year                     = {2002}
}

@Article{Rad85,
  Title                    = {A Programming Process Architecture},
  Author                   = {R. A. Radice and N. K. Roth and A. C. {O'Hara,Jr.} and W. A. Ciarfella},
  Journal                  = {IBM Systems Journal},
  Year                     = {1985},
  Number                   = {2},
  Pages                    = {79-90},
  Volume                   = {24}
}

@Article{Rag89,
  Title                    = {Diffusing Software- Engineering Methods},
  Author                   = {S. Raghavan and D. Chand},
  Journal                  = {IEEE Software},
  Year                     = {1989},
  Pages                    = {81-90}
}

@Book{Rak97,
  Title                    = {Software Verification and Validation: A Practitioner's Guide},
  Author                   = {S.R. Rakitin},
  Publisher                = {Artech House},
  Year                     = {1997}
}

@InProceedings{Ram95,
  Title                    = {Implementing Requirements Traceability: A Case Study},
  Author                   = {Ramesh, B. and Powers, T. and Stubbs, C. and Edwards, M.},
  Booktitle                = {Proceedings of the Second International Symposium on Requirements Engineering},
  Year                     = {1995}
}

@InProceedings{Reg95,
  Title                    = {Improving the Use Case Driven Approach to Requirements Engineering},
  Author                   = {Regnell, B. and Kimbler, K. and Wesslen, A},
  Booktitle                = {Proceedings of the Second IEEE International Symposium on Requirements Engineering},
  Year                     = {1995}
}

@Book{Rei96,
  Title                    = {Software Tools and Environments in The Computer Science and Engineering Handbook},
  Author                   = {S.P. Reiss},
  Publisher                = {CRC Press},
  Year                     = {1996}
}

@InProceedings{Reu94,
  Title                    = {The Role of Software Architecture in Software Requirements Engineering},
  Author                   = {H. Reubenstein},
  Booktitle                = {Proceedings of the IEEE International Conference on Requirements Engineering},
  Year                     = {1994}
}

@Article{Ric92,
  Title                    = {Knowledge Intensive Software Engineering Tools},
  Author                   = {C. Rich and R.C. Waters},
  Journal                  = {IEEE Transactions on Knowledge and Data Engineering},
  Year                     = {1992},
  Number                   = {5},
  Pages                    = {424-430},
  Volume                   = {4}
}

@Book{Rie96,
  Title                    = {Object-Oriented Design Heuristics},
  Author                   = {A.J. Riel},
  Publisher                = {Addison-Wesley},
  Year                     = {1996}
}

@Book{Rob94,
  Title                    = {Complete Systems Analysis},
  Author                   = {J. Robertson and S. Robertson},
  Publisher                = {Prentice Hall},
  Year                     = {1994},
  Volume                   = {1 and 2}
}

@Book{Robertson1999,
  Title                    = {Mastering the Requirements Process},
  Author                   = {S. Robertson and J. Robertson},
  Publisher                = {Addison-Wesley},
  Year                     = {1999}
}

@Article{Rob99,
  Title                    = {The Role of Knowledge in Software Development},
  Author                   = {P.N. Robillard},
  Journal                  = {Communications of the ACM},
  Year                     = {1999},
  Number                   = {1},
  Pages                    = {87-92},
  Volume                   = {42}
}

@InProceedings{Rob94a,
  Title                    = {Supporting Multi- Perspective Requirements Engineering},
  Author                   = {W. Robinson and S. Fickas},
  Booktitle                = {Proceedings of the IEEE International Conference on Requirements Engineering},
  Year                     = {1994}
}

@Article{Rod97,
  Title                    = {System Dynamics in Software Project Management: Towards the Development of a Formal Integrated Framework},
  Author                   = {A.G. Rodrigues and T.M. Williams},
  Journal                  = {European Journal of Information Systems},
  Year                     = {1997},
  Pages                    = {51-66},
  Volume                   = {6}
}

@Book{Rog83,
  Title                    = {Diffusion of Innovations},
  Author                   = {E. Rogers},
  Publisher                = {Free Press},
  Year                     = {1983}
}

@Article{Rop97,
  Title                    = {Can Software Risk Management Improve System Development: An Exploratory Study},
  Author                   = {J. Ropponen and K. Lyytinen},
  Journal                  = {European Journal of Information Systems},
  Year                     = {1997},
  Pages                    = {41-50},
  Volume                   = {6}
}

@InProceedings{Ros98a,
  Title                    = {Applying and Interpreting Object- Oriented Metrics},
  Author                   = {L. Rosenberg},
  Booktitle                = {Proceedings of the Software Technology Conference},
  Year                     = {1998}
}

@Article{Rot96,
  Title                    = {Analyzing Regression Test Selection Techniques},
  Author                   = {G. Rothermel and M.J. Harrold},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {1996},
  Number                   = {8},
  Pages                    = {529},
  Volume                   = {22}
}

@Book{Roy98,
  Title                    = {Software Project Management, A United Framework},
  Author                   = {W. Royce},
  Publisher                = {Addison-Wesley},
  Year                     = {1998}
}

@Book{Rub94,
  Title                    = {Handbook of Usability Testing: How to Plan, Design, and Conduct Effective Tests},
  Author                   = {J. Rubin},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1994}
}

@Book{Rum91,
  Title                    = {Object-oriented Modeling and Design},
  Author                   = {Rumbaugh, James and Blaha, Michael and Premerlani, William and Eddy, Frederick and Lorensen, William},
  Publisher                = {Prentice-Hall, Inc.},
  Year                     = {1991},

  Address                  = {Upper Saddle River, NJ, USA},

  ISBN                     = {0-13-629841-9}
}

@Article{Wak99,
  Title                    = {Toward Credible IT Testing and Certification},
  Author                   = {S. Wakid, D.R. Kuhn, and D.R. Wallace},
  Journal                  = {IEEE Software},
  Year                     = {1999},
  Pages                    = {39-47}
}

@Article{Sla98,
  Title                    = {Evaluating the Cost of Software Quality,},
  Author                   = {S.A. Slaughter, D.E. Harter, and M.S. Krishnan},
  Journal                  = {Communications of the ACM},
  Year                     = {1998},
  Number                   = {8},
  Pages                    = {67-73},
  Volume                   = {41}
}

@Book{Con86,
  Title                    = {Software Engineering Metrics and Models},
  Author                   = {S.D. Conte, H.E. Dunsmore, and V.Y. Shen},
  Editor                   = {The Benjamin Cummings Publishing Company},
  Year                     = {1986}
}

@Article{San98,
  Title                    = {The SPIRE Handbook: Better, Faster, Cheaper Software Development in Small Organisations},
  Author                   = {M. Sanders},
  Journal                  = {European Commission},
  Year                     = {1998}
}

@Article{Sch94a,
  Title                    = {Fundamental Issues in Testing Distributed Real-time Systems},
  Author                   = {Sch\"{u}tz, Werner},
  Journal                  = {Real-Time Systems Journal},
  Year                     = {1994},

  Month                    = sep,
  Number                   = {2},
  Pages                    = {129--157},
  Volume                   = {7},

  Acmid                    = {196837},
  Address                  = {Norwell, MA, USA},
  Doi                      = {10.1007/BF01088802},
  ISSN                     = {0922-6443},
  Issue_date               = {Sept. 1994},
  Numpages                 = {29},
  Publisher                = {Kluwer Academic Publishers},
  Url                      = {http://dx.doi.org/10.1007/BF01088802}
}

@Book{Sch99,
  Title                    = {Classical and Object-Oriented Software Engineering with UML and C++},
  Author                   = {S.R. Schach},
  Publisher                = {McGraw-Hill},
  Year                     = {1999}
}

@Book{Sch99b,
  Title                    = {Process Consultation Revisited: Building the Helping Relationship},
  Author                   = {E. Schein},
  Publisher                = {Addison-Wesley},
  Year                     = {1999}
}

@Book{Sch97,
  Title                    = {Client/Server Software Maintenance},
  Author                   = {S.L. Schneberger},
  Publisher                = {McGraw-Hill},
  Year                     = {1997}
}

@InProceedings{Sch87,
  Title                    = {The State of Software Maintenance},
  Author                   = {N.F. Schneidewind},
  Booktitle                = {Proceedings of the IEEE},
  Year                     = {1987}
}

@InProceedings{Sch94,
  Title                    = {The Next Big Step in Systems Engineering Tools: Integrating Automated Requirements Tools with Computer Simulated Synthesis and Test},
  Author                   = {W. Schoening},
  Booktitle                = {Proceedings of the Fourth International Symposium on Systems Engineering},
  Year                     = {1994}
}

@Book{Schulmeyer1999,
  Title                    = {Handbook of Software Quality Assurance},
  Author                   = {G.C. Schulmeyer and J.I. McManus},
  Publisher                = {Prentice Hall},
  Year                     = {1999},
  Edition                  = {third}
}

@TechReport{Sco92,
  Title                    = {Software Development Risk: Opportunity, Not Problem"},
  Author                   = {R.L. v. Scoy},
  Institution              = {Software Engineering Institute, Carnegie Mellon University},
  Year                     = {1992}
}

@InBook{Set96,
  Title                    = {Programming Languages: Concepts \& Constructs},
  Author                   = {R. Sethi},
  Chapter                  = {II-V},
  Publisher                = {Addison-Wesley},
  Year                     = {1996},
  Edition                  = {second}
}

@Book{Sha96,
  Title                    = {Software Architecture: Perspectives on an Emerging Discipline},
  Author                   = {M. Shaw and D. Garlan},
  Publisher                = {Prentice-Hall},
  Year                     = {1996}
}

@InProceedings{She94,
  Title                    = {The Role of Software Architecture in Requirements Engineering},
  Author                   = {M. Shekaran},
  Booktitle                = {Proceedings of the IEEE International Conference on Requirements Engineering},
  Year                     = {1994}
}

@Article{Sid97,
  Title                    = {Towards Quality Requirements via Animated Formal Specifications},
  Author                   = {Siddiqi, Jawed I. and Morrey, Ian C. and Roast, Chris R. and Ozcan, Mehmet B.},
  Journal                  = {Annals of Software Engineering},
  Year                     = {1997},

  Month                    = jan,
  Pages                    = {131--155},
  Volume                   = {3},

  Acmid                    = {590571},
  Address                  = {Red Bank, NJ, USA},
  ISSN                     = {1022-7091},
  Issue_date               = {1997},
  Numpages                 = {25},
  Publisher                = {J. C. Baltzer AG, Science Publishers},
  Url                      = {http://dl.acm.org/citation.cfm?id=590564.590571}
}

@Article{Smi93,
  Title                    = {Conceptual Foundations of Design Problem-Solving},
  Author                   = {G. Smith and G. Browne},
  Journal                  = {IEEE Transactions on Systems, Man and Cybernetics},
  Year                     = {1993},
  Number                   = {5},
  Pages                    = {1209-1219},
  Volume                   = {23}
}

@TechReport{SEI02,
  Title                    = {Capability Maturity Model Integration for Software Engineering (CMMI)},
  Author                   = {Software Engineering Institute, Carnegie Mellon University},
  Institution              = {Software Engineering Institute, Carnegie Mellon University},
  Year                     = {2002},
  Number                   = {CMU/SEI-2002-TR-028, ESC-TR-2002-028}
}

@TechReport{IEEEP1471-00,
  Title                    = {Std 1471-2000, IEEE Recommended Practice for Architectural Descriptionos Software Intensive Systems},
  Author                   = {Architecture Working Group of the Software Engineering Standards Committee},
  Institution              = {IEEE},
  Year                     = {2000}
}

@InBook{Som05a,
  Title                    = {Software Engineering},
  Author                   = {I. Sommerville},
  Chapter                  = {3-6, 23-25},
  Publisher                = {Addison-Wesley},
  Year                     = {2005},
  Edition                  = {seventh}
}

@Book{Sommerville2005,
  Title                    = {Software Engineering},
  Author                   = {I. Sommerville},
  Publisher                = {Addison-Wesley},
  Year                     = {2005},
  Edition                  = {seventh}
}

@InProceedings{Som01a,
  Title                    = {Software Configuration Management},
  Author                   = {I. Sommerville},
  Booktitle                = {Proceedings of the ICSE SCM-6 Workshop},
  Year                     = {2001}
}

@Book{Som96,
  Title                    = {Software Engineering},
  Author                   = {I. Sommerville},
  Publisher                = {Addison-Wesley},
  Year                     = {1996},
  Edition                  = {fifth}
}

@InBook{Som97,
  Title                    = {Requirements Engineering: A Good Practice Guide},
  Author                   = {I. Sommerville and P. Sawyer},
  Chapter                  = {1-2},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1997}
}

@Book{Sommerville1997,
  Title                    = {Requirements Engineering: A Good Practice Guide},
  Author                   = {I. Sommerville and P. Sawyer},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1997}
}

@Article{Son92,
  Title                    = {Towards Objective, Systematic Design-Method Comparisons},
  Author                   = {X. Song and L.J. Osterweil},
  Journal                  = {IEEE Software},
  Year                     = {1992},
  Number                   = {3},
  Pages                    = {43-53},
  Volume                   = {9}
}

@Article{Span97,
  Title                    = {Reconciling Requirements: A Method for Managing Interference, Inconsistency, and Conflict},
  Author                   = {G. Spanoudakis and A. Finkelstein},
  Journal                  = {Annals of Software Engineering},
  Year                     = {1997},
  Volume                   = {3}
}

@TechReport{NIST03,
  Title                    = {Baldrige National Quality Program},
  Author                   = {National Institute of Standards and Technology},
  Institution              = {National Institute of Standards and Technology},
  Year                     = {2003},

  Url                      = {http://www.quality.nist.gov}
}

@InProceedings{Ste94,
  Title                    = {Structured Requirements},
  Author                   = {R. Stevens},
  Booktitle                = {Proceedings of the Fourth International Symposium on Systems Engineering},
  Year                     = {1994}
}

@Book{Sti99,
  Title                    = {Software Process Assessment and Improvement: 5 Years of Experiences with Bootstrap, Elements of Software Process Assessment and Improvement},
  Author                   = {H. Stienen},
  Editor                   = {K. El-Emam and N. Madhavji},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1999}
}

@InProceedings{Sur03,
  Title                    = {ISO/IEC SQuaRE. The Second Generation of Standards for Software Product Quality},
  Author                   = {W. Suryn and A. Abran and A. April},
  Booktitle                = {Proceedings of the IASTED 2003},
  Year                     = {2003}
}

@InProceedings{Ost98,
  Title                    = {A Visual Test Development Environment for GUI Systems},
  Author                   = {T. Ostrand, A. Anodide, H. Foster, and T. Goradia},
  Booktitle                = {Proceedings of the ACM Proc. Int'l Symp. on Software Testing and Analysis (ISSTA '98, Clearwater Beach, Florida},
  Year                     = {1998}
}

@Book{Tak97,
  Title                    = {Software Maintenance Concepts and Practice},
  Author                   = {A. Takang and P. Grubb},
  Publisher                = {International Thomson Computer Press},
  Year                     = {1997}
}

@InBook{Tha97,
  Title                    = {Software Requirements Engineering},
  Author                   = {R.H. Thayer and M. Dorfman, eds.},
  Pages                    = {176-205, 389-404},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1997}
}

@Book{Tuc96,
  Title                    = {The Computer Science and Engineering Handbook},
  Author                   = {A.B. Tucker},
  Publisher                = {CRC Press},
  Year                     = {1996}
}

@Article{Val97,
  Title                    = {Choosing a User Interface Development Tool},
  Author                   = {L.A. Valaer and R.C.B. II},
  Journal                  = {IEEE Software},
  Year                     = {1997},
  Number                   = {7},
  Pages                    = {29-39},
  Volume                   = {14}
}

@InProceedings{Lam95,
  Title                    = {Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt},
  Author                   = {Van Lamsweerde, A. and Darimont, R. and Massonet, P.},
  Booktitle                = {Proceedings of the Second IEEE International Symposium on Requirements Engineering, 1995},
  Year                     = {1995},
  Month                    = {Mar},
  Pages                    = {194--203},

  Doi                      = {10.1109/ISRE.1995.512561},
  Keywords                 = {formal specification;groupware;scheduling;specification languages;KAOS goal directed language;abstract descriptions;case study;complex requirements engineering tasks;deidelization;distributed meeting scheduler system;formal reasoning;goal identification;goal-directed elaboration;hybrid acquisition strategies;interfering goals;meeting scheduler;nontrivial benchmark;requirements engineering languages;requirements traceability;retractable assumptions;Costs;Design methodology;Equations;Humans;Interconnected systems;Privacy}
}

@TechReport{VIM93,
  Title                    = {International Vocabulary of Basic and General Terms in Metrology},
  Author                   = {ISO VIM},
  Institution              = {ISO},
  Year                     = {1993}
}

@Book{Vin90,
  Title                    = {What Engineers Know and How They Know It - Analytical Studies form Aeronautical History},
  Author                   = {W.G. Vincenti},
  Publisher                = {John Hopkins University Press},
  Year                     = {1990}
}

@Article{Voa99,
  Title                    = {Certifying Software For High Assurance Environments},
  Author                   = {J. Voas},
  Journal                  = {IEEE Software},
  Year                     = {1999},
  Number                   = {4},
  Pages                    = {48-54},
  Volume                   = {16}
}

@Article{Voa95,
  Title                    = {Software Testability: The New Verification},
  Author                   = {J.M. Voas and K.W. Miller},
  Journal                  = {IEEE Software},
  Year                     = {1995},
  Pages                    = {17-28}
}

@Article{Vot93,
  Title                    = {Does Every Inspection Need a Meeting?},
  Author                   = {L. Votta},
  Journal                  = {ACM Software Engineering Notes},
  Year                     = {1993},
  Number                   = {5},
  Pages                    = {107-114},
  Volume                   = {18}
}

@Article{Wal89,
  Title                    = {Software Verification and Validation: An Overview},
  Author                   = {D.R. Wallace and R.U. Fujii},
  Journal                  = {IEEE Software},
  Year                     = {1989},
  Number                   = {3},
  Pages                    = {10-17},
  Volume                   = {6}
}

@Article{Was96,
  Title                    = {Toward a Discipline of Software Engineering},
  Author                   = {A.I. Wasserman},
  Journal                  = {IEEE Software},
  Year                     = {1996},
  Number                   = {6},
  Pages                    = {23-31},
  Volume                   = {13}
}

@Book{Wei03,
  Title                    = {Software Requirements},
  Author                   = {K. Weigers},
  Publisher                = {Microsoft Press},
  Year                     = {2003},
  Edition                  = {second}
}

@Article{Wei93,
  Title                    = {Quality Software Management},
  Author                   = {G.M. Weinberg},
  Journal                  = {First-Order Measurement},
  Year                     = {1993},
  Volume                   = {3}
}

@Article{Wey83,
  Title                    = {Assessing Test Data Adequacy through Program Inference},
  Author                   = {E.J. Weyuker},
  Journal                  = {ACM Trans. on Programming Languages and Systems},
  Year                     = {1983},
  Number                   = {4},
  Pages                    = {641-655},
  Volume                   = {5}
}

@Article{Wey82,
  Title                    = {On Testing Non-testable Programs},
  Author                   = {E.J. Weyuker},
  Journal                  = {The Computer Journal},
  Year                     = {1982},
  Number                   = {4},
  Pages                    = {465-470},
  Volume                   = {25}
}

@InProceedings{Whi95,
  Title                    = {A Requirements Taxonomy for Specifying Complex Systems},
  Author                   = {S. White and M. Edwards},
  Booktitle                = {Proceedings of the First IEEE International Conference on Engineering of Complex Computer Systems},
  Year                     = {1995}
}

@Book{Whi91,
  Title                    = {Methods and Tools for Software Configuration Management},
  Author                   = {D. Whitgift},
  Publisher                = {John Wiley \& Sons},
  Year                     = {1991}
}

@Book{Whi95a,
  Title                    = {Managing Software Development Projects: Formulas for Success},
  Author                   = {N. Whitten},
  Publisher                = {Wiley},
  Year                     = {1995}
}

@Book{Wie96,
  Title                    = {Creating a Software Engineering Culture},
  Author                   = {K. Wiegers},
  Publisher                = {Dorset House},
  Year                     = {1996}
}

@Article{Wie98,
  Title                    = {A Survey of Structured and Object- Oriented Software Specification Methods and Techniques},
  Author                   = {R. Wieringa},
  Journal                  = {ACM Computing Surveys},
  Year                     = {1998},
  Number                   = {4},
  Pages                    = {459-527},
  Volume                   = {30}
}

@Book{Wil99,
  Title                    = {Essential System Requirements: A Practical Guide to Event-Driven Methods},
  Author                   = {B. Wiley},
  Publisher                = {Addison-Wesley},
  Year                     = {1999}
}

@Article{Wyd96,
  Title                    = {Capturing Requirements With Use Cases},
  Author                   = {T. Wyder},
  Journal                  = {Software Development},
  Year                     = {1996},
  Number                   = {2},
  Pages                    = {36-40},
  Volume                   = {4}
}

@Article{Yen97,
  Title                    = {A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements},
  Author                   = {J. Yen and W. Tiao},
  Journal                  = {Requirements Engineering},
  Year                     = {1997}
}

@Book{You01,
  Title                    = {Effective Requirements Practices},
  Author                   = {R.R. You},
  Publisher                = {Addison-Wesley},
  Year                     = {2001}
}

@InProceedings{Yu97,
  Title                    = {Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering},
  Author                   = {E. Yu},
  Booktitle                = {Proceedings of the IEEE International Symposium on Requirements Engineering},
  Year                     = {1997}
}

@Article{Yu94,
  Title                    = {Understanding �Why' in Software Process Modeling, Analysis, and Design},
  Author                   = {E. Yu and J. Mylopolous},
  Journal                  = {Proceeings of the 16th International Conference on Software Engineering},
  Year                     = {1994}
}

@Book{Zah98,
  Title                    = {Software Process Improvement: Practical Guidelines for Business Success},
  Author                   = {S. Zahran},
  Publisher                = {Addison-Wesley},
  Year                     = {1998}
}

@Article{Zav96,
  Title                    = {Where Do Operations Come From? A Multiparadigm Specification Technique},
  Author                   = {P. Zave and M. Jackson},
  Journal                  = {IEEE Transactions on Software Engineering,},
  Year                     = {1996},
  Number                   = {7},
  Pages                    = {508-528},
  Volume                   = {22}
}

@Article{Zel98,
  Title                    = {Experimental Models for Validating Technology},
  Author                   = {M.V. Zelkowitz and D.R. Wallace},
  Journal                  = {Computer},
  Year                     = {1998},
  Number                   = {5},
  Pages                    = {23-31},
  Volume                   = {31}
}

@Book{Emam1997,
  Title                    = {Spice: The Theory and Practice of Software Process Improvement and Capability Determination},
  Editor                   = {Emam, Khaled El and Melo, Walcelio and Drouin, Jean-Normand},
  Publisher                = {IEEE Computer Society Press},
  Year                     = {1997},

  Address                  = {Los Alamitos, CA, USA},
  Edition                  = {1st},

  ISBN                     = {0818677988}
}