Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/AntoniolCPT01,
  author       = {Giuliano Antoniol and
                  Bruno Caprile and
                  Alessandra Potrich and
                  Paolo Tonella},
  title        = {Design-code traceability recovery: selecting the basic linkage properties},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {2-3},
  pages        = {213--234},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(01)00016-8},
  doi          = {10.1016/S0167-6423(01)00016-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AntoniolCPT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/AstesianoG01,
  author       = {Egidio Astesiano and
                  Carlo Ghezzi},
  title        = {Fundamental Approaches to Software Engineering},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {1},
  pages        = {1--2},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(00)00021-6},
  doi          = {10.1016/S0167-6423(00)00021-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AstesianoG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BradleyHKR01,
  author       = {Steven Bradley and
                  William Henderson and
                  David Kendall and
                  Adrian Robson},
  title        = {A formal design language for real-time systems with data},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {1},
  pages        = {3--29},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(00)00025-3},
  doi          = {10.1016/S0167-6423(00)00025-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BradleyHKR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/CifuentesE01,
  author       = {Cristina Cifuentes and
                  Mike Van Emmerik},
  title        = {Recovery of jump table case statements from binary code},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {2-3},
  pages        = {171--188},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(01)00014-4},
  doi          = {10.1016/S0167-6423(01)00014-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CifuentesE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/DeursenM01,
  author       = {Arie van Deursen and
                  Leon Moonen},
  title        = {An empirical study into {COBOL} type inferencing},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {2-3},
  pages        = {189--211},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(01)00015-6},
  doi          = {10.1016/S0167-6423(01)00015-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DeursenM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/FrancelR01,
  author       = {Margaret Ann Francel and
                  Spencer Rugaber},
  title        = {The value of slicing while debugging},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {2-3},
  pages        = {151--169},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(01)00013-2},
  doi          = {10.1016/S0167-6423(01)00013-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FrancelR01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/GrieskampHD01,
  author       = {Wolfgang Grieskamp and
                  Maritta Heisel and
                  Heiko D{\"{o}}rr},
  title        = {Specifying embedded systems with statecharts and {Z:} an agenda for
                  cyclic software components},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {1},
  pages        = {31--57},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(00)00024-1},
  doi          = {10.1016/S0167-6423(00)00024-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GrieskampHD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MartinoMMV01,
  author       = {Beniamino Di Martino and
                  Antonino Mazzeo and
                  Nicola Mazzocca and
                  Umberto Villano},
  title        = {Parallel program analysis and restructuring by detection of point-to-point
                  interaction patterns and their transformation into collective communication
                  constructs},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {2-3},
  pages        = {235--263},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(01)00017-X},
  doi          = {10.1016/S0167-6423(01)00017-X},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/MartinoMMV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/MotaS01,
  author       = {Alexandre Mota and
                  Augusto Sampaio},
  title        = {Model-checking {CSP-Z:} strategy, tool support and industrial application},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {1},
  pages        = {59--96},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(00)00023-X},
  doi          = {10.1016/S0167-6423(00)00023-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/MotaS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/PadbergGE01,
  author       = {Julia Padberg and
                  Magdalena Gajewsky and
                  Claudia Ermel},
  title        = {Rule-based refinement of high-level nets preserving safety properties},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {1},
  pages        = {97--118},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(00)00022-8},
  doi          = {10.1016/S0167-6423(00)00022-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PadbergGE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Scholz01,
  author       = {Peter Scholz},
  title        = {Incremental design of statechart specifications},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {1},
  pages        = {119--145},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(00)00026-5},
  doi          = {10.1016/S0167-6423(00)00026-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Scholz01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/SmithW01,
  author       = {Dennis B. Smith and
                  Steven Woods},
  title        = {Preface},
  journal      = {Sci. Comput. Program.},
  volume       = {40},
  number       = {2-3},
  pages        = {147--149},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0167-6423(01)00012-0},
  doi          = {10.1016/S0167-6423(01)00012-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/SmithW01.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.