Search dblp for Publications

export results for "toc:db/journals/scp/scp20.bht:"

 download as .bib file

@article{DBLP:journals/scp/BackW93,
  author       = {Ralph{-}Johan Back and
                  Joakim von Wright},
  title        = {Statement Inversion and Strongest Postcondition},
  journal      = {Sci. Comput. Program.},
  volume       = {20},
  number       = {3},
  pages        = {223--251},
  year         = {1993},
  url          = {https://doi.org/10.1016/0167-6423(93)90015-H},
  doi          = {10.1016/0167-6423(93)90015-H},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BackW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CiapessoniCMP93,
  author       = {Emanuele Ciapessoni and
                  Edoardo Corsetti and
                  Angelo Montanari and
                  Pierluigi {San Pietro}},
  title        = {Embedding Time Granularity in a Logical Specification Language for
                  Synchronous Real-Time Systems},
  journal      = {Sci. Comput. Program.},
  volume       = {20},
  number       = {1-2},
  pages        = {141--171},
  year         = {1993},
  url          = {https://doi.org/10.1016/0167-6423(93)90025-K},
  doi          = {10.1016/0167-6423(93)90025-K},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CiapessoniCMP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DardenneLF93,
  author       = {Anne Dardenne and
                  Axel van Lamsweerde and
                  Stephen Fickas},
  title        = {Goal-Directed Requirements Acquisition},
  journal      = {Sci. Comput. Program.},
  volume       = {20},
  number       = {1-2},
  pages        = {3--50},
  year         = {1993},
  url          = {https://doi.org/10.1016/0167-6423(93)90021-G},
  doi          = {10.1016/0167-6423(93)90021-G},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DardenneLF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DesharnaisMM93,
  author       = {Jules Desharnais and
                  Ali Mili and
                  Fatma Mili},
  title        = {On the Mathematics of Sequential Decompositions},
  journal      = {Sci. Comput. Program.},
  volume       = {20},
  number       = {3},
  pages        = {253--289},
  year         = {1993},
  url          = {https://doi.org/10.1016/0167-6423(93)90016-I},
  doi          = {10.1016/0167-6423(93)90016-I},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DesharnaisMM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GhezziR93,
  author       = {Carlo Ghezzi and
                  Gruia{-}Catalin Roman},
  title        = {Guest Editors' Remarks: Selected Papers of the Sixth International
                  Workshop on Software Specification and Design},
  journal      = {Sci. Comput. Program.},
  volume       = {20},
  number       = {1-2},
  pages        = {1--2},
  year         = {1993},
  url          = {https://doi.org/10.1016/0167-6423(93)90020-P},
  doi          = {10.1016/0167-6423(93)90020-P},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GhezziR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Kurki-SuonioSV93,
  author       = {Reino Kurki{-}Suonio and
                  Kari Syst{\"{a}} and
                  J{\"{u}}ri Vain},
  title        = {Real-Time Specification and Modeling with Joint Actions},
  journal      = {Sci. Comput. Program.},
  volume       = {20},
  number       = {1-2},
  pages        = {113--140},
  year         = {1993},
  url          = {https://doi.org/10.1016/0167-6423(93)90024-J},
  doi          = {10.1016/0167-6423(93)90024-J},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Kurki-SuonioSV93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Ledru93,
  author       = {Yves Ledru},
  title        = {Developing Reactive Systems in a {VDM} Framework},
  journal      = {Sci. Comput. Program.},
  volume       = {20},
  number       = {1-2},
  pages        = {51--71},
  year         = {1993},
  url          = {https://doi.org/10.1016/0167-6423(93)90022-H},
  doi          = {10.1016/0167-6423(93)90022-H},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Ledru93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Schobbens93,
  author       = {Pierre{-}Yves Schobbens},
  title        = {Exceptions for Algebraic Specifications: On the Meaning of "but"},
  journal      = {Sci. Comput. Program.},
  volume       = {20},
  number       = {1-2},
  pages        = {73--111},
  year         = {1993},
  url          = {https://doi.org/10.1016/0167-6423(93)90023-I},
  doi          = {10.1016/0167-6423(93)90023-I},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Schobbens93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Skillicorn93,
  author       = {David B. Skillicorn},
  title        = {Deriving Parallel Programs from specification Susing Cost Information},
  journal      = {Sci. Comput. Program.},
  volume       = {20},
  number       = {3},
  pages        = {205--221},
  year         = {1993},
  url          = {https://doi.org/10.1016/0167-6423(93)90014-G},
  doi          = {10.1016/0167-6423(93)90014-G},
  timestamp    = {Fri, 19 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Skillicorn93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Vivares93,
  author       = {F. Vivar{\`{e}}s},
  title        = {Modelling Jackson's Programming Method},
  journal      = {Sci. Comput. Program.},
  volume       = {20},
  number       = {3},
  pages        = {173--204},
  year         = {1993},
  url          = {https://doi.org/10.1016/0167-6423(93)90013-F},
  doi          = {10.1016/0167-6423(93)90013-F},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Vivares93.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.