.o Stepanek05 G. Stepanek Software project secrets: Why Software Projects Fail APress, Berkeley, CA, 2005. $CR =ADVERT AGILE EVOLUTION MANAGEMENT COSTS XP RUP PMBOK Continuous development, SWAT, Feature trade off, Triage, Subteam encapsulation, scoping study .c .o ???? Who?? Software Project Management -- A Mapping between RUP and the PMBOK The Rational Edge, Online .See http://www-128.ibm.com/developerworks/rational/library/4721.html =HOWTO MANAGEMENT RUP PMBOK .Set Quote This paper compares the Rational Unified Process (RUP) with the PMI's Project Management Body of Knowledge (PMBOK) and provides a mapping between best practices in the RUP project management discipline and best practices in the PMBOK. .Close.Set .c .o BowenHinchey06 Jonathan P Bowen & Michael G Hinchey Ten Commandments of Formal Methods ... Ten years later IEEE Computer Magazine V39n1(Jaa 2006)pp40-48 =HISTORY CF .See [BowenHinchey95a] .Table Then Now .Row I. Thou shalt Choose an Appropriate Notation. .Item More now. Hybrids. .Row II. Thou shalt Formalize but not Overformalize. .Item 3 levels: specs, Proofs, machine checked. .Row III. Thou shalt Estimate Costs. .Row IV. They shalt have a Formal Methods Guru On Call. .Item Plus a domain expert early on. .Row V. Thou shalt not Abandon Traditional methods. .Row VI. Thou shalt Document Sufficiently. .Item Iterative. Including why & when decided. .Row VII. Thou shalt not Compromise thy QUALITY Standards. .Item Notation & method. .Row VIII. Thou shalt not be Dogmatic. .Item Gap between analysis & specification. .Row IX Thou shalt Test, Test, and Test again. .Row X. Thou Shalt Reuse. .Close.Table .c .o Larman04 Craig Larman Agile and iterative development: a manager's guide Addison-Wesley 2004 ISBN 0-13-111155-8 QA76.76 =SURVEY AGILE RUP XP Scrum Evo Gilb MANAGEMENT PROCESS .c .o Doernhoefer06 Mark Doernhoefer Surfing the Net for Software Engineering Notes: Software Process Improvement ACM SIGSOFT Software Engineering Notes V31n1(Jan 2006)pp5-13 .See http://www.acm.org/sigsoft/SEN/ .See http://doi.acm.org/10.1145/1108768.1108783 =SURVEY PROCESS IMPROVEMENT CMM-I SEI SPICE PSP SWPI SEPO USNAVY SWEBOK .c .o Oquendo06 Flavio Oquendo Formally Modelling Software Architectures with the UML 2.0 Profile for p-ADL ACM SIGSOFT Software Engineering Notes V31n1(Jan 2006)pp25-26(abstract) .See http://www.acm.org/sigsoft/SEN/ .See http://doi.acm.org/10.1145/1108768.1108773 (full text) =PROPOSAL PROFILE UML2.0 FORMAL ARCHITECTURE pi-ADL .c .o Gilb05 Tom Gilb Competitive Engineering Elsevier 2005 ISBN 0-7506-6507-6 =UNREAD HANDBOOK EXPERIENCES REQUIREMENTS SPECIFICATION Reviewed (wonderful contribution) in ACM SIGSOFT Software Engineering Notes V31n1(Jan 2006)p28 by Larry Bernstein .c