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: IFM'99
    sub title: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
  name:
    name part: Araki, Keijiro.
    role:
      role term: creator
  name:
    name part: Galloway, Andy.
  name:
    name part: Taguchi, Kenji.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: enk
    date issued: 1999
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (XIV, 477 pages)
  abstract: Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach.
  table of contents: A Common Framework for Mixed Hardware/Software Systems -- Jifeng He -- Proof Systems for Message-Passing Process Calculi -- Matthew Hennessy -- Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development -- J.N. Reed, J.E. Sinclair and F. Guigand -- Reactive System Refinement of Distributed Systems in B -- K. Lano and K. Androutsopoulos -- Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication -- Richard Paige -- RT-Z: An Integration of Z and timed CSP -- Carsten Suhl -- Retrenchment and Punctured Simulation -- R. Banach and M. Poppleton -- Model-Checking CSP-OZ Specifications with FDR -- Clemens Fischer and Heike Wehreim -- A Compositional Comparison of specifications of the Alternating Bit Protocol in CCS and UNITY based on Algebra Transformation Systems -- Martin Crosse-Rhode -- Modelling Discrete Behaviour in a Continuous-Time Formalism -- Colin J. Fidge -- An Approach to the Combination of Formal Description Techniques: Statecharts and TLA -- Thomas Deiss -- Requirements for a Temporal B -- Assigning Temporal Meaning to Abstract Machines and to Abstract Systems -- Dominque Méry -- Modular Formal Specification of Data and Behaviour -- Jaco van de Pol, Jozef Hooman and Edwin de Jong -- An Object Semantic Model of an Integrated Formal Notation SOFL -- Jin Song Dong and Shaoying Liu -- Modular Verification of Dynamic Properties for reactive systems -- Jacques Julliand, P.A. Masson and H. Mountassir -- On the Refinement and Simulation of Data Types and Processes -- Christie Bolton, Jim Davies and Jim Woodcock -- The Refinement of Event Calculus Models -- Bill Stoddart and Steve Dunne -- Towards Real-Time Object-Z -- Graeme Smith and Ian Hayes -- Integration Problems in Telephone Feature Requirements -- Paul Gibson, Geoff Hamilton and Dominiqe Méry -- A Modular Framework for the Integration of Heterogeneous Notations and Tools -- Robert Büssow and Wolfgang Grieskamp -- Separating Component and Context…
  note: edited by Keijiro Araki, Andy Galloway, Kenji Taguchi.
  note: Electronic resource.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  classification: QA76.758
  classification: 005.1
  identifier: 9781447108511 (electronic bk.)
  identifier: 1447108515 (electronic bk.)
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: I9W
    record creation date: 121227
    record change date: 20260422220741.0
    record identifier: in00003545318
    language of cataloging:
      language term: eng