Coverart for item
The Resource Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures, Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)

Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures, Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)

Label
Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures
Title
Formal methods for components and objects
Title remainder
7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures
Statement of responsibility
Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)
Title variation
FMCO 2008
Creator
Contributor
Subject
Genre
Language
eng
Summary
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. This state-of-the-art survey presents the outcome of the 7th Symposium on Formal Methods for Components and Objects, held in Sophia Antipolis, France, in October 2008. The volume contains 14 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP6 project GridComp on grid programming with components; and the IST-FP6 project MOBIUS aiming at developing the technology for establishing trust and security for the next generation of global computers, using the proof carrying code paradigm
Member of
Cataloging source
GW5XE
Dewey number
004.01/51
Illustrations
illustrations
Index
index present
LC call number
QA76.9.F67
LC item number
F536 2008
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
FMCO (Symposium)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Boer, Frank S. de
  • Bonsangue, Marcello M
  • Madelaine, Eric
Series statement
  • Lecture Notes in Computer Science,
  • State-of-the-art survey
  • LNCS sublibrary: SL 2-programming and software engineering
Series volume
5751
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Component software
  • Object-oriented programming (Computer science)
  • Informatique
  • Component software
  • Formal methods (Computer science)
  • Object-oriented programming (Computer science)
  • Formale Methode
  • Komponente
  • Objektorientierung
  • Softwareentwicklung
Label
Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures, Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
The COMPAS project -- The CREDO project -- The DEPLOY project -- The GRIDCOMP project -- The MOBIUS project
Control code
458562937
Dimensions
unknown
Extent
1 online resource (x, 297 pages)
Form of item
online
Isbn
9783642041679
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-04167-9
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)458562937
Label
Formal methods for components and objects : 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures, Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
The COMPAS project -- The CREDO project -- The DEPLOY project -- The GRIDCOMP project -- The MOBIUS project
Control code
458562937
Dimensions
unknown
Extent
1 online resource (x, 297 pages)
Form of item
online
Isbn
9783642041679
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-04167-9
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)458562937

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...