Coverart for item
The Resource B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings, edited by Jacques Julliand, Olga Kouchnarenko, (electronic resource)

B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings, edited by Jacques Julliand, Olga Kouchnarenko, (electronic resource)

Label
B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
Title
B 2007: Formal Specification and Development in B
Title remainder
7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
Statement of responsibility
edited by Jacques Julliand, Olga Kouchnarenko
Creator
Contributor
Editor
Provider
Subject
Language
eng
Summary
This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France in January 2007. The 30 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The topics of interest to the conference included: industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, expressing and validating requirements through formal models, in particular verifying security policies, theoretical issues in formal development, model-based software testing, tools supporting the B method, development by composition of specifications, validation of assembly of COTS by model-based specification methods, B extensions and/or standardization
Member of
http://library.link/vocab/creatorName
Julliand, Jacques
Image bit depth
0
LC call number
QA76.758
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Kouchnarenko, Olga.
  • SpringerLink
Series statement
Lecture Notes in Computer Science,
Series volume
4355
http://library.link/vocab/subjectName
  • Computer science
  • Software engineering
  • Logic design
  • Computer Science
  • Software Engineering
  • Logics and Meanings of Programs
  • Mathematical Logic and Formal Languages
Label
B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings, edited by Jacques Julliand, Olga Kouchnarenko, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Invited Talks -- E-Voting and the Need for Rigourous Software Engineering – The Past, Present and Future -- Using B Machines for Model-Based Testing of Smartcard Software -- The Design of Spacecraft On-Board Software -- Regular Papers -- Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions -- Chorus Angelorum -- Augmenting B with Control Annotations -- Justifications for the Event-B Modelling Notation -- Automatic Translation from Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding -- Instantiation of Parameterized Data Structures for Model-Based Testing -- Verification of LTL on B Event Systems -- Patterns for B: Bridging Formal and Informal Development -- Time Constraint Patterns for Event B Development -- Modelling and Proof Analysis of Interrupt Driven Scheduling -- Refinement of Statemachines Using Event B Semantics -- Formal Transformation of Platform Independent Models into Platform Specific Models -- Refinement of eb 3 Process Patterns into B Specifications -- Security Policy Enforcement Through Refinement Process -- Integration of Security Policy into System Modeling -- Industrial Papers -- Experiences in Using B and UML in Industrial Development -- B in Large-Scale Projects: The Canarsie Line CBTC Experience -- A Tool for Firewall Administration -- The B-Method for the Construction of Microkernel-Based Systems -- Hardware Verification and Beyond: Using B at AWE -- Tool Papers -- A JAG Extension for Verifying LTL Properties on B Event Systems -- A Generic Flash-Based Animation Engine for ProB -- BE4: The B Extensible Eclipse Editing Environment -- BRAMA: A New Graphic Animation Tool for B Models -- LEIRIOS Test Generator: Automated Test Generation from B Models -- Meca: A Tool for Access Control Models -- JML2B: Checking JML Specifications with B Machines -- Invited Talk -- Plug-and-Play Nondeterminacy
Dimensions
unknown
Extent
XIII, 293 p. Also available online.
File format
multiple file formats
Form of item
electronic
Isbn
9783540687610
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/11955757
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-540-68761-0
Label
B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings, edited by Jacques Julliand, Olga Kouchnarenko, (electronic resource)
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Invited Talks -- E-Voting and the Need for Rigourous Software Engineering – The Past, Present and Future -- Using B Machines for Model-Based Testing of Smartcard Software -- The Design of Spacecraft On-Board Software -- Regular Papers -- Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions -- Chorus Angelorum -- Augmenting B with Control Annotations -- Justifications for the Event-B Modelling Notation -- Automatic Translation from Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding -- Instantiation of Parameterized Data Structures for Model-Based Testing -- Verification of LTL on B Event Systems -- Patterns for B: Bridging Formal and Informal Development -- Time Constraint Patterns for Event B Development -- Modelling and Proof Analysis of Interrupt Driven Scheduling -- Refinement of Statemachines Using Event B Semantics -- Formal Transformation of Platform Independent Models into Platform Specific Models -- Refinement of eb 3 Process Patterns into B Specifications -- Security Policy Enforcement Through Refinement Process -- Integration of Security Policy into System Modeling -- Industrial Papers -- Experiences in Using B and UML in Industrial Development -- B in Large-Scale Projects: The Canarsie Line CBTC Experience -- A Tool for Firewall Administration -- The B-Method for the Construction of Microkernel-Based Systems -- Hardware Verification and Beyond: Using B at AWE -- Tool Papers -- A JAG Extension for Verifying LTL Properties on B Event Systems -- A Generic Flash-Based Animation Engine for ProB -- BE4: The B Extensible Eclipse Editing Environment -- BRAMA: A New Graphic Animation Tool for B Models -- LEIRIOS Test Generator: Automated Test Generation from B Models -- Meca: A Tool for Access Control Models -- JML2B: Checking JML Specifications with B Machines -- Invited Talk -- Plug-and-Play Nondeterminacy
Dimensions
unknown
Extent
XIII, 293 p. Also available online.
File format
multiple file formats
Form of item
electronic
Isbn
9783540687610
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/11955757
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-540-68761-0

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...