Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:streams/conf/fmsd:"
@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} }
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.