Ray Paton

Mike Holcombe

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.

10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Software Engineering and Formal Methods

Mike Holcombe

About

Books

Join the club