Date : 2007
Type : Livre / Book
Langue / Language : anglais / English
ISBN : 978-3-540-73210-5
Méthodes formelles (informatique)
Classification Dewey : 005.1015113
Classification Dewey : 004.0151
Classification Dewey : 004
Résumé / Abstract : The design and analysis of computing systems presents a signi?cant challenge: systemsneedtobeunderstoodatmanydi?erentlevelsofabstraction,andex- ined from many di?erent perspectives. Formal methods—languages, tools, and techniqueswithasound,mathematicalbasis—canbeusedtodevelopathorough understanding and to support rigorous examination. Further research into e?ective integration is required if these methods are to have a signi?cant impact outside academia. The Integrated Formal Methods (IFM) series of conferences seeks to promote this research, to bring together the researcherscarryingit out, andto disseminate the resultsof this researchamong the wider academic and industrial community. Earlier meetings in the series were held at: York (1999); Dagstuhl (2000); Turku(2002);Kent(2004);Eindhoven(2005).IFM 2007wasthe largestto date, with32technicalpapers(from85submissions),3invitedtalks,3workshops,and atutorial.Thesuccessoftheseriesre?ectstheenthusiasmande?ortsoftheIFM community, and the organizers would liketothankthespeakers,thecommittee, and the reviewers for their contributions. April 2007 Jim Davies Jeremy Gibbons Organization Chair Jim Davies Co-chairs Jin Song Dong, Jeremy Gibbons, Judi Romijn, Wolfram Schulte Workshops and Tutorials Richard Paige Local Arrangements Jackie Jordan, James Welch Special Sessions Yifeng Chen, Eerke Boiten, Phil Brooke, John Derrick, Graeme Smith Programme Committee Didier Bert, Eerke Boiten, Jonathan Bowen, Phil Brooke, Michael Butler, Yifeng Chen, Paul Curzon, Jim Davies, John Derrick, Jin Song Dong, Steve Dunne, Andy Galloway, Chris George, Jeremy Gibbons, Wolfgang Grieskamp, Henri Habrias, Maritta Heisel, Soon-Kyeong Kim, Michel Lemoine, Shaoying Liu, Dominique Mery, Stephan Merz, Colin O’Halloran, Richard Paige, Luigia Petre, Jaco van de Pol, Judi Romijn, Thomas Santen, Steve Schneider, Wolfram Schulte, Kaisa Sere, Jane Sinclair, Graeme Smith, Bill Stoddart, Kenji Taguchi, Helen Treharne, Heike Wehrheim, Kirsten Winter, Jim Woodcock Additional Reviewers Pascal Andre, Christian Attiogb´ e, Pavel Avgustinov, Luis Barbosa