1. IWFM 1997: Dublin, Ireland

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > IWFM

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iwfm/1997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/1997
Henry McGloughlin, Gerard O'Regan:
1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Ireland, 3-4 July 1997. Workshops in Computing, BCS 1997
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/RiddleW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/RiddleW97
S. Riddle, P. Wallis:
Denotational Semantics and Refinement.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/Stewart97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/Stewart97
Alan Stewart:
An Axiomatic Semantics for Data Parallel Computation.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/HughesP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/HughesP97
Arthur P. Hughes, Claus Pahl:
A Generic Model for State-based Agent Systems.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/Lowe97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/Lowe97
Helen Lowe:
The Use of Theorem Provers in the Teaching and Practice of Formal Methods.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/MalikL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/MalikL97
N. Malik, Kevin Lano:
A Formal Approach to Design Patterns in Re-Engineering.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/YangS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/YangS97
Hongji Yang, Yong Sun:
Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/Poppleton97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/Poppleton97
Michael Poppleton:
The Single Transferable Voting System: Functional Decomposition in Formal Specification.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/GibsonMM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/GibsonMM97
J. Paul Gibson, Bruno Mermet, Dominique Méry:
Feature Interactions: A Mixed Semantic Model Approach.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/FowlerS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/FowlerS97
Danielle C. Fowler, Paul A. Swatman:
Presenting Object Oriented Formal Requirements Specifications: Insights from an Action Research Study.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/Sherratt97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/Sherratt97
Edel Sherratt:
Nonmonotonic Reasoning and Formal Software Development.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/Herbert97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/Herbert97
John Herbert:
A Simple Algorithm Specification Language and its Application.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/MonahanG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/MonahanG97
Rosemary Monahan, Franz Geiselbrechtinger:
Tactics for Transformational Programming.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/LaiS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/LaiS97
Luming Lai, Jeff W. Sanders:
A Refinement Calculus for Communicating Processes with State.
- view
  - electronic edition @ bcs.org
  - details & citations
- export record
  dblp key:
  - conf/iwfm/Geiselbrechtinger97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwfm/Geiselbrechtinger97
Franz Geiselbrechtinger:
Computer Aided Incremental Specification.

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.