Mike Holcombe

Florentin Ipate

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.

Building a Business Process Solution

Correct Systems

Ray Paton

Roy Cuthbertson

Computation in Cellular and Molecular Biological Systems is a selection of papers presented at the First International Workshop on Information Processing in Cells and Tissues (IPCAT 95). The book contains contributions from mathematicians, biochemists, cell biologists, physiologists and computer scientists. It is multidisciplinary in nature and deals with integrative aspects of information processing, cellular systems and dynamical methods. Contents:IntroductionInformation Processing and Signalling ProcessesInformation Processing and Cellular SystemsDynamical Models of Cellular Systems and Information Processing Readership: Mathematicians, biochemists, cell biologists, physiologists and computational scientists. keywords:Information Processing;Cells;Tissues;Computation;Cellular;Molecular Biological Systems;Physiology

Computation in Cellular and Molecular Biological Systems

Hubert Baumeister

Michele Marchesi

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.

6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

Extreme Programming and Agile Processes in Software Engineering

George Eleftherakis

Mike Hinchey

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.

Mike Holcombe

Books

Your next favorite book is out there