Search dblp for Publications

export results for "toc:db/journals/iee/iee-sej10.bht:"

 download as .bib file

@article{DBLP:journals/iee/Bommel95,
  author       = {Patrick van Bommel},
  title        = {Database design by computer-aided schema transformations},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {4},
  pages        = {125--132},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0016},
  doi          = {10.1049/SEJ.1995.0016},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Bommel95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/BroekB95,
  author       = {Pim van den Broek and
                  K. G. van den Berg},
  title        = {Generalised approach to software structure metrics},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {2},
  pages        = {61--67},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0009},
  doi          = {10.1049/SEJ.1995.0009},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/BroekB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/DawsonD95,
  author       = {C. W. Dawson and
                  R. J. Dawson},
  title        = {Towards more flexible management of software systems development using
                  meta-models},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {3},
  pages        = {79--88},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0011},
  doi          = {10.1049/SEJ.1995.0011},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/DawsonD95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/DukeH95,
  author       = {David J. Duke and
                  Michael D. Harrison},
  title        = {Event model of human-system interaction},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {1},
  pages        = {3--12},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0002},
  doi          = {10.1049/SEJ.1995.0002},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/DukeH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/DukeH95a,
  author       = {David J. Duke and
                  Michael D. Harrison},
  title        = {Mapping user requirements to implementations},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {1},
  pages        = {13--20},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0003},
  doi          = {10.1049/SEJ.1995.0003},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/DukeH95a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/HuangHLH95,
  author       = {Chung{-}Ming Huang and
                  Jenq{-}Muh Hsu and
                  Huei{-}Yang Lai and
                  Duen{-}Tay Huang},
  title        = {Integrated FDT-based protocol verification system},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {6},
  pages        = {233--244},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0028},
  doi          = {10.1049/SEJ.1995.0028},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/HuangHLH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/Hussak95,
  author       = {Walter Hussak},
  title        = {Temporal analysis of a microkernel},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {1},
  pages        = {21--26},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0004},
  doi          = {10.1049/SEJ.1995.0004},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Hussak95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/Johnson95,
  author       = {C. W. Johnson},
  title        = {Using {Z} to support the design of interactive safety-critical systems},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {2},
  pages        = {49--60},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0008},
  doi          = {10.1049/SEJ.1995.0008},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Johnson95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/KhoshgoftaarSG95,
  author       = {Taghi M. Khoshgoftaar and
                  Robert M. Szabo and
                  Peter J. Guasti},
  title        = {Exploring the behaviour of neural network software quality models},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {3},
  pages        = {89--96},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0012},
  doi          = {10.1049/SEJ.1995.0012},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/KhoshgoftaarSG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/Lai95,
  author       = {Richard Lai},
  title        = {Formal specification and verification of a procedural protocol: case
                  study},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {3},
  pages        = {97--104},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0013},
  doi          = {10.1049/SEJ.1995.0013},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Lai95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/LuoPU95,
  author       = {Gang Luo and
                  Robert L. Probert and
                  Hasan Ural},
  title        = {Approach to constructing software unit testing tools},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {6},
  pages        = {245--252},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0029},
  doi          = {10.1049/SEJ.1995.0029},
  timestamp    = {Sun, 08 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LuoPU95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/MayHL95,
  author       = {John H. R. May and
                  Gordon Hughes and
                  A. D. Lunn},
  title        = {Reliability estimation from appropriate testing of plant protection
                  software},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {6},
  pages        = {206--218},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0026},
  doi          = {10.1049/SEJ.1995.0026},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/MayHL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/MayrhauserV95,
  author       = {Anneliese von Mayrhauser and
                  A. Marie Vans},
  title        = {Industrial experience with an integrated code comprehension model},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {5},
  pages        = {171--182},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0023},
  doi          = {10.1049/SEJ.1995.0023},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/MayrhauserV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/McDermid95,
  author       = {John Alexander McDermid},
  title        = {Software Engineering: {A} Practitioner's Approach [Book Review]},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {6},
  pages        = {266},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0031},
  doi          = {10.1049/SEJ.1995.0031},
  timestamp    = {Mon, 29 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/McDermid95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/MorrisGB95,
  author       = {Derrik Morris and
                  Peter Green and
                  Richard Barker},
  title        = {'Engineering' the software in systems},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {6},
  pages        = {253--265},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0030},
  doi          = {10.1049/SEJ.1995.0030},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/MorrisGB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/MouldingS95,
  author       = {Mike Moulding and
                  Lindsey C. Smith},
  title        = {Combining formal specification and {CORE:} an experimental investigation},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {2},
  pages        = {31--42},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0006},
  doi          = {10.1049/SEJ.1995.0006},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/MouldingS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/Mukherjee95,
  author       = {Paul Mukherjee},
  title        = {Computer-aided validation of formal specifications},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {4},
  pages        = {133--140},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0017},
  doi          = {10.1049/SEJ.1995.0017},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Mukherjee95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/Paynter95,
  author       = {Stephen Paynter},
  title        = {Structuring the semantic definitions of graphical design notations},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {3},
  pages        = {105--115},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0014},
  doi          = {10.1049/SEJ.1995.0014},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Paynter95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/Pengelly95,
  author       = {Anthony Pengelly},
  title        = {Performance of effort estimating techniques in current development
                  environments},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {5},
  pages        = {162--170},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0022},
  doi          = {10.1049/SEJ.1995.0022},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Pengelly95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/ReevesMB95,
  author       = {Andrew Reeves and
                  Mustafa Marashi and
                  David Budgen},
  title        = {A software design framework or how to support real designers},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {4},
  pages        = {141--155},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0018},
  doi          = {10.1049/SEJ.1995.0018},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/ReevesMB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/RomanovskyS95,
  author       = {Alexander B. Romanovsky and
                  Lorenzo Strigini},
  title        = {Backward error recovery via conversations in Ada},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {6},
  pages        = {219--232},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0027},
  doi          = {10.1049/SEJ.1995.0027},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/RomanovskyS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/RowlandR95,
  author       = {J. J. Rowland and
                  D. Rowland},
  title        = {Professional competence in safety-related software engineering},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {2},
  pages        = {43--48},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0007},
  doi          = {10.1049/SEJ.1995.0007},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/RowlandR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/Skuce95,
  author       = {Douglas R. Skuce},
  title        = {Knowledge management in software design: a tool and a trial},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {5},
  pages        = {183--193},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0024},
  doi          = {10.1049/SEJ.1995.0024},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Skuce95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/Vadera95,
  author       = {Sunil Vadera},
  title        = {Review of heuristics for generalisation},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {4},
  pages        = {118--124},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0015},
  doi          = {10.1049/SEJ.1995.0015},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Vadera95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/WichmannCCWWM95,
  author       = {Brian A. Wichmann and
                  A. A. Canning and
                  D. L. Clutterbuck and
                  L. A. Winsborrow and
                  N. J. Ward and
                  D. William R. Marsh},
  title        = {Industrial perspective on static analysis},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {2},
  pages        = {69--75},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0010},
  doi          = {10.1049/SEJ.1995.0010},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/WichmannCCWWM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/Zhu95,
  author       = {Hong Zhu},
  title        = {Axiomatic assessment of control flow-based software test adequacy
                  criteria},
  journal      = {Softw. Eng. J.},
  volume       = {10},
  number       = {5},
  pages        = {194--204},
  year         = {1995},
  url          = {https://doi.org/10.1049/sej.1995.0025},
  doi          = {10.1049/SEJ.1995.0025},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Zhu95.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.