rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: FM'99 - Formal Methods
    sub title: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
  name:
    name part: Wing, Jeannette M.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Woodcook, Jim.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Davies, Jim.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 1999
    edition: 1st ed. 1999.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVIII, 942 p. online resource.
  abstract: Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM'99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM'99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress's international nature, with a membership of 84 leading researchersfrom 38 di erent countries.The comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries.
  table of contents: Foundations of System Specification (IFIP WG 1.3) -- From informal requirements to COOP: a concurrent automata approach -- A framework for defining Object-Calculi extended abstract -- European Theory and Practice of Software (ETAPS) -- A translation of statecharts to esterel -- An operational semantics for timed RAISE -- Data abstraction for CSP-OZ -- Systems development using Z generics -- A brief summary of VSPEC -- Enhancing the pre- and postcondition technique for more expressive specifications -- Program Verification -- On excusable and inexcusable failures towards an adequate notion of translation correctness -- Interfacing program construction and verification -- Software verification based on linear programming -- Integration of Notation and Techniques -- Sensors and actuators in TCOZ -- The UniForM workbench a universal development environment for formal methods -- Integrating formal description techniques -- Formal Description of Programming Concepts (IFIP WG 2.2) -- A more complete TLA -- Formal justification of the rely-guarantee paradigm for shared-variable concurrency: a semantic approach -- Relating Z and first-order logic -- Open Information Systems -- Formal modeling of the enterprise javabeans™ component integration framework -- Developing components in the presence of re-entrance -- Communication and synchronisation using interaction objects -- Modelling microsoft COM using ?-calculus -- Co-design -- Validation of mixed signal-alpha real-time systems through affine calculus on clock synchronisation constraints -- Combining theorem proving and continuous models in synchronous design -- Parts a partitioning transformation system -- A behavioral model for co-design -- Refinement -- A weakest precondition semantics for an object-oriented language of refinement -- Reasoning about interactive systems -- Non-atomic refinement in Z -- Refinement semantics and loop rules -- Safety -- Lessons from the application of formal methods to the design of a storm s…
  note: edited by Jeannette M. Wing, Jim Woodcook, Jim Davies.
  subject:
    topic: Computers
  subject:
    topic: Software engineering
  subject:
    topic: Computer logic
  subject:
    topic: Programming languages (Electronic computers)
  subject:
    topic: Special purpose computers
  subject:
    topic: Theory of Computation
  subject:
    topic: Software Engineering/Programming and Operating Systems
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Languages, Compilers, Interpreters
  subject:
    topic: Special Purpose and Application-Based Systems
  classification: QA75.5-76.95
  classification: QA76.63
  classification: 004.0151
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 1709
  identifier: 9783540481188
  identifier: https://doi.org/10.1007/3-540-48118-4
  record info:
    record creation date: 121227
    record change date: 20191023131810.0
    record identifier: 978-3-540-48118-8