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, 12 Jun 2024 01:00:00 +0200},
  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}
}