Search dblp for Publications

export results for "toc:db/journals/isse/isse2.bht:"

 download as .bib file

@article{DBLP:journals/isse/ArnoutM06,
  author       = {Karine Arnout and
                  Bertrand Meyer},
  title        = {Pattern Componentization: The Factory Example},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {2},
  pages        = {65--79},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0001-0},
  doi          = {10.1007/S11334-006-0001-0},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/ArnoutM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/BajohrM06,
  author       = {Markus Bajohr and
                  Tiziana Margaria},
  title        = {MaTRICS: {A} service-based management tool for remote intelligent
                  configuration of systems},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {2},
  pages        = {99--111},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0003-y},
  doi          = {10.1007/S11334-006-0003-Y},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/BajohrM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/Black06,
  author       = {Sue Black},
  title        = {Is ripple effect intuitive? {A} pilot study},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {2},
  pages        = {88--98},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0004-x},
  doi          = {10.1007/S11334-006-0004-X},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/Black06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/BreuerP06,
  author       = {Peter T. Breuer and
                  Simon Pickin},
  title        = {Symbolic approximation: an approach to verification in the large},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {3-4},
  pages        = {147--163},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0010-z},
  doi          = {10.1007/S11334-006-0010-Z},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isse/BreuerP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/ElcockL06,
  author       = {Albert Elcock and
                  Phillip A. Laplante},
  title        = {Testing software without requirements: using development artifacts
                  to develop test cases},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {3-4},
  pages        = {137--145},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0009-5},
  doi          = {10.1007/S11334-006-0009-5},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/ElcockL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/FilhoP06,
  author       = {Antonio Mendes da Silva Filho and
                  Ivanilton Polato},
  title        = {Component behavior-based adaptation in embedded software},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {3-4},
  pages        = {113--119},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0005-9},
  doi          = {10.1007/S11334-006-0005-9},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/FilhoP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/FreitasWC06,
  author       = {Leo Freitas and
                  Jim Woodcock and
                  Ana Cavalcanti},
  title        = {State-rich model checking},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {1},
  pages        = {49--64},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0021-9},
  doi          = {10.1007/S11334-006-0021-9},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/FreitasWC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/Kapoor06,
  author       = {Kalpesh Kapoor},
  title        = {Formal Analysis of Coupling Hypothesis for Logical Faults},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {2},
  pages        = {80--87},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0002-z},
  doi          = {10.1007/S11334-006-0002-Z},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/Kapoor06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/MiliSJVTA06,
  author       = {Ali Mili and
                  Frederick T. Sheldon and
                  Lamia Labed Jilani and
                  Alex Vinokurov and
                  Alexander Thomasian and
                  Rahma Ben Ayed},
  title        = {Modeling security as a dependability attribute: a refinement-based
                  approach},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {1},
  pages        = {39--48},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0023-7},
  doi          = {10.1007/S11334-006-0023-7},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isse/MiliSJVTA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/PecoraRCC06,
  author       = {Federico Pecora and
                  Riccardo Rasconi and
                  Gabriella Cortellessa and
                  Amedeo Cesta},
  title        = {User-oriented problem abstractions in scheduling},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {1},
  pages        = {1--16},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0022-8},
  doi          = {10.1007/S11334-006-0022-8},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/PecoraRCC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/QinCHQ06,
  author       = {Shengchao Qin and
                  Wei{-}Ngan Chin and
                  Jifeng He and
                  Zongyan Qiu},
  title        = {From Statecharts to Verilog: a formal approach to hardware/software
                  co-specification},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {1},
  pages        = {17--38},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-005-0020-2},
  doi          = {10.1007/S11334-005-0020-2},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/QinCHQ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/Schneidewind06,
  author       = {Norman F. Schneidewind},
  title        = {Allocation and analysis of reliability: multiple levels: system, subsystem,
                  and module},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {3-4},
  pages        = {121--136},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0008-6},
  doi          = {10.1007/S11334-006-0008-6},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/Schneidewind06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/Schneidewind06a,
  author       = {Norman F. Schneidewind},
  title        = {Software reliability engineering process},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {3-4},
  pages        = {179--190},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0007-7},
  doi          = {10.1007/S11334-006-0007-7},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/Schneidewind06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/VilkomirBG06,
  author       = {Sergiy A. Vilkomir and
                  Jonathan P. Bowen and
                  Aditya K. Ghose},
  title        = {Formalization and assessment of regulatory requirements for safety-critical
                  software},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {2},
  number       = {3-4},
  pages        = {165--178},
  year         = {2006},
  url          = {https://doi.org/10.1007/s11334-006-0006-8},
  doi          = {10.1007/S11334-006-0006-8},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/VilkomirBG06.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.