Search dblp for Publications

export results for "toc:db/conf/iwfm/iwfm1997.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iwfm/FowlerS97,
  author       = {Danielle C. Fowler and
                  Paul A. Swatman},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {Presenting Object Oriented Formal Requirements Specifications: Insights
                  from an Action Research Study},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4606},
  timestamp    = {Tue, 19 Jun 2018 08:04:20 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/FowlerS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/Geiselbrechtinger97,
  author       = {Franz Geiselbrechtinger},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {Computer Aided Incremental Specification},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4607},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/Geiselbrechtinger97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/GibsonMM97,
  author       = {J. Paul Gibson and
                  Bruno Mermet and
                  Dominique M{\'{e}}ry},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {Feature Interactions: {A} Mixed Semantic Model Approach},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4608},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/GibsonMM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/Herbert97,
  author       = {John Herbert},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {A Simple Algorithm Specification Language and its Application},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4609},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/Herbert97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/HughesP97,
  author       = {Arthur P. Hughes and
                  Claus Pahl},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {A Generic Model for State-based Agent Systems},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4610},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/HughesP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/LaiS97,
  author       = {Luming Lai and
                  Jeff W. Sanders},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {A Refinement Calculus for Communicating Processes with State},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4611},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/LaiS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/Lowe97,
  author       = {Helen Lowe},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {The Use of Theorem Provers in the Teaching and Practice of Formal
                  Methods},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4612},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/Lowe97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/MalikL97,
  author       = {N. Malik and
                  Kevin Lano},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {A Formal Approach to Design Patterns in Re-Engineering},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4613},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/MalikL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/MonahanG97,
  author       = {Rosemary Monahan and
                  Franz Geiselbrechtinger},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {Tactics for Transformational Programming},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4614},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/MonahanG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/Poppleton97,
  author       = {Michael Poppleton},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {The Single Transferable Voting System: Functional Decomposition in
                  Formal Specification},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4615},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/Poppleton97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/RiddleW97,
  author       = {S. Riddle and
                  P. Wallis},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {Denotational Semantics and Refinement},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4616},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/RiddleW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/Sherratt97,
  author       = {Edel Sherratt},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {Nonmonotonic Reasoning and Formal Software Development},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4617},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/Sherratt97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/Stewart97,
  author       = {Alan Stewart},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {An Axiomatic Semantics for Data Parallel Computation},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4618},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/Stewart97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwfm/YangS97,
  author       = {Hongji Yang and
                  Yong Sun},
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {Reverse Engineering and Reusing {COBOL} Programs: {A} Program Transformation
                  Approach},
  booktitle    = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4619},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/YangS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iwfm/1997,
  editor       = {Henry McGloughlin and
                  Gerard O'Regan},
  title        = {1st Irish Workshop on Formal Methods, {IWFM} 1997, Dublin, Ireland,
                  3-4 July 1997},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {1997},
  timestamp    = {Tue, 19 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iwfm/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.