default search action
Search dblp for Publications
export results for "toc:db/journals/scp/scp20.bht:"
@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} }
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.