default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/iee/iee-sej3.bht:"
download as .bib file
@article{DBLP:journals/iee/Alderson88,
author = {Albert Alderson},
title = {A space-efficient technique for recording versions of data},
journal = {Softw. Eng. J.},
volume = {3},
number = {6},
pages = {240--246},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0030},
doi = {10.1049/SEJ.1988.0030},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/Alderson88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ArnoldR88,
author = {David B. Arnold and
Graham J. Reynolds},
title = {Configuring graphics systems components},
journal = {Softw. Eng. J.},
volume = {3},
number = {6},
pages = {248--256},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0032},
doi = {10.1049/SEJ.1988.0032},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/ArnoldR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BottW88,
author = {M. F. Bott and
Peter J. L. Wallis},
title = {Ada and software re-use},
journal = {Softw. Eng. J.},
volume = {3},
number = {5},
pages = {177--183},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0022},
doi = {10.1049/SEJ.1988.0022},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/BottW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BustardNO88,
author = {David W. Bustard and
Mark T. Norris and
Rodney A. Orr},
title = {A pictorial approach to the animation of process-oriented formal specifications},
journal = {Softw. Eng. J.},
volume = {3},
number = {4},
pages = {114--118},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0013},
doi = {10.1049/SEJ.1988.0013},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/BustardNO88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Carver88,
author = {Daoris L. Carver},
title = {Comparison of the effect of development paradigms on increases in
complexity},
journal = {Softw. Eng. J.},
volume = {3},
number = {6},
pages = {223--228},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0028},
doi = {10.1049/SEJ.1988.0028},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/Carver88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ClutterbuckC88,
author = {D. L. Clutterbuck and
B. A. Carr{\'{e}}},
title = {The verification of low-level code},
journal = {Softw. Eng. J.},
volume = {3},
number = {3},
pages = {97--111},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0012},
doi = {10.1049/SEJ.1988.0012},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/ClutterbuckC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Coward88,
author = {P. David Coward},
title = {Symbolic execution systems-a review},
journal = {Softw. Eng. J.},
volume = {3},
number = {6},
pages = {229--239},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0029},
doi = {10.1049/SEJ.1988.0029},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/Coward88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Crookes88,
author = {Danny Crookes},
title = {Translation as a language implementation technique for supercomputers},
journal = {Softw. Eng. J.},
volume = {3},
number = {2},
pages = {64--68},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0008},
doi = {10.1049/SEJ.1988.0008},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/Crookes88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CrutcherB88,
author = {L. A. Crutcher and
M. H. Barton},
title = {Implementing {SDL} in occam},
journal = {Softw. Eng. J.},
volume = {3},
number = {3},
pages = {78--85},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0010},
doi = {10.1049/SEJ.1988.0010},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/CrutcherB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Finkelstein88,
author = {Anthony Finkelstein},
title = {Re-use of formatted requirements specifications},
journal = {Softw. Eng. J.},
volume = {3},
number = {5},
pages = {186--197},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0024},
doi = {10.1049/SEJ.1988.0024},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/Finkelstein88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Geary88,
author = {K. Geary},
title = {The practicalities of introducing large-scale software re-use},
journal = {Softw. Eng. J.},
volume = {3},
number = {5},
pages = {172--176},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0021},
doi = {10.1049/SEJ.1988.0021},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/Geary88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/GrayKW88,
author = {Anthony D. Gray and
Alistair C. Kilgour and
Catherine A. Wood},
title = {Dynamic reconfigurability for fast prototyping of user interfaces},
journal = {Softw. Eng. J.},
volume = {3},
number = {6},
pages = {257--262},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0033},
doi = {10.1049/SEJ.1988.0033},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/GrayKW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Holcombe88,
author = {Mike Holcombe},
title = {X-machines as a basis for dynamic system specification},
journal = {Softw. Eng. J.},
volume = {3},
number = {2},
pages = {69--76},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0009},
doi = {10.1049/SEJ.1988.0009},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/Holcombe88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HutchinsonH88,
author = {J. W. Hutchinson and
P. G. Hindley},
title = {A preliminary study of large-scale software re-use},
journal = {Softw. Eng. J.},
volume = {3},
number = {5},
pages = {208--212},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0026},
doi = {10.1049/SEJ.1988.0026},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/HutchinsonH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/InceH88,
author = {Darrel C. Ince and
Sharam Hekmatpour},
title = {An approach to automated software design based on product metrics},
journal = {Softw. Eng. J.},
volume = {3},
number = {2},
pages = {53--56},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0006},
doi = {10.1049/SEJ.1988.0006},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/InceH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Jones88,
author = {Cliff B. Jones},
title = {Theorem proving and software engineering},
journal = {Softw. Eng. J.},
volume = {3},
number = {1},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0001},
doi = {10.1049/SEJ.1988.0001},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/Jones88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Joosten88,
author = {Stef Joosten},
title = {Functional system specification},
journal = {Softw. Eng. J.},
volume = {3},
number = {4},
pages = {127--133},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0015},
doi = {10.1049/SEJ.1988.0015},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/Joosten88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KramerNPW88,
author = {Jeff Kramer and
Keng Ng and
Colin Potts and
Ken Whitehead},
title = {Tool support for requirements analysis},
journal = {Softw. Eng. J.},
volume = {3},
number = {3},
pages = {86--96},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0011},
doi = {10.1049/SEJ.1988.0011},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/KramerNPW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Lindsay88,
author = {Peter A. Lindsay},
title = {A survey of mechanical support for formal reasoning},
journal = {Softw. Eng. J.},
volume = {3},
number = {1},
pages = {3--27},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0002},
doi = {10.1049/SEJ.1988.0002},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/Lindsay88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LunneyP88,
author = {Thomas F. Lunney and
Ronald H. Perrott},
title = {Syntax-directed editing},
journal = {Softw. Eng. J.},
volume = {3},
number = {2},
pages = {37--46},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0004},
doi = {10.1049/SEJ.1988.0004},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/LunneyP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MukherjeeKM88,
author = {Animesh Mukherjee and
Jeff Kramer and
Jeff Magee},
title = {A distributed file server for embedded applications},
journal = {Softw. Eng. J.},
volume = {3},
number = {5},
pages = {142--148},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0017},
doi = {10.1049/SEJ.1988.0017},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/MukherjeeKM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/NaphtaliR88,
author = {Eli Naphtali and
Michael Rich},
title = {Some practical considerations regarding an ADT-obsessed design},
journal = {Softw. Eng. J.},
volume = {3},
number = {2},
pages = {57--63},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0007},
doi = {10.1049/SEJ.1988.0007},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/NaphtaliR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Robinson88,
author = {Peter Robinson},
title = {A model for graphical interaction},
journal = {Softw. Eng. J.},
volume = {3},
number = {6},
pages = {263--268},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0034},
doi = {10.1049/SEJ.1988.0034},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/Robinson88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RobinsonJ88,
author = {Peter Robinson and
Mick Jordan},
title = {A programming environment for Modula-2},
journal = {Softw. Eng. J.},
volume = {3},
number = {4},
pages = {119--126},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0014},
doi = {10.1049/SEJ.1988.0014},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/RobinsonJ88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RobinsonS88,
author = {D. C. Robinson and
M. S. Sloman},
title = {Domain-based access control for distributed computing systems},
journal = {Softw. Eng. J.},
volume = {3},
number = {5},
pages = {161--170},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0019},
doi = {10.1049/SEJ.1988.0019},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/RobinsonS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SawyerS88,
author = {Pete Sawyer and
Ian Sommerville},
title = {Direct manipulation of an object store},
journal = {Softw. Eng. J.},
volume = {3},
number = {6},
pages = {214--222},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0027},
doi = {10.1049/SEJ.1988.0027},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/SawyerS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Shepperd88,
author = {Martin J. Shepperd},
title = {A critique of cyclomatic complexity as a software metric},
journal = {Softw. Eng. J.},
volume = {3},
number = {2},
pages = {30--36},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0003},
doi = {10.1049/SEJ.1988.0003},
timestamp = {Mon, 30 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/Shepperd88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Vadera88,
author = {Sunil Vadera},
title = {A theory of unification},
journal = {Softw. Eng. J.},
volume = {3},
number = {5},
pages = {149--160},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0018},
doi = {10.1049/SEJ.1988.0018},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/Vadera88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/WilkinsonBBHJOP88,
author = {Peter T. Wilkinson and
J. A. Bouchard and
B. A. Byrne and
Michael A. Hennell and
P. Jackson and
G. O'Neill and
Graeme I. P. Parkin and
Brian A. Wichmann},
title = {A prototype system for the validation of Pascal programs},
journal = {Softw. Eng. J.},
volume = {3},
number = {2},
pages = {47--52},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0005},
doi = {10.1049/SEJ.1988.0005},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/WilkinsonBBHJOP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/WilsonS88,
author = {David N. Wilson and
Mark J. Sifer},
title = {Structured planning-project views},
journal = {Softw. Eng. J.},
volume = {3},
number = {4},
pages = {134--140},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0016},
doi = {10.1049/SEJ.1988.0016},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/WilsonS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/WoodS88,
author = {Murray Wood and
Ian Sommerville},
title = {An information retrieval system for software components},
journal = {Softw. Eng. J.},
volume = {3},
number = {5},
pages = {198--207},
year = {1988},
url = {https://doi.org/10.1049/sej.1988.0025},
doi = {10.1049/SEJ.1988.0025},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/WoodS88.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.
retrieved on 2025-02-18 18:27 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
