Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/scp/AratoMO05,
  author       = {P{\'{e}}ter Arat{\'{o}} and
                  Zolt{\'{a}}n {\'{A}}d{\'{a}}m Mann and
                  Andr{\'{a}}s Orb{\'{a}}n},
  title        = {Extending component-based design with hardware components},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {23--39},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.003},
  doi          = {10.1016/J.SCICO.2004.11.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/AratoMO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Assmann05,
  author       = {Uwe A{\ss}mann},
  title        = {Architectural styles for active documents},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {79--98},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.006},
  doi          = {10.1016/J.SCICO.2004.11.006},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Assmann05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CortellessaGSDM05,
  author       = {Vittorio Cortellessa and
                  Diego Del Gobbo and
                  Mark Shereshevsky and
                  Jules Desharnais and
                  Ali Mili},
  title        = {Relational characterizations of system fault tolerance},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {3},
  pages        = {343--361},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.07.003},
  doi          = {10.1016/J.SCICO.2004.07.003},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CortellessaGSDM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FrohlichGF05,
  author       = {Peter H. Fr{\"{o}}hlich and
                  Andreas Gal and
                  Michael Franz},
  title        = {Supporting software composition at the programming language level},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {41--57},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.004},
  doi          = {10.1016/J.SCICO.2004.11.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FrohlichGF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GrooteW05,
  author       = {Jan Friso Groote and
                  Tim A. C. Willemse},
  title        = {Model-checking processes with data},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {3},
  pages        = {251--273},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.08.002},
  doi          = {10.1016/J.SCICO.2004.08.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GrooteW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GrossMS05,
  author       = {Hans{-}Gerhard Gro{\ss} and
                  M. Melideo and
                  Alberto Sillitti},
  title        = {Self-certification and trust in component procurement},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {141--156},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.009},
  doi          = {10.1016/J.SCICO.2004.11.009},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/GrossMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KantorowitzL05,
  author       = {Eliezer Kantorowitz and
                  Alexander Lyakas},
  title        = {Use-case components for interactive information systems},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {5--21},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.002},
  doi          = {10.1016/J.SCICO.2004.11.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KantorowitzL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LiuWK05,
  author       = {Xiaodong Liu and
                  Beihu Wang and
                  Jon M. Kerridge},
  title        = {Achieving seamless component composition through scenario-based deep
                  adaptation and generation},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {157--170},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.010},
  doi          = {10.1016/J.SCICO.2004.11.010},
  timestamp    = {Mon, 30 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LiuWK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LumpeS05,
  author       = {Markus Lumpe and
                  Jean{-}Guy Schneider},
  title        = {A form-based meta-model for software composition},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {59--78},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.005},
  doi          = {10.1016/J.SCICO.2004.11.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LumpeS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PonsiniFK05,
  author       = {Olivier Ponsini and
                  Carine F{\'{e}}d{\`{e}}le and
                  Emmanuel Kounalis},
  title        = {Rewriting of imperative programs into logical equations},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {3},
  pages        = {363--401},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.10.001},
  doi          = {10.1016/J.SCICO.2004.10.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PonsiniFK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PorterCW05,
  author       = {Ronald Porter and
                  James Coplien and
                  Tiffany Winn},
  title        = {Sequences as a basis for pattern language composition},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {231--249},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.014},
  doi          = {10.1016/J.SCICO.2004.11.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PorterCW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PulvermullerGA05,
  author       = {Elke Pulverm{\"{u}}ller and
                  Gerhard Goos and
                  Uwe A{\ss}mann},
  title        = {New software composition concepts},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {1--4},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.001},
  doi          = {10.1016/J.SCICO.2004.11.001},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/PulvermullerGA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Scheben05,
  author       = {Ursula Scheben},
  title        = {Hierarchical composition of industrial components},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {117--139},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.008},
  doi          = {10.1016/J.SCICO.2004.11.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Scheben05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SilvaP05,
  author       = {Leandro Dias da Silva and
                  Angelo Perkusich},
  title        = {Composition of software artifacts modelled using Colored Petri nets},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {171--189},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.011},
  doi          = {10.1016/J.SCICO.2004.11.011},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/SilvaP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Verhoef05,
  author       = {Chris Verhoef},
  title        = {Quantitative aspects of outsourcing deals},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {3},
  pages        = {275--313},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.08.003},
  doi          = {10.1016/J.SCICO.2004.08.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Verhoef05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Verhoef05a,
  author       = {Chris Verhoef},
  title        = {Quantifying the value of IT-investments},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {3},
  pages        = {315--342},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.08.004},
  doi          = {10.1016/J.SCICO.2004.08.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Verhoef05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/VincenziMWD05,
  author       = {Auri Marcelo Rizzo Vincenzi and
                  Jos{\'{e}} Carlos Maldonado and
                  W. Eric Wong and
                  M{\'{a}}rcio Eduardo Delamaro},
  title        = {Coverage testing of Java programs and components},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {211--230},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.013},
  doi          = {10.1016/J.SCICO.2004.11.013},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/VincenziMWD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/VolgyesiMDOL05,
  author       = {P{\'{e}}ter V{\"{o}}lgyesi and
                  Mikl{\'{o}}s Mar{\'{o}}ti and
                  Sebestyen D{\'{o}}ra and
                  Esteban Osses and
                  {\'{A}}kos L{\'{e}}deczi},
  title        = {Software composition and verification for sensor networks},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {191--210},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.012},
  doi          = {10.1016/J.SCICO.2004.11.012},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/VolgyesiMDOL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/WashizakiF05,
  author       = {Hironori Washizaki and
                  Yoshiaki Fukazawa},
  title        = {A technique for automatic component extraction from object-oriented
                  programs by refactoring},
  journal      = {Sci. Comput. Program.},
  volume       = {56},
  number       = {1-2},
  pages        = {99--116},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2004.11.007},
  doi          = {10.1016/J.SCICO.2004.11.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/WashizakiF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics