default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/relmis/relmis2001.bht:"
download as .bib file
@inproceedings{DBLP:journals/entcs/BerghammerHLM01,
author = {Rudolf Berghammer and
Thorsten Hoffmann and
Barbara Leoniuk and
Ulf Milanese},
editor = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
title = {Prototyping and Programming with Relations},
booktitle = {First International Workshop on Relational Methods in Software, RelMiS
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {3},
pages = {27--50},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80931-9},
doi = {10.1016/S1571-0661(04)80931-9},
timestamp = {Thu, 01 Dec 2022 11:11:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BerghammerHLM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BruniG01,
author = {Roberto Bruni and
Fabio Gadducci},
editor = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
title = {Some algebraic laws for spans},
booktitle = {First International Workshop on Relational Methods in Software, RelMiS
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {3},
pages = {175--193},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80937-X},
doi = {10.1016/S1571-0661(04)80937-X},
timestamp = {Thu, 26 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BruniG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FormisanoOS01,
author = {Andrea Formisano and
Eugenio G. Omodeo and
Marta Simeoni},
editor = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
title = {A graphical approach to relational reasoning},
booktitle = {First International Workshop on Relational Methods in Software, RelMiS
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {3},
pages = {153--174},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80936-8},
doi = {10.1016/S1571-0661(04)80936-8},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FormisanoOS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GobboM01,
author = {Diego Del Gobbo and
Ali Mili},
editor = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
title = {An Application of Relational Algebra: Specification of a Fault Tolerant
Flight Control System},
booktitle = {First International Workshop on Relational Methods in Software, RelMiS
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {3},
pages = {94--111},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80933-2},
doi = {10.1016/S1571-0661(04)80933-2},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GobboM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kahl01,
author = {Wolfram Kahl},
editor = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
title = {Refinement and Development of Programs from Relational Specifications},
booktitle = {First International Workshop on Relational Methods in Software, RelMiS
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {3},
pages = {51--93},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80932-0},
doi = {10.1016/S1571-0661(04)80932-0},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kahl01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KahlPS01,
author = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
editor = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
title = {RelMiS 2001 - Preface},
booktitle = {First International Workshop on Relational Methods in Software, RelMiS
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {3},
pages = {221--223},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80010-6},
doi = {10.1016/S1571-0661(05)80010-6},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KahlPS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Khedri01,
author = {Ridha Kh{\'{e}}dri},
editor = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
title = {Requirements Scenarios Formalization Technique: {N} Versions Towards
One Good Version},
booktitle = {First International Workshop on Relational Methods in Software, RelMiS
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {3},
pages = {112--135},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80934-4},
doi = {10.1016/S1571-0661(04)80934-4},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Khedri01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OmodeoD01,
author = {Eugenio G. Omodeo and
Ernst{-}Erich Doberkat},
editor = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
title = {Algebraic semantics of ER-models in the context of the calculus of
relations},
booktitle = {First International Workshop on Relational Methods in Software, RelMiS
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {3},
pages = {136--152},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80935-6},
doi = {10.1016/S1571-0661(04)80935-6},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OmodeoD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Parnas01,
author = {David Lorge Parnas},
editor = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
title = {The Tabular Method for Relational Documentation},
booktitle = {First International Workshop on Relational Methods in Software, RelMiS
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {3},
pages = {1--26},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80930-7},
doi = {10.1016/S1571-0661(04)80930-7},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Parnas01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Winter01a,
author = {Michael Winter},
editor = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
title = {Generating Processes from Specifications using the Relation Manipulation
System RelView},
booktitle = {First International Workshop on Relational Methods in Software, RelMiS
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {3},
pages = {194--220},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80938-1},
doi = {10.1016/S1571-0661(04)80938-1},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Winter01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/relmis/2001,
editor = {Wolfram Kahl and
David Lorge Parnas and
Gunther Schmidt},
title = {First International Workshop on Relational Methods in Software, RelMiS
2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, April 7-8,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {3},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/44/issue/3},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/relmis/2001.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.
retrieved on 2024-12-16 02:54 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
