Search dblp for Publications

export results for "toc:db/conf/icfem/icfem1997.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icfem/AertryckBM97,
  author       = {Lionel Van Aertryck and
                  Marc V. Benveniste and
                  Daniel Le M{\'{e}}tayer},
  title        = {{CASTING:} {A} Formally Based Software Test Generation Method},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {101--111},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630411},
  doi          = {10.1109/ICFEM.1997.630411},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/AertryckBM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Barjaktarovic97,
  author       = {Milica Barjaktarovic},
  title        = {Formal Specification and Verification of the {MISSI} Sender and Local
                  Cache using {SPIN}},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {232--242},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630430},
  doi          = {10.1109/ICFEM.1997.630430},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/Barjaktarovic97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/BerryW97,
  author       = {Daniel M. Berry and
                  M. Weber},
  title        = {A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling
                  Notations},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {38--49},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630396},
  doi          = {10.1109/ICFEM.1997.630396},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/BerryW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/BjornerKNS97,
  author       = {Dines Bj{\o}rner and
                  S. Koussoube and
                  R. Noussi and
                  G. Satchok},
  title        = {Michael Jackson's Problem Frames: Towards Methodological Principles
                  of Selecting and Applying Formal Software Development Techniques and
                  Tools},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {263--271},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630433},
  doi          = {10.1109/ICFEM.1997.630433},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/BjornerKNS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/BriandM97,
  author       = {Lionel C. Briand and
                  Sandro Morasca},
  title        = {Software Measurement and Formal Methods: {A} Case Study Centered on
                  {TRIO+} Specifications},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {315},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630438},
  doi          = {10.1109/ICFEM.1997.630438},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/BriandM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/CyrlukRS97,
  author       = {David Cyrluk and
                  John M. Rushby and
                  Mandayam K. Srivas},
  title        = {Systematic Formal Verification of Interpreters},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {140--150},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630421},
  doi          = {10.1109/ICFEM.1997.630421},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/CyrlukRS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/DebbabiMTY97,
  author       = {Mourad Debbabi and
                  Mohamed Mejri and
                  Nadia Tawbi and
                  I. Yahmadi},
  title        = {Formal Automatic Verification of Authentication Crytographic Protocols},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {50--59},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630399},
  doi          = {10.1109/ICFEM.1997.630399},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/DebbabiMTY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/DongFZC97,
  author       = {Jin Song Dong and
                  Neale Fulton and
                  Lin Zucconi and
                  John Colton},
  title        = {Formalizing Process Scheduling Requirements for an Aircraft Operational
                  Flight Program},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {161--169},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630423},
  doi          = {10.1109/ICFEM.1997.630423},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/DongFZC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/FordBSS97,
  author       = {Richard L. Ford and
                  William R. Bevier and
                  Richard T. Simon and
                  Lawrence M. Smith},
  title        = {The Specification-Based Testing of a Trusted Kernel: {MK++}},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {151--160},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630422},
  doi          = {10.1109/ICFEM.1997.630422},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/FordBSS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/FranceBLGS97,
  author       = {Robert B. France and
                  Jean{-}Michel Bruel and
                  Maria M. Larrondo{-}Petrie and
                  Emanuel S. Grant and
                  Minika Saksena},
  title        = {Towards a Rigorous Object-Oriented Analysis and Design Method},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {7--16},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630392},
  doi          = {10.1109/ICFEM.1997.630392},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/FranceBLGS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/FutatsugiN97,
  author       = {Kokichi Futatsugi and
                  Ataru T. Nakagawa},
  title        = {An Overview of {CAFE} Specification Environment - An Algebraic Approach
                  for Creating, Verifying, and Maintaining Formal Specifications over
                  Networks},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {170--182},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630424},
  doi          = {10.1109/ICFEM.1997.630424},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/FutatsugiN97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/GallowayS97,
  author       = {Andy Galloway and
                  Bill Stoddart},
  title        = {An Operational Semantics for {ZCCS}},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {272--282},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630434},
  doi          = {10.1109/ICFEM.1997.630434},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/GallowayS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/GeppertR97,
  author       = {Birgit Geppert and
                  Frank R{\"{o}}{\ss}ler},
  title        = {Generic Engineering of Communication Protocols - Current Experience
                  and Future Issues},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {70--80},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630404},
  doi          = {10.1109/ICFEM.1997.630404},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/GeppertR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/HabriasG97,
  author       = {Henri Habrias and
                  B. Griech},
  title        = {Formal Specification of Dynamic Constraints with the {B} Method},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {304--314},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630437},
  doi          = {10.1109/ICFEM.1997.630437},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/HabriasG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/HeimdahlT97,
  author       = {Mats Per Erik Heimdahl and
                  Jeffrey M. Thompson},
  title        = {Specification and Analysis of System Level Inter-Component Communication},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {192--202},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630426},
  doi          = {10.1109/ICFEM.1997.630426},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/HeimdahlT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/JinZ97,
  author       = {Lingzi Jin and
                  Hong Zhu},
  title        = {Automatic Generation of Formal Specification from Requirements Definition},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {243--251},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630431},
  doi          = {10.1109/ICFEM.1997.630431},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/JinZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Jones97,
  author       = {Cliff B. Jones},
  title        = {Whither Formal Methods: {A} Plea to Investigate New Applications},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {5},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630391},
  doi          = {10.1109/ICFEM.1997.630391},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/Jones97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/KatwijkDG97,
  author       = {Jan van Katwijk and
                  Eug{\`{e}}ne D{\"{u}}rr and
                  Stephen J. Goldsack},
  title        = {Hybrid Object-Oriented Real-Time Software Development with VDM\({}^{\mbox{++}}\)},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {17--27},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630393},
  doi          = {10.1109/ICFEM.1997.630393},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/KatwijkDG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Kemmerer97,
  author       = {Richard A. Kemmerer},
  title        = {Formally Specifying and Verifying Real-Time Systems},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {112--121},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630415},
  doi          = {10.1109/ICFEM.1997.630415},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/Kemmerer97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/LattemannL97,
  author       = {Frank Lattemann and
                  Egbert Lehmann},
  title        = {A Methodological Approach to the Requirement Specification of Embedded
                  Systems},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {183--191},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630425},
  doi          = {10.1109/ICFEM.1997.630425},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/LattemannL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/LauOW97,
  author       = {Kung{-}Kiu Lau and
                  Mario Ornaghi and
                  Alan Wills},
  title        = {Frameworks in Catalysis: Pictorial Notation and Formal Semantics},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {213--221},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630428},
  doi          = {10.1109/ICFEM.1997.630428},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/LauOW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/LindsayH97,
  author       = {Peter A. Lindsay and
                  David Hemer},
  title        = {Using {CARE} to Construct Verified Software},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {122--131},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630417},
  doi          = {10.1109/ICFEM.1997.630417},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/LindsayH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/MermetM97,
  author       = {Bruno Mermet and
                  Dominique M{\'{e}}ry},
  title        = {Incremental Specification of Telecommunication Services},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {60--69},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630401},
  doi          = {10.1109/ICFEM.1997.630401},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/MermetM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/Parissis97,
  author       = {Ioannis Parissis},
  title        = {A Formal Approach to Testing {LUSTRE} Specifications},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {91--100},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630409},
  doi          = {10.1109/ICFEM.1997.630409},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/Parissis97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/PeperGK97,
  author       = {Christian Peper and
                  Reinhard Gotzhein and
                  Martin Kronenburg},
  title        = {A Generic Approach to the Formal Specification of Requirements},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {252--262},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630432},
  doi          = {10.1109/ICFEM.1997.630432},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/PeperGK97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/PhilippsR97,
  author       = {Jan Philipps and
                  Bernhard Rumpe},
  title        = {Refinement of Information Flow Architectures},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {203--212},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630427},
  doi          = {10.1109/ICFEM.1997.630427},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/PhilippsR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/ScholzP97,
  author       = {Dirk Scholz and
                  Carsta Petersohn},
  title        = {Towards a Formal Semantics for an Integrated {SA/RT} {\&} {Z}
                  Specification Language},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {28--37},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630394},
  doi          = {10.1109/ICFEM.1997.630394},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/ScholzP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/SinghCS97,
  author       = {Harbhajan Singh and
                  Mirko Conrad and
                  Sadegh Sadeghipour},
  title        = {Test Case Design Based on {Z} and the Classification-Tree Method},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {81--90},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630406},
  doi          = {10.1109/ICFEM.1997.630406},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/SinghCS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/SmithD97,
  author       = {Graeme Smith and
                  John Derrick},
  title        = {Refinement and Verification of Concurrent Systems Specified in Object-Z
                  and {CSP}},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {293--303},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630436},
  doi          = {10.1109/ICFEM.1997.630436},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/SmithD97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/TaguchiA97,
  author       = {Kenji Taguchi and
                  Keijiro Araki},
  title        = {The State-Based {CCS} Semantics for Concurrent {Z} Specification},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {283--292},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630435},
  doi          = {10.1109/ICFEM.1997.630435},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/TaguchiA97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/XueD97,
  author       = {Jinyun Xue and
                  Ruth Davis},
  title        = {A Simple Program whose Derivation and Proof is Also},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {132--139},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630419},
  doi          = {10.1109/ICFEM.1997.630419},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/XueD97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/dInvernoL97,
  author       = {Mark d'Inverno and
                  Michael Luck},
  title        = {Development and Application of a Formal Agent Framework},
  booktitle    = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  pages        = {222--231},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ICFEM.1997.630429},
  doi          = {10.1109/ICFEM.1997.630429},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/dInvernoL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icfem/1997,
  title        = {First {IEEE} International Conference on Formal Engineering Methods,
                  {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/4977/proceeding},
  isbn         = {0-8186-8002-4},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/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.