Mike Holcombe – författare

A Practical Approach To Building Small To Medium Software Systems For Real Business Clients Based on more than 100 actual commercial projects, this book clearly explains how to run an agile software development project that delivers high-quality, high-value solutions to business clients. It concentrates on the practical, social, business, and management aspects as well as the technical issues involved.Professor Holcombe successfully connects readers with the wave of "Agile 2.0" concepts that take the techniques of agile development and place them in the service of business goals. Since it is widely believed that the use of Windows XP will become much more common in coming years, readers should be armed with cutting-edge knowledge of the latest practices in the field. Further features of the book include: Case studies provide real-world examples and describe how XP was introduced into the environment Analysis is provided to help readers determine which elements of XP are suitable for the unique challenges and environments for different projects Problems of a failing agile project and how they can be fixed are covered, including insight into which managerial techniques can be employed An Instructor's Guide provides practical advice on how to motivate students, organize real group projects, and deal, in a simple and effective way, with many of the problems that arise A sample syllabus, sample tests, and additional case study information are available on an instructor's password-protected ftp site Running an Agile Software Development Project is an indispensable guide for professional software developers, engineers, and project managers interested in learning how to use agile processes. It is also a valuable textbook for advanced undergraduate- and graduate-level students in computer engineering and software engineering courses.

A Practical Approach To Building Small To Medium Software Systems For Real Business Clients

Based on more than 100 actual commercial projects, this book clearly explains how to run an agile software development project that delivers high-quality, high-value solutions to business clients. It concentrates on the practical, social, business, and management aspects as well as the technical issues involved.

Professor Holcombe successfully connects readers with the wave of "Agile 2.0" concepts that take the techniques of agile development and place them in the service of business goals. Since it is widely believed that the use of Windows XP will become much more common in coming years, readers should be armed with cutting-edge knowledge of the latest practices in the field. Further features of the book include:

Case studies provide real-world examples and describe how XP was introduced into the environment

Analysis is provided to help readers determine which elements of XP are suitable for the unique challenges and environments for different projects

Problems of a failing agile project and how they can be fixed are covered, including insight into which managerial techniques can be employed

An Instructor''s Guide provides practical advice on how to motivate students, organize real group projects, and deal, in a simple and effective way, with many of the problems that arise

A sample syllabus, sample tests, and additional case study information are available on an instructor''s password-protected ftp site

Running an Agile Software Development Project is an indispensable guide for professional software developers, engineers, and project managers interested in learning how to use agile processes. It is also a valuable textbook for advanced undergraduate- and graduate-level students in computer engineering and software engineering courses.

Correct Systems looks at the whole process of building a business process model, capturing that in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process and design for test issues are fundamental to the approach. A model (language) and a methodology are presented that is very powerful, very easy to use and applicable for the "new world" of component based systems and the integration of systems from dependable components. This book discusses a new area which will be of interest to both software and hardware designers. It presents specification, design, implementation and testing in a user-oriented fashion using simple formal and diagramming techniques with a high level of user-friendliness. The first part provides a simple introduction to the method together with a complete, real case study. The second part describes, in detail, the mathematical theory behind the methods and the claims made.

Proceedings of an International Workshop held in Sheffield, UK, September 1-4, 1997

Proceedings of an International Workshop held in Sheffield, UK, September 1-4, 1997

Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found their way into the mainstream, and at the end of last year we saw the second edition of Kent Beck’s book on Extreme Programming, containing a major refactoring of XP. This year, the 6th International Conference on Extreme Programming and Agile Processes in Software Engineering took place June 18–23 in She?eld. As in the yearsbefore, XP 2005provideda unique forum for industry and academic professionals to discuss their needs and ideas on Extreme Programming and - ile methodologies. These proceedings re?ect the activities during the conference which ranged from presentation of research papers, invited talks, posters and demonstrations, panels and activity sessions, to tutorials and workshops. - cluded are also papers from the Ph.D. and Master’s Symposium which provided a forum for young researchers to present their results and to get feedback. Asvariedastheactivities werethe topicsofthe conferencewhichcoveredthe presentationofnewandimprovedpractices,empiricalstudies,experiencereports and case studies, and last but not least the social aspects of agile methods. The papers and the activities went through a rigorous reviewing process. Each paper was reviewed by at least three Program Committee members and wasdiscussedcarefullyamongtheProgramCommittee.Of62paperssubmitted, only 22 were accepted as full papers.

Extreme Programming has come a long way since its ?rst use in the C3 project almost 10 years ago. Agile methods have found their way into the mainstream, and at the end of last year we saw the second edition of Kent Beck’s book on Extreme Programming, containing a major refactoring of XP. This year, the 6th International Conference on Extreme Programming and Agile Processes in Software Engineering took place June 18–23 in She?eld. As in the yearsbefore, XP 2005provideda unique forum for industry and academic professionals to discuss their needs and ideas on Extreme Programming and - ile methodologies. These proceedings re?ect the activities during the conference which ranged from presentation of research papers, invited talks, posters and demonstrations, panels and activity sessions, to tutorials and workshops. - cluded are also papers from the Ph.D. and Master’s Symposium which provided a forum for young researchers to present their results and to get feedback. Asvariedastheactivities werethe topicsofthe conferencewhichcoveredthe presentationofnewandimprovedpractices,empiricalstudies,experiencereports and case studies, and last but not least the social aspects of agile methods. The papers and the activities went through a rigorous reviewing process. Each paper was reviewed by at least three Program Committee members and wasdiscussedcarefullyamongtheProgramCommittee.Of62paperssubmitted, only 22 were accepted as full papers.

This text looks at the whole process of building a business process model, capturing it in a formal requirements statement and developing a precise specification. The issue of testing is considered throughout the process, and design for test issues are fundamental to the approach. A model (language) and a methodology are presented that are powerful, easy to use and applicable for the "new world" of component-based systems and the integration of systems from dependable components. The book also presents specification, design, implementation and testing in a user-oriented fashion, using simple, formal and diagramming techniques. The first part provides a simple introduction to the method, together with a complete case study. The second part describes the mathematical theory behind the methods and claims made.

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012.

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.