Search dblp for Publications

export results for "stream:streams/conf/fmsd:"

 download as .bib file

@inproceedings{DBLP:conf/fmsd/Bolognesi90,
  author       = {Tommaso Bolognesi},
  editor       = {Mark Moriconi},
  title        = {On the soundness of graphical representations of interconnected processes
                  in {LOTOS}},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {1--7},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99574},
  doi          = {10.1145/99569.99574},
  timestamp    = {Thu, 17 Feb 2022 09:26:24 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Bolognesi90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/ChungS90,
  author       = {Anthony Chung and
                  Deepinder P. Sidhu},
  editor       = {Mark Moriconi},
  title        = {Experience with an Estelle development system},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {8--17},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99801},
  doi          = {10.1145/99569.99801},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/ChungS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/Eggert90,
  author       = {Paul Eggert},
  editor       = {Mark Moriconi},
  title        = {Toward special-purpose program verification},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {25--29},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99807},
  doi          = {10.1145/99569.99807},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Eggert90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/Frost90,
  author       = {Richard A. Frost},
  editor       = {Mark Moriconi},
  title        = {Constructing programs in a calculus of lazy interpreters},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {30--41},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99810},
  doi          = {10.1145/99569.99810},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Frost90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/Garlan90,
  author       = {David Garlan},
  editor       = {Mark Moriconi},
  title        = {The role of formal reusable frameworks},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {42--44},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99812},
  doi          = {10.1145/99569.99812},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Garlan90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/Jacky90,
  author       = {Jonathan Jacky},
  editor       = {Mark Moriconi},
  title        = {Formal specification for a clinical cyclotron control system},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {45--54},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99814},
  doi          = {10.1145/99569.99814},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Jacky90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/LedruS90,
  author       = {Yves Ledru and
                  Pierre{-}Yves Schobbens},
  editor       = {Mark Moriconi},
  title        = {Applying {VDM} to large developments},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {55--58},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99815},
  doi          = {10.1145/99569.99815},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmsd/LedruS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/LogrippoMW90,
  author       = {Luigi Logrippo and
                  Tim Melanchuk and
                  Robert J. Du Wors},
  editor       = {Mark Moriconi},
  title        = {The algebraic specification language {LOTOS:} an industrial experience},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {59--66},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99817},
  doi          = {10.1145/99569.99817},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/LogrippoMW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/Man90,
  author       = {Jozef De Man},
  editor       = {Mark Moriconi},
  title        = {Making languages more powerful by removing limitations},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {18--24},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99805},
  doi          = {10.1145/99569.99805},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Man90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/NarayanaD90,
  author       = {K. T. Narayana and
                  Sanjeev Dharap},
  editor       = {Mark Moriconi},
  title        = {Invariant properties in a dialog system},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {67--79},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99818},
  doi          = {10.1145/99569.99818},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/NarayanaD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/Ness90,
  author       = {Linda Ness},
  editor       = {Mark Moriconi},
  title        = {{L.0:} a parallel executable temporal logic language},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {80--89},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99820},
  doi          = {10.1145/99569.99820},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Ness90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/Nord0S90,
  author       = {Robert L. Nord and
                  Peter Lee and
                  William L. Scherlis},
  editor       = {Mark Moriconi},
  title        = {Formal manipulation of modular software systems},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {90--99},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99825},
  doi          = {10.1145/99569.99825},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Nord0S90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/Platek90,
  author       = {Richard Platek},
  editor       = {Mark Moriconi},
  title        = {Formal methods in mathematics},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {100--103},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99827},
  doi          = {10.1145/99569.99827},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Platek90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/Reddy90,
  author       = {Uday S. Reddy},
  editor       = {Mark Moriconi},
  title        = {Formal methods in transformational derivation of programs},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {104--114},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99828},
  doi          = {10.1145/99569.99828},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Reddy90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/RuncimanF90,
  author       = {Colin Runciman and
                  Mike Firth},
  editor       = {Mark Moriconi},
  title        = {Formalised development of software by machine assisted transformation},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {115--117},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99829},
  doi          = {10.1145/99569.99829},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/RuncimanF90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/ToetenelKP90,
  author       = {Hans Toetenel and
                  Jan van Katwijk and
                  Nico Plat},
  editor       = {Mark Moriconi},
  title        = {Structured analysis - formal design, using stream and object oriented
                  formal specifications},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {118--127},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99830},
  doi          = {10.1145/99569.99830},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmsd/ToetenelKP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/Wile90,
  author       = {David S. Wile},
  editor       = {Mark Moriconi},
  title        = {Adding relational abstraction to programming languages},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {128--139},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99833},
  doi          = {10.1145/99569.99833},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Wile90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/WingG90,
  author       = {Jeannette M. Wing and
                  Chun Gong},
  editor       = {Mark Moriconi},
  title        = {Experience with the Larch Prover},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {140--143},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99835},
  doi          = {10.1145/99569.99835},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/WingG90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/Wood90,
  author       = {William G. Wood},
  editor       = {Mark Moriconi},
  title        = {Application of formal methods to system and software specification},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {144--146},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99837},
  doi          = {10.1145/99569.99837},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Wood90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmsd/Young90,
  author       = {William D. Young},
  editor       = {Mark Moriconi},
  title        = {Verified program support environments},
  booktitle    = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  pages        = {147--149},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569.99839},
  doi          = {10.1145/99569.99839},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/Young90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fmsd/1990,
  editor       = {Mark Moriconi},
  title        = {Conference proceedings on Formal methods in software development,
                  Napa, California, USA, May 9-11, 1990},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/99569},
  doi          = {10.1145/99569},
  timestamp    = {Thu, 17 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmsd/1990.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.