Search dblp for Publications

export results for "stream:journals/iee:"

 download as .bib file

@article{DBLP:journals/iee/0001M06,
  author       = {Vladimir Stantchev and
                  Miroslaw Malek},
  title        = {Architectural translucency in service-oriented architectures},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {1},
  pages        = {31--37},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20050017},
  doi          = {10.1049/IP-SEN:20050017},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/0001M06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/0002DJW06,
  author       = {Jing Sun and
                  Jin Song Dong and
                  Stan Jarzabek and
                  Hai H. Wang},
  title        = {Computer-aided dispatch system family architecture and verification:
                  an integrated formal approach},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {3},
  pages        = {102--112},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20050014},
  doi          = {10.1049/IP-SEN:20050014},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/0002DJW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/0002HW06,
  author       = {Stephen Cook and
                  Rachel Harrison and
                  Paul Wernick},
  title        = {Information system evolvability, feedback and pattern languages},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {4},
  pages        = {137--148},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20060014},
  doi          = {10.1049/IP-SEN:20060014},
  timestamp    = {Sun, 08 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/0002HW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BenediktssonDT06,
  author       = {Oddur Benediktsson and
                  Darren Dalcher and
                  Helgi Thorbergsson},
  title        = {Comparison of software development life cycles: a multiproject experiment},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {3},
  pages        = {87--101},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20050061},
  doi          = {10.1049/IP-SEN:20050061},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BenediktssonDT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BennettRB06,
  author       = {Keith H. Bennett and
                  Michael Rigby and
                  David Budgen},
  title        = {Editorial: Role based access control - a solution with its own challenges},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {1},
  pages        = {1--3},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20059080},
  doi          = {10.1049/IP-SEN:20059080},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/BennettRB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/EdenHK06,
  author       = {Amnon H. Eden and
                  Yoram Hirshfeld and
                  Rick Kazman},
  title        = {Abstraction classes in software design},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {4},
  pages        = {163--182},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20050075},
  doi          = {10.1049/IP-SEN:20050075},
  timestamp    = {Sun, 08 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/EdenHK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/EdenM06,
  author       = {Amnon H. Eden and
                  Tom Mens},
  title        = {Measuring software flexibility},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {3},
  pages        = {113--125},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20050045},
  doi          = {10.1049/IP-SEN:20050045},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/EdenM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/El-SayedAJP06,
  author       = {Hesham El{-}Sayed and
                  M. Ahmed and
                  Muhammad Jaseemuddin and
                  Dorina C. Petriu},
  title        = {Framework for performance engineering of {OSPF} software},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {6},
  pages        = {219--229},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20060032},
  doi          = {10.1049/IP-SEN:20060032},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/El-SayedAJP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/EyersBM06,
  author       = {David M. Eyers and
                  Jean Bacon and
                  Ken Moody},
  title        = {{OASIS} role-based access control for electronic health records},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {1},
  pages        = {16--23},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20045038},
  doi          = {10.1049/IP-SEN:20045038},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/EyersBM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/GancarskiDH06,
  author       = {Alda Lopes Gan{\c{c}}arski and
                  Anne Doucet and
                  Pedro Rangel Henriques},
  title        = {Attribute grammar-based interactive system to retrieve information
                  from {XML} documents},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {2},
  pages        = {51--60},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20050042},
  doi          = {10.1049/IP-SEN:20050042},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/GancarskiDH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HouCT06,
  author       = {Ting{-}Wei Hou and
                  Hsiang{-}Yang Chen and
                  Ming{-}Hsiu Tsai},
  title        = {Three control flow obfuscation methods for Java software},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {2},
  pages        = {80--86},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20050010},
  doi          = {10.1049/IP-SEN:20050010},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HouCT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Jarzabek0Y06,
  author       = {Stan Jarzabek and
                  Bo Yang and
                  S. Yoeun},
  title        = {Addressing quality attributes in domain analysis for product lines},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {2},
  pages        = {61--73},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20050008},
  doi          = {10.1049/IP-SEN:20050008},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Jarzabek0Y06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LeeC06,
  author       = {Joon{-}Sang Lee and
                  Heung Seok Chae},
  title        = {Domain-specific language approach to modelling {UI} architecture of
                  mobile telephony systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {6},
  pages        = {231--240},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20060022},
  doi          = {10.1049/IP-SEN:20060022},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LeeC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LiLLS06,
  author       = {Yajuan Li and
                  Chuang Lin and
                  Quan{-}Lin Li and
                  Zhiguang Shan},
  title        = {Block-structured stochastic process algebra and its applications to
                  queueing systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {5},
  pages        = {199--210},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20060012},
  doi          = {10.1049/IP-SEN:20060012},
  timestamp    = {Thu, 11 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LiLLS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LongstaffLH06,
  author       = {Jim J. Longstaff and
                  Mike A. Lockyer and
                  A. Howitt},
  title        = {Functionality and implementation issues for complex authorisation
                  models},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {1},
  pages        = {7--15},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20045056},
  doi          = {10.1049/IP-SEN:20045056},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LongstaffLH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ManviV06,
  author       = {Sunilkumar S. Manvi and
                  Pallapa Venkataram},
  title        = {Agent-based subsystem for multimedia communications},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {1},
  pages        = {38--48},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20045008},
  doi          = {10.1049/IP-SEN:20045008},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ManviV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Marshall06,
  author       = {Lindsay F. Marshall},
  title        = {Role-based access control in {TOBIAS} and {NESS}},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {1},
  pages        = {4--6},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20050015},
  doi          = {10.1049/IP-SEN:20050015},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Marshall06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MukhopadhyayCCL06,
  author       = {Arijit Mukhopadhyay and
                  Sunandan Chakraborty and
                  Monojit Choudhury and
                  Anirban Lahiri and
                  Soumyajit Dey and
                  Anupam Basu},
  title        = {Shruti: an embedded text-to-speech system for Indian languages},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {2},
  pages        = {75--79},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20045031},
  doi          = {10.1049/IP-SEN:20045031},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/MukhopadhyayCCL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ParsonsMM06,
  author       = {Trevor Parsons and
                  Adrian Mos and
                  John Murphy},
  title        = {Non-intrusive end-to-end runtime path tracing for {J2EE} systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {4},
  pages        = {149--161},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20050069},
  doi          = {10.1049/IP-SEN:20050069},
  timestamp    = {Sun, 08 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ParsonsMM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RapanottiH006,
  author       = {Lucia Rapanotti and
                  Jon G. Hall and
                  Zhi Li},
  title        = {Deriving specifications from requirements through problem reduction},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {5},
  pages        = {183--198},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20060011},
  doi          = {10.1049/IP-SEN:20060011},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/RapanottiH006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/StoneS06,
  author       = {Andrew Stone and
                  Peter Sawyer},
  title        = {Identifying tacit knowledge-based requirements},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {6},
  pages        = {211--218},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20060034},
  doi          = {10.1049/IP-SEN:20060034},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/StoneS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Taibi06,
  author       = {Toufik Taibi},
  title        = {Formalising design patterns composition},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {3},
  pages        = {127--136},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20050072},
  doi          = {10.1049/IP-SEN:20050072},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Taibi06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/TurnerBB06,
  author       = {Mark Turner and
                  Pearl Brereton and
                  David Budgen},
  title        = {Service-enabled access control for distributed data},
  journal      = {{IEE} Proc. Softw.},
  volume       = {153},
  number       = {1},
  pages        = {24--30},
  year         = {2006},
  url          = {https://doi.org/10.1049/ip-sen:20045039},
  doi          = {10.1049/IP-SEN:20045039},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/TurnerBB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/AnderssonB05,
  author       = {Jesper Andersson and
                  Jan Bosch},
  title        = {Development and use of dynamic product-line architectures},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {1},
  pages        = {15--28},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20041007},
  doi          = {10.1049/IP-SEN:20041007},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/AnderssonB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BachmannBKS05,
  author       = {Felix Bachmann and
                  Leonard J. Bass and
                  Mark Klein and
                  Charles P. Shelton},
  title        = {Designing software architectures to achieve quality attribute requirements},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {4},
  pages        = {153--165},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045037},
  doi          = {10.1049/IP-SEN:20045037},
  timestamp    = {Tue, 04 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BachmannBKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BahsoonEM05,
  author       = {Rami Bahsoon and
                  Wolfgang Emmerich and
                  Jonathan Macke},
  title        = {Using real options to select stable middleware-induced software architectures},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {4},
  pages        = {167--186},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045059},
  doi          = {10.1049/IP-SEN:20045059},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BahsoonEM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BenediktssonD05,
  author       = {Oddur Benediktsson and
                  Darren Dalcher},
  title        = {Estimating size in incremental software development projects},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {6},
  pages        = {253--259},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20050019},
  doi          = {10.1049/IP-SEN:20050019},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BenediktssonD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Bourahla05,
  author       = {Mustapha Bourahla},
  title        = {Distributed {CTL} model checking},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {6},
  pages        = {297--308},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20050001},
  doi          = {10.1049/IP-SEN:20050001},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Bourahla05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BrandMV05,
  author       = {Mark van den Brand and
                  Pierre{-}Etienne Moreau and
                  Jurgen J. Vinju},
  title        = {Generator of efficient strongly typed abstract syntax trees in Java},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {2},
  pages        = {70--78},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20041181},
  doi          = {10.1049/IP-SEN:20041181},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BrandMV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ChoppyHH05,
  author       = {Christine Choppy and
                  Denis Hatebur and
                  Maritta Heisel},
  title        = {Architectural patterns for problem frames},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {4},
  pages        = {198--208},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045061},
  doi          = {10.1049/IP-SEN:20045061},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ChoppyHH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CisterninoCEP05,
  author       = {Antonio Cisternino and
                  Diego Colombo and
                  Giorgio Ennas and
                  Daniele Picciaia},
  title        = {Robotics4.NET: software body for controlling robots},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {5},
  pages        = {215--222},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045030},
  doi          = {10.1049/IP-SEN:20045030},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/CisterninoCEP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CleophasW05,
  author       = {Loek G. Cleophas and
                  Bruce W. Watson},
  title        = {Taxonomy-based software construction of {SPARE} Time: a case study},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {1},
  pages        = {29--37},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20041265},
  doi          = {10.1049/IP-SEN:20041265},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/CleophasW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FornoMP05,
  author       = {Fabio Forno and
                  Giovanni Malnati and
                  Giuseppe Portelli},
  title        = {Design and implementation of a Bluetooth ad hoc network for indoor
                  positioning},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {5},
  pages        = {223--228},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045027},
  doi          = {10.1049/IP-SEN:20045027},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/FornoMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/GuoHHD05,
  author       = {Qiang Guo and
                  Robert M. Hierons and
                  Mark Harman and
                  Karnig Derderian},
  title        = {Constructing multiple unique input/output sequences using metaheuristic
                  optimisation techniques},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {3},
  pages        = {127--140},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045001},
  doi          = {10.1049/IP-SEN:20045001},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/GuoHHD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HallMNS05,
  author       = {Jon G. Hall and
                  Ivan Mistr{\'{\i}}k and
                  Bashar Nuseibeh and
                  Andr{\'{e}}s Silva},
  title        = {Relating software requirements and architectures},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {4},
  pages        = {141--142},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20059069},
  doi          = {10.1049/IP-SEN:20059069},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HallMNS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HassounCJ05,
  author       = {Youssef Hassoun and
                  Steve Counsell and
                  Roger Johnson},
  title        = {Dynamic coupling metric: proof of concept},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {6},
  pages        = {273--279},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045067},
  doi          = {10.1049/IP-SEN:20045067},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HassounCJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HemerL05,
  author       = {David Hemer and
                  Peter A. Lindsay},
  title        = {Template-based construction of verified software},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {1},
  pages        = {2--12},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20041006},
  doi          = {10.1049/IP-SEN:20041006},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HemerL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HenriquesPMLGW05,
  author       = {Pedro Rangel Henriques and
                  Maria Jo{\~{a}}o Varanda Pereira and
                  Marjan Mernik and
                  Mitja Lenic and
                  Jeff Gray and
                  Hui Wu},
  title        = {Automatic generation of language-based tools using the {LISA} system},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {2},
  pages        = {54--69},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20041317},
  doi          = {10.1049/IP-SEN:20041317},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HenriquesPMLGW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HirschfeldL05,
  author       = {Robert Hirschfeld and
                  Ralf L{\"{a}}mmel},
  title        = {Reflective designs},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {1},
  pages        = {38--51},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20041097},
  doi          = {10.1049/IP-SEN:20041097},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HirschfeldL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HofmeisterNS05,
  author       = {Christine Hofmeister and
                  Robert L. Nord and
                  Dilip Soni},
  title        = {Global Analysis: moving from software requirements specification to
                  structural views of the software architecture},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {4},
  pages        = {187--197},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045052},
  doi          = {10.1049/IP-SEN:20045052},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HofmeisterNS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/IbachMR0WM05,
  author       = {Peter Ibach and
                  Nikola Milanovic and
                  Jan Richling and
                  Vladimir Stantchev and
                  Andr{\'{e}} Wiesner and
                  Miroslaw Malek},
  title        = {{CERO:} {CE} RObots community},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {5},
  pages        = {210--214},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045023},
  doi          = {10.1049/IP-SEN:20045023},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/IbachMR0WM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/IversenM05,
  author       = {J{\o}rgen Iversen and
                  Peter D. Mosses},
  title        = {Constructive Action Semantics for Core {ML}},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {2},
  pages        = {79--98},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20041182},
  doi          = {10.1049/IP-SEN:20041182},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/IversenM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/JaenEMC05,
  author       = {Javier Jaen and
                  Jos{\'{e}} M. Esteve and
                  Jos{\'{e}} A. Mochol{\'{\i}} and
                  Jos{\'{e}} H. Can{\'{o}}s},
  title        = {MoMo: enabling hybrid museums},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {5},
  pages        = {245--251},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045029},
  doi          = {10.1049/IP-SEN:20045029},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/JaenEMC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Klint05,
  author       = {Paul Klint},
  title        = {Language definitions and tool generation},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {2},
  pages        = {53},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20059048},
  doi          = {10.1049/IP-SEN:20059048},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Klint05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LayaidaH05,
  author       = {Oussama Layaida and
                  Daniel Hagimont},
  title        = {Adaptive video streaming for embedded devices},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {5},
  pages        = {238--244},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045034},
  doi          = {10.1049/IP-SEN:20045034},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LayaidaH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LeeC05,
  author       = {Yueh{-}Feng Lee and
                  Ruei{-}Chuan Chang},
  title        = {Java-based component framework for dynamic reconfiguration},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {3},
  pages        = {110--118},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045016},
  doi          = {10.1049/IP-SEN:20045016},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LeeC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MaqboolBKS05,
  author       = {Onaiza Maqbool and
                  Haroon A. Babri and
                  Asim Karim and
                  S. Mansoor Sarwar},
  title        = {Metarule-guided association rule mining for program understanding},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {6},
  pages        = {281--296},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20050012},
  doi          = {10.1049/IP-SEN:20050012},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/MaqboolBKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Medina-MedinaMG05,
  author       = {Nuria Medina{-}Medina and
                  Fernando Molina{-}Ortiz and
                  Lina Garc{\'{\i}}a{-}Cabrera},
  title        = {Diversity of structures and adaptive methods on an evolutionary hypermedia
                  system},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {3},
  pages        = {119--126},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20050026},
  doi          = {10.1049/IP-SEN:20050026},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Medina-MedinaMG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Perry05,
  author       = {Nigel Perry},
  title        = {Implementing non-strict evaluation on OOVMs},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {6},
  pages        = {309--315},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045070},
  doi          = {10.1049/IP-SEN:20045070},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Perry05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RascheRLMP05,
  author       = {Andreas Rasche and
                  Bernhard Rabe and
                  Martin von L{\"{o}}wis and
                  Jan M{\"{o}}ller and
                  Andreas Polze},
  title        = {Real-time robotics and process control experiments in the Distributed
                  Control Lab},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {5},
  pages        = {229--235},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045025},
  doi          = {10.1049/IP-SEN:20045025},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/RascheRLMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/StephensonM05,
  author       = {Zo{\"{e}} R. Stephenson and
                  John A. McDermid},
  title        = {Deriving architectural flexibility requirements in safety-critical
                  systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {4},
  pages        = {143--152},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045050},
  doi          = {10.1049/IP-SEN:20045050},
  timestamp    = {Mon, 30 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/StephensonM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/VidakisF05,
  author       = {C. Vidakis and
                  Martin Fleury},
  title        = {Engineering multicast group key distribution: a review},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {6},
  pages        = {260--272},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045069},
  doi          = {10.1049/IP-SEN:20045069},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/VidakisF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Watkins05,
  author       = {D. Watkins},
  title        = {Editorial - Microsoft Research embedded systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {5},
  pages        = {209},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20059072},
  doi          = {10.1049/IP-SEN:20059072},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Watkins05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/YeL05,
  author       = {Huilin Ye and
                  Hanchang Liu},
  title        = {Approach to modelling feature variability and dependencies in software
                  product lines},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {3},
  pages        = {101--109},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20045007},
  doi          = {10.1049/IP-SEN:20045007},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/YeL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Zimmermann05,
  author       = {Wolf Zimmermann},
  title        = {Editorial reusable software libraries},
  journal      = {{IEE} Proc. Softw.},
  volume       = {152},
  number       = {1},
  pages        = {1},
  year         = {2005},
  url          = {https://doi.org/10.1049/ip-sen:20051253},
  doi          = {10.1049/IP-SEN:20051253},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Zimmermann05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/AnagnostopoulosALK04,
  author       = {Ioannis Anagnostopoulos and
                  Christos Anagnostopoulos and
                  Vassilis Loumos and
                  Eleftherios Kayafas},
  title        = {Classifying Web pages employing a probabilistic neural network},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {3},
  pages        = {139--152},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040121},
  doi          = {10.1049/IP-SEN:20040121},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/AnagnostopoulosALK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Barla-SzaboWK04,
  author       = {Gabor Barla{-}Szabo and
                  Bruce W. Watson and
                  Derrick G. Kourie},
  title        = {Taxonomy of directed graph representations},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {6},
  pages        = {257--264},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20041180},
  doi          = {10.1049/IP-SEN:20041180},
  timestamp    = {Thu, 13 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Barla-SzaboWK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Evans04,
  author       = {James Huw Evans},
  title        = {{DRASTIC} and {GRUMPS:} design and implementation of two run-time
                  evolution frameworks},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {2},
  pages        = {30--48},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040081},
  doi          = {10.1049/IP-SEN:20040081},
  timestamp    = {Tue, 24 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Evans04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FranceRGG04,
  author       = {Robert B. France and
                  Indrakshi Ray and
                  Geri Georg and
                  Sudipto Ghosh},
  title        = {Aspect-oriented approach to early design modelling},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {4},
  pages        = {173--186},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040920},
  doi          = {10.1049/IP-SEN:20040920},
  timestamp    = {Wed, 26 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/FranceRGG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/GuanAW04,
  author       = {Lin Guan and
                  Irfan{-}Ullah Awan and
                  Michael E. Woodward},
  title        = {Stochastic modelling of random early detection based congestion control
                  mechanism for bursty and correlated traffic},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {5},
  pages        = {240--247},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20041089},
  doi          = {10.1049/IP-SEN:20041089},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/GuanAW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HeJSCN04,
  author       = {Ligang He and
                  Stephen A. Jarvis and
                  Daniel P. Spooner and
                  Xinuo Chen and
                  Graham R. Nudd},
  title        = {Hybrid performance-based workload management for multiclusters and
                  grids},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {5},
  pages        = {224--231},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20041088},
  doi          = {10.1049/IP-SEN:20041088},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HeJSCN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HeavenF04,
  author       = {William Heaven and
                  Anthony Finkelstein},
  title        = {{UML} profile to support requirements engineering with {KAOS}},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {1},
  pages        = {10--28},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040297},
  doi          = {10.1049/IP-SEN:20040297},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HeavenF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Herrmann04,
  author       = {Stephan Herrmann},
  title        = {Sustainable architectures by combining flexibility and strictness
                  in Object Teams},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {2},
  pages        = {57--66},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040168},
  doi          = {10.1049/IP-SEN:20040168},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Herrmann04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/JansenSGB04,
  author       = {Anton Jansen and
                  Rein Smedinga and
                  Jilles van Gurp and
                  Jan Bosch},
  title        = {First class feature abstractions for product derivation},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {4},
  pages        = {187--198},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040922},
  doi          = {10.1049/IP-SEN:20040922},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/JansenSGB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LammelS04,
  author       = {Ralf L{\"{a}}mmel and
                  Christian Stenzel},
  title        = {Semantics-directed implementation of method-call interception},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {2},
  pages        = {109--128},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040080},
  doi          = {10.1049/IP-SEN:20040080},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LammelS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LiuC04,
  author       = {Hao{-}Ran Liu and
                  Tien{-}Fu Chen},
  title        = {Scalable locality-aware event dispatching mechanism for network servers},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {3},
  pages        = {129--138},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040122},
  doi          = {10.1049/IP-SEN:20040122},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LiuC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MoorselW04,
  author       = {Aad P. A. van Moorsel and
                  Katinka Wolter},
  title        = {Optimal restart times for moments of completion time},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {5},
  pages        = {219--223},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20041090},
  doi          = {10.1049/IP-SEN:20041090},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/MoorselW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/NoppenATN04,
  author       = {Joost Noppen and
                  Mehmet Aksit and
                  Bedir Tekinerdogan and
                  Victor F. Nicola},
  title        = {Market-driven approach based on Markov decision theory for optimal
                  use of resources in software development},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {2},
  pages        = {85--94},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040079},
  doi          = {10.1049/IP-SEN:20040079},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/NoppenATN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/OriolS04,
  author       = {Manuel Oriol and
                  Giovanna Di Marzo Serugendo},
  title        = {Disconnected service architecture for unanticipated run-time evolution
                  of code},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {2},
  pages        = {95--108},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040077},
  doi          = {10.1049/IP-SEN:20040077},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/OriolS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/PerryM04,
  author       = {Nigel Perry and
                  Erik Meijer},
  title        = {Implementing functional languages on object-oriented virtual machines},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {1},
  pages        = {1--9},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040320},
  doi          = {10.1049/IP-SEN:20040320},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/PerryM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/PratapHC04,
  author       = {Ravi Pratap and
                  Frank Hunleth and
                  Ron Cytron},
  title        = {Building fully customisable middleware using an aspect-oriented approach},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {4},
  pages        = {199--218},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040923},
  doi          = {10.1049/IP-SEN:20040923},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/PratapHC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RashidMT04,
  author       = {Awais Rashid and
                  Ana M. D. Moreira and
                  Bedir Tekinerdogan},
  title        = {Special issue on Early aspects: aspect-oriented requirements engineering
                  and architecture design},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {4},
  pages        = {153--156},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20041027},
  doi          = {10.1049/IP-SEN:20041027},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/RashidMT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RobertsB04,
  author       = {Don Roberts and
                  John Brant},
  title        = {Tools for making impossible changes - experiences with a tool for
                  transforming large Smalltalk programs},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {2},
  pages        = {49--56},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040078},
  doi          = {10.1049/IP-SEN:20040078},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/RobertsB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SchaferKR04,
  author       = {J. Ben Schafer and
                  Joseph A. Konstan and
                  John Riedl},
  title        = {View through MetaLens: usage patterns for a meta-recommendation system},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {6},
  pages        = {267--279},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20041166},
  doi          = {10.1049/IP-SEN:20041166},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/SchaferKR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SunHLC04,
  author       = {Zhili Sun and
                  Dan He and
                  Lei Liang and
                  Haitham S. Cruickshank},
  title        = {Internet QoS and traffic modelling},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {5},
  pages        = {248},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20041087},
  doi          = {10.1049/IP-SEN:20041087},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/SunHLC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ThomasBK04,
  author       = {Nigel Thomas and
                  Jeremy T. Bradley and
                  William J. Knottenbelt},
  title        = {Stochastic analysis of scheduling strategies in a Grid-based resource
                  model},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {5},
  pages        = {232--239},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20041091},
  doi          = {10.1049/IP-SEN:20041091},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ThomasBK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/WhittleA04,
  author       = {Jon Whittle and
                  Jo{\~{a}}o Ara{\'{u}}jo},
  title        = {Scenario modelling with aspects},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {4},
  pages        = {157--172},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040921},
  doi          = {10.1049/IP-SEN:20040921},
  timestamp    = {Tue, 24 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/WhittleA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Zdun04,
  author       = {Uwe Zdun},
  title        = {Pattern language for the design of aspect languages and aspect composition
                  frameworks},
  journal      = {{IEE} Proc. Softw.},
  volume       = {151},
  number       = {2},
  pages        = {67--84},
  year         = {2004},
  url          = {https://doi.org/10.1049/ip-sen:20040082},
  doi          = {10.1049/IP-SEN:20040082},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Zdun04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Al-QassasAO03,
  author       = {Raad S. Al{-}Qassas and
                  Abdel Elah Al{-}Ayyoub and
                  Mohamed Ould{-}Khaoua},
  title        = {Bandwidth-efficient routing protocol for mobile ad hoc networks},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {4},
  pages        = {230--234},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030811},
  doi          = {10.1049/IP-SEN:20030811},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Al-QassasAO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/AttardiC03,
  author       = {Giuseppe Attardi and
                  Antonio Cisternino},
  title        = {Multistage programming support in {CLI}},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {5},
  pages        = {275--282},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030990},
  doi          = {10.1049/IP-SEN:20030990},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/AttardiC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BarnesW03,
  author       = {Fred R. M. Barnes and
                  Peter H. Welch},
  title        = {Prioritised dynamic communicating and mobile processes},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {2},
  pages        = {121--136},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030182},
  doi          = {10.1049/IP-SEN:20030182},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BarnesW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BenediktssonD03,
  author       = {Oddur Benediktsson and
                  Darren Dalcher},
  title        = {Effort estimation in incremental software development},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {6},
  pages        = {351--358},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20031056},
  doi          = {10.1049/IP-SEN:20031056},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BenediktssonD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BerlingR03,
  author       = {Tomas Berling and
                  Per Runeson},
  title        = {Evaluation of a perspective based review method applied in an industrial
                  setting},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {3},
  pages        = {177--184},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030483},
  doi          = {10.1049/IP-SEN:20030483},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BerlingR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Berry03,
  author       = {Robert F. Berry},
  title        = {Trends, challenges and opportunities for performance engineering with
                  modern business software},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {4},
  pages        = {223--229},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030806},
  doi          = {10.1049/IP-SEN:20030806},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Berry03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BrearWWYBK03,
  author       = {Douglas J. Brear and
                  Thibaut Weise and
                  Tim Wiffen and
                  Kwok Cheung Yeung and
                  Sarah A. M. Bennett and
                  Paul H. J. Kelly},
  title        = {Search strategies for Java bottleneck location by dynamic instrumentation},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {4},
  pages        = {235--242},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030807},
  doi          = {10.1049/IP-SEN:20030807},
  timestamp    = {Sat, 04 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BrearWWYBK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CavalcantiW03,
  author       = {Ana Cavalcanti and
                  Jim Woodcock},
  title        = {Predicate transformers in the semantics of Circus},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {2},
  pages        = {85--94},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030131},
  doi          = {10.1049/IP-SEN:20030131},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/CavalcantiW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ClarkeDHHJLMMRRS03,
  author       = {John A. Clark and
                  Jos{\'{e}} Javier Dolado and
                  Mark Harman and
                  Robert M. Hierons and
                  Bryan F. Jones and
                  M. Lumkin and
                  Brian S. Mitchell and
                  Spiros Mancoridis and
                  K. Rees and
                  Marc Roper and
                  Martin J. Shepperd},
  title        = {Formulating software engineering as a search problem},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {3},
  pages        = {161--175},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030559},
  doi          = {10.1049/IP-SEN:20030559},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ClarkeDHHJLMMRRS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/DebattistaVC03,
  author       = {Kurt Debattista and
                  Kevin Vella and
                  J. Cordina},
  title        = {Wait-free cache-affinity thread scheduling},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {2},
  pages        = {137--146},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030127},
  doi          = {10.1049/IP-SEN:20030127},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/DebattistaVC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/East03,
  author       = {I. East},
  title        = {The Honeysuckle programming language: an overview},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {2},
  pages        = {95--107},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030130},
  doi          = {10.1049/IP-SEN:20030130},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/East03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/EngelbrechtK03,
  author       = {R. L. Engelbrecht and
                  Derrick G. Kourie},
  title        = {Translating smalltalk blocks into Java},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {3},
  pages        = {203--211},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030582},
  doi          = {10.1049/IP-SEN:20030582},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/EngelbrechtK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/GarcezRNK03,
  author       = {Artur S. d'Avila Garcez and
                  Alessandra Russo and
                  Bashar Nuseibeh and
                  Jeff Kramer},
  title        = {Combining abductive reasoning and inductive learning to evolve requirements
                  specifications},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {1},
  pages        = {25--38},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030207},
  doi          = {10.1049/IP-SEN:20030207},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/GarcezRNK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/GuntenspergerG03,
  author       = {Raphael G{\"{u}}ntensperger and
                  J{\"{u}}rg Gutknecht},
  title        = {Activities and channels: C{\#} language extensions for concurrency
                  control and remote object communication},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {5},
  pages        = {315--322},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030989},
  doi          = {10.1049/IP-SEN:20030989},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/GuntenspergerG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Hilderink03,
  author       = {Gerald H. Hilderink},
  title        = {Graphical modelling language for specifying concurrency based on {CSP}},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {2},
  pages        = {108--120},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030132},
  doi          = {10.1049/IP-SEN:20030132},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Hilderink03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Jarvis03,
  author       = {Stephen A. Jarvis},
  title        = {Performance engineering},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {4},
  pages        = {213},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030827},
  doi          = {10.1049/IP-SEN:20030827},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Jarvis03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KerbysonHW03,
  author       = {Darren J. Kerbyson and
                  Adolfy Hoisie and
                  Harvey J. Wasserman},
  title        = {Modelling the performance of large-scale systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {4},
  pages        = {214--222},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030808},
  doi          = {10.1049/IP-SEN:20030808},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KerbysonHW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Kettunen03,
  author       = {Petri Kettunen},
  title        = {Managing embedded software project team knowledge},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {6},
  pages        = {359},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20031173},
  doi          = {10.1049/IP-SEN:20031173},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Kettunen03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KeungDJN03,
  author       = {H{\'{e}}l{\`{e}}ne N. Lim Choi Keung and
                  Justin R. D. Dyson and
                  Stephen A. Jarvis and
                  Graham R. Nudd},
  title        = {Performance evaluation of a grid resource monitoring and discovery
                  service},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {4},
  pages        = {243--251},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030809},
  doi          = {10.1049/IP-SEN:20030809},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KeungDJN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KouvatsosM03,
  author       = {Demetres D. Kouvatsos and
                  Is{-}Haka Mkwawa},
  title        = {Multicast communication in grid computing networks with background
                  traffic},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {4},
  pages        = {257--264},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030810},
  doi          = {10.1049/IP-SEN:20030810},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KouvatsosM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Lawrence03,
  author       = {Adrian E. Lawrence},
  title        = {Extending {CSP:} denotational semantics},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {2},
  pages        = {51--60},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030128},
  doi          = {10.1049/IP-SEN:20030128},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Lawrence03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Lawrence03a,
  author       = {Adrian E. Lawrence},
  title        = {{CSP} extended: imperative state and true concurrency},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {2},
  pages        = {61--69},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030133},
  doi          = {10.1049/IP-SEN:20030133},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Lawrence03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LethbridgeA03,
  author       = {Timothy Lethbridge and
                  Nicolas Anquetil},
  title        = {Comparative study of clustering algorithms and abstract representations
                  for software remodularization},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {3},
  pages        = {185--201},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030581},
  doi          = {10.1049/IP-SEN:20030581},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LethbridgeA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MilesPDLDPM03,
  author       = {Simon Miles and
                  Juri Papay and
                  Vijay Dialani and
                  Michael Luck and
                  Keith Decker and
                  Terry R. Payne and
                  Luc Moreau},
  title        = {Personalised Grid service discovery},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {4},
  pages        = {252--256},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030812},
  doi          = {10.1049/IP-SEN:20030812},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/MilesPDLDPM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/NavetM03,
  author       = {Nicolas Navet and
                  J{\"{o}}rn Migge},
  title        = {Fine tuning the scheduling of tasks through a genetic algorithm: application
                  to Posix1003.1b compliant systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {1},
  pages        = {13--24},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030205},
  doi          = {10.1049/IP-SEN:20030205},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/NavetM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/NienaltowskiAM03,
  author       = {Piotr Nienaltowski and
                  Volkan Arslan and
                  Bertrand Meyer},
  title        = {Concurrent object-oriented programming on .NET},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {5},
  pages        = {308--314},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030992},
  doi          = {10.1049/IP-SEN:20030992},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/NienaltowskiAM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/PedersenV03,
  author       = {Kei Simon Pedersen and
                  Brian Vinter},
  title        = {Java PastSet: a structured distributed shared memory system},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {2},
  pages        = {147--153},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030135},
  doi          = {10.1049/IP-SEN:20030135},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/PedersenV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/PiessensJJ03,
  author       = {Frank Piessens and
                  Bart Jacobs and
                  Wouter Joosen},
  title        = {Software security: experiments on the .NET common language run-time
                  and the shared source common language infrastructure},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {5},
  pages        = {303--307},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030985},
  doi          = {10.1049/IP-SEN:20030985},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/PiessensJJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Pugh03,
  author       = {Keith Pugh},
  title        = {Configuration discovery and mapping of a home network},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {2},
  pages        = {155--160},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030134},
  doi          = {10.1049/IP-SEN:20030134},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Pugh03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Rissanen03,
  author       = {Erik Rissanen},
  title        = {Server based application level authorisation for Rotor},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {5},
  pages        = {291--295},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030991},
  doi          = {10.1049/IP-SEN:20030991},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Rissanen03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SelfFD03,
  author       = {Robert P. Self and
                  Martin Fleury and
                  Andy C. Downton},
  title        = {Design methodology for construction of asynchronous pipelines with
                  Handel-C},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {1},
  pages        = {39--47},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030206},
  doi          = {10.1049/IP-SEN:20030206},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/SelfFD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SimonsPC03,
  author       = {Christopher L. Simons and
                  Ian C. Parmee and
                  P. D. Coward},
  title        = {35 years on: to what extent has software engineering design achieved
                  its goals?},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {6},
  pages        = {337--350},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20031198},
  doi          = {10.1049/IP-SEN:20031198},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/SimonsPC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SmithPH03,
  author       = {Marc L. Smith and
                  Rebecca J. Parsons and
                  Charles E. Hughes},
  title        = {View-centric reasoning for Linda and Tuple Space computation},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {2},
  pages        = {71--83},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030129},
  doi          = {10.1049/IP-SEN:20030129},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/SmithPH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/TranMA03,
  author       = {Nam Tran II and
                  Christine Mingins and
                  David Abramson},
  title        = {Design and implementation of assertions for the common language infrastructure},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {5},
  pages        = {329--336},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030988},
  doi          = {10.1049/IP-SEN:20030988},
  timestamp    = {Tue, 20 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/TranMA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/VaswaniS03,
  author       = {Kapil Vaswani and
                  Y. N. Srikant},
  title        = {Dynamic recompilation and profile-guided optimisations for a .NET
                  {JIT} compiler},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {5},
  pages        = {296--302},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030986},
  doi          = {10.1049/IP-SEN:20030986},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/VaswaniS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/VeigaF03,
  author       = {Lu{\'{\i}}s Veiga and
                  Paulo Ferreira},
  title        = {Complete distributed garbage collection: an experience with Rotor},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {5},
  pages        = {283--290},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030993},
  doi          = {10.1049/IP-SEN:20030993},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/VeigaF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Vogels03,
  author       = {Werner Vogels},
  title        = {Benchmarking the {CLI} for high performance computing},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {5},
  pages        = {266--274},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030987},
  doi          = {10.1049/IP-SEN:20030987},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Vogels03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/White03,
  author       = {Allan L. White},
  title        = {Comments on the probability model for the modified condition/decision
                  coverage method of testing software},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {1},
  pages        = {3--11},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030202},
  doi          = {10.1049/IP-SEN:20030202},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/White03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/WosLM03,
  author       = {Albrecht W{\"{o}}{\ss} and
                  Markus L{\"{o}}berbauer and
                  Hanspeter M{\"{o}}ssenb{\"{o}}ck},
  title        = {Compiler generation tools for C{\#}},
  journal      = {{IEE} Proc. Softw.},
  volume       = {150},
  number       = {5},
  pages        = {323--328},
  year         = {2003},
  url          = {https://doi.org/10.1049/ip-sen:20030984},
  doi          = {10.1049/IP-SEN:20030984},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/WosLM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/AsklundB02,
  author       = {Ulf Asklund and
                  Lars Bendix},
  title        = {A study of configuration management in open source software projects},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {1},
  pages        = {40--46},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020196},
  doi          = {10.1049/IP-SEN:20020196},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/AsklundB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BertolinoMMLP02,
  author       = {Antonia Bertolino and
                  Eda Marchetti and
                  Raffaela Mirandola and
                  Gaetano Lombardi and
                  Emilia Peciola},
  title        = {Experience of applying statistical control techniques to the function
                  test phase of a large telecommunications system},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {4},
  pages        = {93--101},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020546},
  doi          = {10.1049/IP-SEN:20020546},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BertolinoMMLP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ChenPT02,
  author       = {Tsong Yueh Chen and
                  Pak{-}Lok Poon and
                  T. H. Tse},
  title        = {Classification-tree restructuring methodologies: a new perspective},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {2},
  pages        = {65--74},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020335},
  doi          = {10.1049/IP-SEN:20020335},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ChenPT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CoyleMM02,
  author       = {Eamomn A. Coyle and
                  Liam P. Maguire and
                  T. Martin McGinnity},
  title        = {Design philosophy for self-repair of electronic systems using the
                  {UML}},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {6},
  pages        = {179--186},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020793},
  doi          = {10.1049/IP-SEN:20020793},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/CoyleMM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CrowstonS02,
  author       = {Kevin Crowston and
                  Barbara Scozzi},
  title        = {Open source software projects as virtual organisations: competency
                  rallying for software development},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {1},
  pages        = {3--17},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020197},
  doi          = {10.1049/IP-SEN:20020197},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/CrowstonS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FellerFH02,
  author       = {Joseph Feller and
                  Brian Fitzgerald and
                  Andr{\'{e}} van der Hoek},
  title        = {Talking about {OSS:} Making Sense of the Bazaar: 1st Workshop on Open
                  Source Software Engineering - Workshop Report},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {1},
  pages        = {52},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020420},
  doi          = {10.1049/IP-SEN:20020420},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/FellerFH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/GoldB02,
  author       = {Nicolas Gold and
                  Keith H. Bennett},
  title        = {Hypothesis-based concept assignment in software maintenance},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {4},
  pages        = {103--110},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020549},
  doi          = {10.1049/IP-SEN:20020549},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/GoldB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HallBR02,
  author       = {Tracy Hall and
                  Sarah Beecham and
                  Austen Rainer},
  title        = {Requirements problems in twelve software companies: an empirical analysis},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {5},
  pages        = {153--160},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020694},
  doi          = {10.1049/IP-SEN:20020694},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HallBR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HallingB02,
  author       = {Michael Halling and
                  Stefan Biffl},
  title        = {Investigating the influence of software inspection process parameters
                  on inspection meeting performance},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {5},
  pages        = {115--121},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020719},
  doi          = {10.1049/IP-SEN:20020719},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HallingB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HissamPW02,
  author       = {Scott A. Hissam and
                  Daniel Plakosh and
                  Charles B. Weinstock},
  title        = {Trust and vulnerability in open source software},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {1},
  pages        = {47--51},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020208},
  doi          = {10.1049/IP-SEN:20020208},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HissamPW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HostJNB02,
  author       = {Martin H{\"{o}}st and
                  Enrico Johansson and
                  A. Nor{\'{e}}n and
                  Lars Bratthall},
  title        = {Benchmarking of processes for managing product platforms: a case study},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {5},
  pages        = {137--142},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020633},
  doi          = {10.1049/IP-SEN:20020633},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HostJNB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KarlstromRW02,
  author       = {Daniel Karlstr{\"{o}}m and
                  Per Runeson and
                  Claes Wohlin},
  title        = {Aggregating viewpoints for strategic software process improvement-a
                  method and a case study},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {5},
  pages        = {143--152},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020696},
  doi          = {10.1049/IP-SEN:20020696},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KarlstromRW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KienzleR02,
  author       = {J{\"{o}}rg Kienzle and
                  Alexander B. Romanovsky},
  title        = {Framework based on design patterns for providing persistence in object-oriented
                  programming languages},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {3},
  pages        = {77--85},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020465},
  doi          = {10.1049/IP-SEN:20020465},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/KienzleR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KirsoppS02,
  author       = {Colin Kirsopp and
                  Martin J. Shepperd},
  title        = {Making inferences with small numbers of training sets},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {5},
  pages        = {123--130},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020695},
  doi          = {10.1049/IP-SEN:20020695},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KirsoppS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MendesMC02,
  author       = {Emilia Mendes and
                  Nile Mosley and
                  Steve Counsell},
  title        = {Comparison of Web size measures for predicting Web design and authoring
                  effort},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {3},
  pages        = {86--92},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020337},
  doi          = {10.1049/IP-SEN:20020337},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/MendesMC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MullerH02,
  author       = {Matthias M. M{\"{u}}ller and
                  Oliver Hagner},
  title        = {Experiment about test-first programming},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {5},
  pages        = {131--136},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020540},
  doi          = {10.1049/IP-SEN:20020540},
  timestamp    = {Mon, 02 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/MullerH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Renaud02,
  author       = {Karen Renaud},
  title        = {Experience with statically-generated proxies for facilitating Java
                  runtime specialisation},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {6},
  pages        = {169--176},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020909},
  doi          = {10.1049/IP-SEN:20020909},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Renaud02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Scacchi02,
  author       = {Walt Scacchi},
  title        = {Understanding the requirements for developing open source software
                  systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {1},
  pages        = {24--39},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020202},
  doi          = {10.1049/IP-SEN:20020202},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Scacchi02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SchachJWHO02,
  author       = {Stephen R. Schach and
                  Bo Jin and
                  David R. Wright and
                  Gillian Z. Heller and
                  A. Jefferson Offutt},
  title        = {Maintainability of the Linux kernel},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {1},
  pages        = {18--23},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020198},
  doi          = {10.1049/IP-SEN:20020198},
  timestamp    = {Mon, 07 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/SchachJWHO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SerranoCP02,
  author       = {Manuel A. Serrano and
                  Coral Calero and
                  Mario Piattini},
  title        = {Validating metrics for data warehouses},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {5},
  pages        = {161--166},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020697},
  doi          = {10.1049/IP-SEN:20020697},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/SerranoCP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/TaylorBD02,
  author       = {Chris Taylor and
                  Eerke A. Boiten and
                  John Derrick},
  title        = {{ODP} computational-to-information viewpoint mappings: a translation
                  of {CORBA} {IDL} to {Z}},
  journal      = {{IEE} Proc. Softw.},
  volume       = {149},
  number       = {2},
  pages        = {57--63},
  year         = {2002},
  url          = {https://doi.org/10.1049/ip-sen:20020318},
  doi          = {10.1049/IP-SEN:20020318},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/TaylorBD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BishopB01,
  author       = {Judith Bishop and
                  Louis Botha},
  title        = {Configuring distributed systems in a Java-based environment},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {2},
  pages        = {65--74},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010419},
  doi          = {10.1049/IP-SEN:20010419},
  timestamp    = {Mon, 22 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/BishopB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BlairBAJ01,
  author       = {Lynne Blair and
                  Gordon S. Blair and
                  Anders Andersen and
                  Trevor Jones},
  title        = {Formal support for dynamic QoS management in the development of open
                  component-based distributed systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {3},
  pages        = {89--97},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010507},
  doi          = {10.1049/IP-SEN:20010507},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BlairBAJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ChoKCB01,
  author       = {Seung Mo Cho and
                  Hyung Ho Kim and
                  Sung Deok Cha and
                  Doo{-}Hwan Bae},
  title        = {Specification and validation of dynamic systems using temporal logic},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {4},
  pages        = {135--140},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010558},
  doi          = {10.1049/IP-SEN:20010558},
  timestamp    = {Fri, 01 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ChoKCB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/EksinE01,
  author       = {Ibrahim Eksin and
                  Osman Kaan Erol},
  title        = {Evolutionary algorithm with modifications in the reproduction phase},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {2},
  pages        = {75--80},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010503},
  doi          = {10.1049/IP-SEN:20010503},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/EksinE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FleurySD01,
  author       = {Martin Fleury and
                  Robert P. Self and
                  Andy C. Downton},
  title        = {Hardware compilation for software engineers: an {ATM} example},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {1},
  pages        = {31--42},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010213},
  doi          = {10.1049/IP-SEN:20010213},
  timestamp    = {Wed, 27 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/FleurySD01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Grealish01,
  author       = {Colin Grealish},
  title        = {Formal semantics of an industrially applicable variant of the Specification
                  and Description Language},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {4},
  pages        = {141--148},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010559},
  doi          = {10.1049/IP-SEN:20010559},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Grealish01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HayesFL01,
  author       = {Ian J. Hayes and
                  Colin J. Fidge and
                  Karl Lermer},
  title        = {Semantic characterisation of dead control-flow paths},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {6},
  pages        = {175--186},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010834},
  doi          = {10.1049/IP-SEN:20010834},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HayesFL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HeffernanB01,
  author       = {Donal Heffernan and
                  A. Bohannon},
  title        = {Real-time design in a distributed control network application layer
                  environment},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {5},
  pages        = {149--155},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010631},
  doi          = {10.1049/IP-SEN:20010631},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HeffernanB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HerrmannM01,
  author       = {Stephan Herrmann and
                  Mira Mezini},
  title        = {Connectors for bridging mismatches between the components of a software
                  engineering environment},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {3},
  pages        = {104--111},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010535},
  doi          = {10.1049/IP-SEN:20010535},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HerrmannM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HongB01,
  author       = {Jang{-}Eui Hong and
                  Doo{-}Hwan Bae},
  title        = {High-level Petri net for incremental analysis of object-oriented system
                  requirements},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {1},
  pages        = {11--18},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010242},
  doi          = {10.1049/IP-SEN:20010242},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HongB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KitchenhamPMS01,
  author       = {Barbara A. Kitchenham and
                  Lesley Pickard and
                  Stephen G. MacDonell and
                  Martin J. Shepperd},
  title        = {What accuracy statistics really measure},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {3},
  pages        = {81--85},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010506},
  doi          = {10.1049/IP-SEN:20010506},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KitchenhamPMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MoretoE01,
  author       = {D. Moreto and
                  Markus Endler},
  title        = {Evaluating composite events using shared trees},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {1},
  pages        = {1--10},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010241},
  doi          = {10.1049/IP-SEN:20010241},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/MoretoE01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/PetalidisG01,
  author       = {N. Petalidis and
                  D. S. Gill},
  title        = {Introducing monitoring events to timed-CSP},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {1},
  pages        = {19--29},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010244},
  doi          = {10.1049/IP-SEN:20010244},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/PetalidisG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/PickardKL01,
  author       = {Lesley Pickard and
                  Barbara A. Kitchenham and
                  Stephen G. Linkman},
  title        = {Using simulated data sets to compare data analysis techniques used
                  for software cost modelling},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {6},
  pages        = {165--174},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010621},
  doi          = {10.1049/IP-SEN:20010621},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/PickardKL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Rashid01,
  author       = {Awais Rashid},
  title        = {Aspect-oriented and component-based software engineering},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {3},
  pages        = {87--88},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010458},
  doi          = {10.1049/IP-SEN:20010458},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Rashid01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RashidS01,
  author       = {Awais Rashid and
                  Peter Sawyer},
  title        = {Aspect-orientation and database systems: an effective customisation
                  approach},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {5},
  pages        = {156--164},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010732},
  doi          = {10.1049/IP-SEN:20010732},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/RashidS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RastoferB01,
  author       = {Uwe Rastofer and
                  Frank Bellosa},
  title        = {Component-based software engineering for distributed embedded real-time
                  systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {3},
  pages        = {99--103},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010536},
  doi          = {10.1049/IP-SEN:20010536},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/RastoferB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/TsaiSP01,
  author       = {Bor{-}Yuan Tsai and
                  Simon Stobart and
                  Norman Parrington},
  title        = {Employing data flow testing on object-oriented classes},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {2},
  pages        = {56--64},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010448},
  doi          = {10.1049/IP-SEN:20010448},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/TsaiSP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/TyanH01,
  author       = {Hung{-}Ying Tyan and
                  Jennifer C. Hou},
  title        = {Rate-based packet scheduling paradigm},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {4},
  pages        = {122--134},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010508},
  doi          = {10.1049/IP-SEN:20010508},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/TyanH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/WatersLAUM01,
  author       = {A. Gill Waters and
                  Peter F. Linington and
                  David H. Akehurst and
                  Pete Utton and
                  Gino Martin},
  title        = {Permabase: predicting the performance of distributed systems at the
                  design stage},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {4},
  pages        = {113--121},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010553},
  doi          = {10.1049/IP-SEN:20010553},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/WatersLAUM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/YeL01,
  author       = {Huilin Ye and
                  Bruce W. N. Lo},
  title        = {Towards a self-structuring software library},
  journal      = {{IEE} Proc. Softw.},
  volume       = {148},
  number       = {2},
  pages        = {45--55},
  year         = {2001},
  url          = {https://doi.org/10.1049/ip-sen:20010447},
  doi          = {10.1049/IP-SEN:20010447},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/YeL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BlairABCS00,
  author       = {Gordon S. Blair and
                  Anders Andersen and
                  Lynne Blair and
                  Geoff Coulson and
                  David S{\'{a}}nchez},
  title        = {Supporting dynamic QoS management functions in a reflective middleware
                  platform},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {1},
  pages        = {13--21},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000327},
  doi          = {10.1049/IP-SEN:20000327},
  timestamp    = {Sat, 25 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/BlairABCS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Bott00,
  author       = {M. F. Bott},
  title        = {Software as a corporate asset},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {2},
  pages        = {31--36},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000600},
  doi          = {10.1049/IP-SEN:20000600},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Bott00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ChaudetGOW00,
  author       = {Christelle Chaudet and
                  Robert Mark Greenwood and
                  Fl{\'{a}}vio Oquendo and
                  Brian Warboys},
  title        = {Architecture-driven software engineering: Specifying, generating,
                  and evolving component- based software systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {6},
  pages        = {203--214},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000916},
  doi          = {10.1049/IP-SEN:20000916},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/ChaudetGOW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ChienFE00,
  author       = {Steve A. Chien and
                  Forest Fisher and
                  Tara A. Estlin},
  title        = {Automated software module reconfiguration through the use of artificial
                  intelligence planning techniques},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {5},
  pages        = {186--192},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000899},
  doi          = {10.1049/IP-SEN:20000899},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ChienFE00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CleggAWBB00,
  author       = {Ben Clegg and
                  Ian Alexander and
                  Stuart Wingrove and
                  John Boardman and
                  A. Boardman},
  title        = {Tool support for integrating extended enterprises},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {4},
  pages        = {101--108},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000907},
  doi          = {10.1049/IP-SEN:20000907},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/CleggAWBB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CortellessaLM00,
  author       = {Vittorio Cortellessa and
                  Giuseppe Iazeolla and
                  Raffaela Mirandola},
  title        = {Early generation of performance models for object-oriented systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {3},
  pages        = {61--72},
  year         = {2000},
  url          = {https://doi.org/10.1049/iip-sen:20000755},
  doi          = {10.1049/IIP-SEN:20000755},
  timestamp    = {Sun, 11 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/CortellessaLM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/EgyedMG00,
  author       = {Alexander Egyed and
                  Nenad Medvidovic and
                  Cristina Gacek},
  title        = {Component-based perspective on software mismatch detection and resolution},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {6},
  pages        = {225--236},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000915},
  doi          = {10.1049/IP-SEN:20000915},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/EgyedMG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FleuryDC00,
  author       = {Martin Fleury and
                  Andy C. Downton and
                  Adrian F. Clark},
  title        = {Analysis prediction template toolkit {(APTT)} for object-based computation},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {2},
  pages        = {37--47},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000572},
  doi          = {10.1049/IP-SEN:20000572},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/FleuryDC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FontouraBML00,
  author       = {Marcus Fontoura and
                  Christiano Braga and
                  Leonardo Mendon{\c{c}}a de Moura and
                  Carlos Lucena},
  title        = {Using domain specific languages to instantiate object-oriented frameworks},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {4},
  pages        = {109--116},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000791},
  doi          = {10.1049/IP-SEN:20000791},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/FontouraBML00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Gonzalez00,
  author       = {P. A. Gonz{\'{a}}lez},
  title        = {Applying knowledge modelling and case-based reasoning to software
                  reuse},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {5},
  pages        = {169--177},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000897},
  doi          = {10.1049/IP-SEN:20000897},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Gonzalez00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/GrossJE00,
  author       = {Hans{-}Gerhard Gro{\ss} and
                  Bryan F. Jones and
                  David E. Eyres},
  title        = {Structural performance measure of evolutionary testing applied to
                  worst-case timing of real-time systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {2},
  pages        = {25--30},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000525},
  doi          = {10.1049/IP-SEN:20000525},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/GrossJE00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HerreroM00,
  author       = {Juan Carlos Herrero and
                  Jos{\'{e}} Mira},
  title        = {Causality levels in {SCHEMA:} a knowledge edition interface},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {5},
  pages        = {193--200},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000900},
  doi          = {10.1049/IP-SEN:20000900},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HerreroM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HitchensV00,
  author       = {Michael Hitchens and
                  Vijay Varadharajan},
  title        = {Design and specification of role based access control policies},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {4},
  pages        = {117--129},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000792},
  doi          = {10.1049/IP-SEN:20000792},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HitchensV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HuangWL00,
  author       = {C.{-}M. Huang and
                  C. Wang and
                  C.{-}H. Lin},
  title        = {Interactive multimedia synchronisation in the distributed environment
                  using the formal approach},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {4},
  pages        = {131--143},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000861},
  doi          = {10.1049/IP-SEN:20000861},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HuangWL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/JarzabekS00,
  author       = {Stan Jarzabek and
                  Rudolph E. Seviora},
  title        = {Engineering components for ease of customisation and evolution},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {6},
  pages        = {237--248},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000914},
  doi          = {10.1049/IP-SEN:20000914},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/JarzabekS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LeeC00,
  author       = {J.{-}S. Lee and
                  S.{-}D. Cha},
  title        = {Qualitative formal method for requirements specification and validation
                  of hybrid real-time safety systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {1},
  pages        = {1--11},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000460},
  doi          = {10.1049/IP-SEN:20000460},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LeeC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LehmanR00,
  author       = {M. M. Lehman and
                  Juan F. Ramil},
  title        = {Software evolution in the age of component-based software engineering},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {6},
  pages        = {249--255},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000922},
  doi          = {10.1049/IP-SEN:20000922},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LehmanR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MarcosPM00,
  author       = {Mar Marcos and
                  Angel P. del Pobil and
                  Sabine Moisan},
  title        = {Model-based verification of knowledge-based systems: a case study},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {5},
  pages        = {163--167},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000896},
  doi          = {10.1049/IP-SEN:20000896},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/MarcosPM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MiraAM00,
  author       = {Jos{\'{e}} Mira and
                  Jos{\'{e}} R. {\'{A}}lvarez and
                  Rafael Mart{\'{\i}}nez{-}Tom{\'{a}}s},
  title        = {Knowledge edition and reuse in Diagen: a relational approach},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {5},
  pages        = {151--162},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000894},
  doi          = {10.1049/IP-SEN:20000894},
  timestamp    = {Wed, 13 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/MiraAM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/OsmanB00,
  author       = {Taha Osman and
                  Andrzej Bargiela},
  title        = {{FADI:} a fault tolerant environment for open distributed computing},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {3},
  pages        = {91--99},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000702},
  doi          = {10.1049/IP-SEN:20000702},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/OsmanB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/OstroffP00,
  author       = {Jonathan S. Ostroff and
                  Richard F. Paige},
  title        = {The logic of software design},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {3},
  pages        = {73--80},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000681},
  doi          = {10.1049/IP-SEN:20000681},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/OstroffP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Romanovsky00,
  author       = {Alexander B. Romanovsky},
  title        = {Faulty version recovery in object-oriented N-version programming},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {3},
  pages        = {81--90},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000679},
  doi          = {10.1049/IP-SEN:20000679},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Romanovsky00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RosenblumN00,
  author       = {David S. Rosenblum and
                  Rema Natarajan},
  title        = {Supporting architectural concerns in component interoperability standards},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {6},
  pages        = {215--223},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000913},
  doi          = {10.1049/IP-SEN:20000913},
  timestamp    = {Fri, 11 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/RosenblumN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ThonnatM00,
  author       = {Monique Thonnat and
                  Sabine Moisan},
  title        = {What can program supervision do for program reuse?},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {5},
  pages        = {179--185},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000898},
  doi          = {10.1049/IP-SEN:20000898},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ThonnatM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/WillinkM00,
  author       = {Edward D. Willink and
                  Vyacheslav B. Muchnick},
  title        = {Object-oriented preprocessor fit for {C++}},
  journal      = {{IEE} Proc. Softw.},
  volume       = {147},
  number       = {2},
  pages        = {49--58},
  year         = {2000},
  url          = {https://doi.org/10.1049/ip-sen:20000573},
  doi          = {10.1049/IP-SEN:20000573},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/WillinkM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/AlbalooshiL99,
  author       = {Fawzi Albalooshi and
                  Fred Long},
  title        = {Multiple view environment supporting {VDM} and Ada},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {4},
  pages        = {203--219},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990487},
  doi          = {10.1049/IP-SEN:19990487},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/AlbalooshiL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/AvritzerW99,
  author       = {Alberto Avritzer and
                  Elaine J. Weyuker},
  title        = {Quality of service enforcement for distributed objects},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {5},
  pages        = {232--240},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990653},
  doi          = {10.1049/IP-SEN:19990653},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/AvritzerW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BateB99,
  author       = {I. J. Bate and
                  Alan Burns},
  title        = {Editorial real-time systems - multidisciplinary engineering [Editorial]},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {2},
  pages        = {57},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990508},
  doi          = {10.1049/IP-SEN:19990508},
  timestamp    = {Thu, 17 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/BateB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BeckerS99,
  author       = {Matthias Becker and
                  Helena Szczerbicka},
  title        = {PNiQ: Intergration of queuing networks in generalised stochastic Petri
                  nets},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {1},
  pages        = {27--32},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990153},
  doi          = {10.1049/IP-SEN:19990153},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BeckerS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Bennett99,
  author       = {Keith H. Bennett},
  title        = {Editorial: The Software Engineering Association},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {4},
  pages        = {177--178},
  year         = {1999},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Bennett99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BennettRM99,
  author       = {Keith H. Bennett and
                  Magnus Ramage and
                  Malcolm Munro},
  title        = {Decision model for legacy systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {3},
  pages        = {153--159},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990617},
  doi          = {10.1049/IP-SEN:19990617},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BennettRM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ButtleCMST99,
  author       = {Darren Lee Buttle and
                  John A. Clark and
                  John A. McDermid and
                  Alan Stephenson and
                  Nigel James Tracey},
  title        = {{CONVERSE:} {A} change-oriented process for engine controllers},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {3},
  pages        = {130--136},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990612},
  doi          = {10.1049/IP-SEN:19990612},
  timestamp    = {Mon, 30 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/ButtleCMST99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CalderMM99,
  author       = {Muffy Calder and
                  Evan H. Magill and
                  Dave Marples},
  title        = {Hybrid approach to software interworking problems: managing interactions
                  between legacy and evolving telecommunications software},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {3},
  pages        = {167--176},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990613},
  doi          = {10.1049/IP-SEN:19990613},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/CalderMM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ClarkGHT99,
  author       = {Graham Clark and
                  Stephen Gilmore and
                  Jane Hillston and
                  Nigel Thomas},
  title        = {Experiences with the {PEPA} performance modelling},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {1},
  pages        = {11--20},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990149},
  doi          = {10.1049/IP-SEN:19990149},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ClarkGHT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/DewarLPS99,
  author       = {Rick G. Dewar and
                  Ashley D. Lloyd and
                  Rob Pooley and
                  Perdita Stevens},
  title        = {Identifying nd communicting expertise in systems reengineering: a
                  patterns approach},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {3},
  pages        = {145--152},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990614},
  doi          = {10.1049/IP-SEN:19990614},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/DewarLPS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/DumasGG99,
  author       = {Sophie Dumas and
                  G. Gerlinger and
                  Georges Gardarin},
  title        = {SWAP, a performance evaluation tool},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {1},
  pages        = {21--26},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990150},
  doi          = {10.1049/IP-SEN:19990150},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/DumasGG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/EdwardsM99,
  author       = {Helen M. Edwards and
                  Gillian Margaret Mallalieu},
  title        = {{RAMESES:} {A} method for evaluating change in small organisations},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {3},
  pages        = {137--144},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990616},
  doi          = {10.1049/IP-SEN:19990616},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/EdwardsM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FetzerC99,
  author       = {Christof Fetzer and
                  Flaviu Cristian},
  title        = {Fail-aware datagram service},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {2},
  pages        = {58--74},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990400},
  doi          = {10.1049/IP-SEN:19990400},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/FetzerC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FidgeHW99,
  author       = {Colin J. Fidge and
                  Ian J. Hayes and
                  Geoffrey Watson},
  title        = {The deadline command},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {2},
  pages        = {104--111},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990407},
  doi          = {10.1049/IP-SEN:19990407},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/FidgeHW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FoxCC99,
  author       = {A. M. Fox and
                  Jim E. Cooling and
                  Niall Cooling},
  title        = {Integrated design approach for real-time embedded systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {2},
  pages        = {75--85},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990409},
  doi          = {10.1049/IP-SEN:19990409},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/FoxCC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/GomaaF99,
  author       = {Hassan Gomaa and
                  Ghulam A. Farrukh},
  title        = {Methods and tools for the automated configuration of distributed applications
                  from reusable software architectures and components},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {6},
  pages        = {277--290},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990864},
  doi          = {10.1049/IP-SEN:19990864},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/GomaaF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Henderson99,
  author       = {Peter Henderson},
  title        = {Editorial: Systems engineering for business process change},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {3},
  pages        = {129},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990696},
  doi          = {10.1049/IP-SEN:19990696},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Henderson99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HuangK99,
  author       = {Chung{-}Ming Huang and
                  Hsu{-}Yang Kung},
  title        = {Developing multicast, multiple-stream, multimedia presentations using
                  a formal approach},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {6},
  pages        = {245--276},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990838},
  doi          = {10.1049/IP-SEN:19990838},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HuangK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HusseyC99,
  author       = {Andrew Hussey and
                  David A. Carrington},
  title        = {Object-oriented user-interface development},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {5},
  pages        = {221--231},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990774},
  doi          = {10.1049/IP-SEN:19990774},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HusseyC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/JansenL99,
  author       = {Pierre G. Jansen and
                  Ren{\'{e}} Laan},
  title        = {The stack resource protocol based on real-time transactions},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {2},
  pages        = {112--119},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990406},
  doi          = {10.1049/IP-SEN:19990406},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/JansenL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Karamanolis99,
  author       = {Christos T. Karamanolis},
  title        = {Elements of distributed algorithms-modeling and analysis with petri
                  nets Wolfgang Reisig [Book review]},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {2},
  pages        = {128},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990509},
  doi          = {10.1049/IP-SEN:19990509},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Karamanolis99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KeyM99,
  author       = {Peter B. Key and
                  Derek McAuley},
  title        = {Differential QoS and pricing in networks: Where flow control meets
                  game theory},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {1},
  pages        = {39--43},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990154},
  doi          = {10.1049/IP-SEN:19990154},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KeyM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KimFF99,
  author       = {Kate Finney and
                  Norman E. Fenton and
                  Alexander M. Fedorec},
  title        = {Effects of structure on the comprehensivility of formal specifications},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {4},
  pages        = {193--202},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990600},
  doi          = {10.1049/IP-SEN:19990600},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KimFF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KimHBC99,
  author       = {Young Gon Kim and
                  Hyoung Seok Hong and
                  Doo{-}Hwan Bae and
                  Sung Deok Cha},
  title        = {Test cases generation from {UML} state diagrams},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {4},
  pages        = {187--192},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990602},
  doi          = {10.1049/IP-SEN:19990602},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KimHBC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KingP99,
  author       = {Peter J. B. King and
                  Rob Pooley},
  title        = {The unified modelling language},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {1},
  pages        = {2--10},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990151},
  doi          = {10.1049/IP-SEN:19990151},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KingP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Manduchi99,
  author       = {Gabriele Manduchi},
  title        = {Modelling a distributed real-time system for feedback control in a
                  nuclear fusion experiment},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {2},
  pages        = {96--103},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990399},
  doi          = {10.1049/IP-SEN:19990399},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Manduchi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/McDermidB99,
  author       = {John Alexander McDermid and
                  Keith H. Bennett},
  title        = {Software engineering research: {A} critical appraisal},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {4},
  pages        = {179--186},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990618},
  doi          = {10.1049/IP-SEN:19990618},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/McDermidB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RussoNK99,
  author       = {Alessandra Russo and
                  Bashar Nuseibeh and
                  Jeff Kramer},
  title        = {Restructuring requirement specifications},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {1},
  pages        = {44--50},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990156},
  doi          = {10.1049/IP-SEN:19990156},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/RussoNK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Silly-Chetto99,
  author       = {Maryline Silly{-}Chetto},
  title        = {Dynamic acceptance of aperiodic tasks with periodic tasks under resource
                  sharing constraints},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {2},
  pages        = {120--127},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990402},
  doi          = {10.1049/IP-SEN:19990402},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Silly-Chetto99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SmarandacheN99,
  author       = {Irina M. Smarandache and
                  Nimal Nissanke},
  title        = {Applicability of {SIGNAL} in safety critical system development},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {2},
  pages        = {86--95},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990401},
  doi          = {10.1049/IP-SEN:19990401},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/SmarandacheN99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SumariMP99,
  author       = {Putra Sumari and
                  Madjid Merabti and
                  Rubem Pereira},
  title        = {Video-on-demand server: Strategies for improving performance},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {1},
  pages        = {33--38},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990152},
  doi          = {10.1049/IP-SEN:19990152},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/SumariMP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/WarboysGK99,
  author       = {Brian Warboys and
                  Robert Mark Greenwood and
                  Peter Kawalek},
  title        = {Case for an explicit co-ordination layer in modern business information
                  systems architectures},
  journal      = {{IEE} Proc. Softw.},
  volume       = {146},
  number       = {3},
  pages        = {160--166},
  year         = {1999},
  url          = {https://doi.org/10.1049/ip-sen:19990615},
  doi          = {10.1049/IP-SEN:19990615},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/WarboysGK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Beynon-DaviesH98,
  author       = {Paul Beynon{-}Davies and
                  Steve Holmes},
  title        = {Integrating rapid application development and participatory design},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {4},
  pages        = {105--112},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982196},
  doi          = {10.1049/IP-SEN:19982196},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Beynon-DaviesH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BifflG98,
  author       = {Stefan Biffl and
                  Thomas Grechenig},
  title        = {Preparing students for industrial teamwork: a seasoned software engineering
                  curiculum},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {1},
  pages        = {1--11},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982039},
  doi          = {10.1049/IP-SEN:19982039},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BifflG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BolognesiD98,
  author       = {Tommaso Bolognesi and
                  John Derrick},
  title        = {Constraint-oriented style for object-oriented formal specification},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {2-3},
  pages        = {61--70},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19986907},
  doi          = {10.1049/IP-SEN:19986907},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BolognesiD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/CanalsGCMS98,
  author       = {G{\'{e}}r{\^{o}}me Canals and
                  Claude Godart and
                  Fran{\c{c}}ois Charoy and
                  Pascal Molli and
                  Hala Skaf{-}Molli},
  title        = {{COO} approach to support cooperation in software developments},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {2-3},
  pages        = {79--84},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19985842},
  doi          = {10.1049/IP-SEN:19985842},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/CanalsGCMS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/DeconinckFL98,
  author       = {Geert Deconinck and
                  Vincenzo De Florio and
                  Rudy Lauwereins},
  title        = {Software tool combining fault masking with user-defined recovery strategies},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {6},
  pages        = {203--211},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982441},
  doi          = {10.1049/IP-SEN:19982441},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/DeconinckFL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/DurrantC98,
  author       = {J. Durrant and
                  Franco Civello},
  title        = {Performance driven allocation of objects to processor nodes in a distributed
                  system},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {1},
  pages        = {13--21},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19983859},
  doi          = {10.1049/IP-SEN:19983859},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/DurrantC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FaroG98,
  author       = {Alberto Faro and
                  Daniela Giordano},
  title        = {StoryNet: an evolving network of cases to learn information systems
                  design},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {4},
  pages        = {119--128},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982198},
  doi          = {10.1049/IP-SEN:19982198},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/FaroG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Feldt98,
  author       = {Robert Feldt},
  title        = {Generating diverse software versions with genetic programming: and
                  experimental study},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {6},
  pages        = {228--236},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982444},
  doi          = {10.1049/IP-SEN:19982444},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Feldt98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FitzpatrickBCDR98,
  author       = {Tom Fitzpatrick and
                  Gordon S. Blair and
                  Geoff Coulson and
                  Nigel Davies and
                  Philippe Robin},
  title        = {Software architecture for adaptive distributive multimedia systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {5},
  pages        = {163--171},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982299},
  doi          = {10.1049/IP-SEN:19982299},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/FitzpatrickBCDR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Hiltunen98,
  author       = {Matti A. Hiltunen},
  title        = {Configuration management for highly-customisable software},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {5},
  pages        = {180--188},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982298},
  doi          = {10.1049/IP-SEN:19982298},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Hiltunen98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HolwellC98,
  author       = {Sue Holwell and
                  Peter Checkland},
  title        = {An information system won the war},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {4},
  pages        = {95--99},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982194},
  doi          = {10.1049/IP-SEN:19982194},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HolwellC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HoustonWA98,
  author       = {P. J. Houston and
                  F. George Wilkie and
                  T. J. Anderson},
  title        = {Component-based development {CORBA} and {RM-ODP}},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {1},
  pages        = {22--28},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19983505},
  doi          = {10.1049/IP-SEN:19983505},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HoustonWA98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Hughes98,
  author       = {J. Hughes},
  title        = {Selection and evaluation of information systems methologies: the gap
                  between theory and practice},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {4},
  pages        = {100--104},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982195},
  doi          = {10.1049/IP-SEN:19982195},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Hughes98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HughesCY98,
  author       = {Robert T. Hughes and
                  Alan Cunliffe and
                  Franklyn Young{-}Martos},
  title        = {Evaluating software development effort model-building techniques for
                  application in a real-time telecommunications environment},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {1},
  pages        = {29--33},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19983370},
  doi          = {10.1049/IP-SEN:19983370},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HughesCY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HuntL98,
  author       = {J. E. Hunt and
                  F. W. Long},
  title        = {Java's reliability: An Analysis of software defects in Java},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {2-3},
  pages        = {41--50},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19987282},
  doi          = {10.1049/IP-SEN:19987282},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HuntL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KarlWK98,
  author       = {Holger Karl and
                  Matthias Werner and
                  Lars K{\"{u}}ttner},
  title        = {Experimental investigation of message latencies in the Totem protocol
                  in the Presence of faults},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {6},
  pages        = {219--227},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982443},
  doi          = {10.1049/IP-SEN:19982443},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KarlWK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KentG98,
  author       = {Stuart Kent and
                  Joseph Gil},
  title        = {Visualising action contracts in object-oriented modelling},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {2-3},
  pages        = {70--78},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19986036},
  doi          = {10.1049/IP-SEN:19986036},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KentG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KramerM98,
  author       = {Jeff Kramer and
                  Jeff Magee},
  title        = {Analysing dynamic change in distributed software architectures},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {5},
  pages        = {146--154},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982297},
  doi          = {10.1049/IP-SEN:19982297},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KramerM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LiF98,
  author       = {Jun Li and
                  Peter H. Feiler},
  title        = {Managing inconsistency in reconfigurable systems},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {5},
  pages        = {172--179},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982300},
  doi          = {10.1049/IP-SEN:19982300},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LiF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LindGS98,
  author       = {Mikael Lind and
                  G{\"{o}}ran Goldkuhl and
                  Ulf Seigerroth},
  title        = {Method intergration: the need for a learning perspective},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {4},
  pages        = {113--118},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982197},
  doi          = {10.1049/IP-SEN:19982197},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LindGS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Lyu98,
  author       = {Michael R. Lyu},
  title        = {Reliability-oriented software engineering: design, testing, and evaluation
                  techniques},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {6},
  pages        = {191--197},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982439},
  doi          = {10.1049/IP-SEN:19982439},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Lyu98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MernikZ98,
  author       = {Marjan Mernik and
                  Viljem Zumer},
  title        = {Incremental language design},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {2-3},
  pages        = {85--92},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19984920},
  doi          = {10.1049/IP-SEN:19984920},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/MernikZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/OriezyT98,
  author       = {Peyman Oreizy and
                  Richard N. Taylor},
  title        = {On the role of software architectures in runtime system reconfiguration},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {5},
  pages        = {137--145},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982296},
  doi          = {10.1049/IP-SEN:19982296},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/OriezyT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RomanH98,
  author       = {Gruia{-}Catalin Roman and
                  James C. Hu},
  title        = {Plastic transformations: {A} method for building dependable distributed
                  Applications},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {2-3},
  pages        = {51--60},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19985864},
  doi          = {10.1049/IP-SEN:19985864},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/RomanH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ShrivastavaW98,
  author       = {Santosh K. Shrivastava and
                  Stuart M. Wheater},
  title        = {Architectural support for dynamic reconfiguration of distributed workflow
                  applications},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {5},
  pages        = {155--162},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982295},
  doi          = {10.1049/IP-SEN:19982295},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ShrivastavaW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SilvaS98,
  author       = {Lu{\'{\i}}s Moura Silva and
                  Jo{\~{a}}o Gabriel Silva},
  title        = {Using two-level stable storge for efficient checkpointing},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {6},
  pages        = {198--202},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982440},
  doi          = {10.1049/IP-SEN:19982440},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/SilvaS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/StriginiSW98,
  author       = {Norman E. Fenton and
                  Bev Littlewood and
                  Martin Neil and
                  Lorenzo Strigini and
                  Alistair G. Sutcliffe and
                  David Wright},
  title        = {Assesing dependability of safety critical systems using diverse evidence},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {1},
  pages        = {35--39},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19984895},
  doi          = {10.1049/IP-SEN:19984895},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/StriginiSW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Wermelinger98,
  author       = {Michel Wermelinger},
  title        = {Towards a chemical model for software architecture reconfiguration},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {5},
  pages        = {130--136},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982294},
  doi          = {10.1049/IP-SEN:19982294},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Wermelinger98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Zambonelli98,
  author       = {Franco Zambonelli},
  title        = {Analysis and evaluation of distributed checkpoint algorithms to avoid
                  rollback propagation},
  journal      = {{IEE} Proc. Softw.},
  volume       = {145},
  number       = {6},
  pages        = {212--218},
  year         = {1998},
  url          = {https://doi.org/10.1049/ip-sen:19982442},
  doi          = {10.1049/IP-SEN:19982442},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Zambonelli98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BicarreguiCFHLLMMMNRRS97,
  author       = {Juan Bicarregui and
                  D. L. Clutterbuck and
                  Gavin R. Finnie and
                  Howard P. Haughton and
                  Kevin Lano and
                  H. Lesan and
                  D. W. R. M. Marsh and
                  B. M. Matthews and
                  Michael R. Moulding and
                  A. Richard Newton and
                  Brian Ritchie and
                  T. G. A. Rushton and
                  P. N. Scharbach},
  title        = {Formal methods into practice: case studies in the application of the
                  {B} method},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {2},
  pages        = {119--133},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19970974},
  doi          = {10.1049/IP-SEN:19970974},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BicarreguiCFHLLMMMNRRS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/BurmeisterHM97,
  author       = {Birgit Burmeister and
                  Afsaneh Haddadi and
                  Guido Matylis},
  title        = {Application of multi-agent systems in traffic and transportation},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {1},
  pages        = {51--60},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971023},
  doi          = {10.1049/IP-SEN:19971023},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/BurmeisterHM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ChenKPS97,
  author       = {Xin Chen and
                  Simon Kendal and
                  I. Potts and
                  Peter Smith},
  title        = {Towards an integrated method for hybrid information system development},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {5-6},
  pages        = {261--269},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971795},
  doi          = {10.1049/IP-SEN:19971795},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ChenKPS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ChenY97,
  author       = {Tsong Yueh Chen and
                  Yuen{-}Tak Yu},
  title        = {Optimal improvement of the lower bound performance of partition testing
                  strategies},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {5-6},
  pages        = {271--278},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971792},
  doi          = {10.1049/IP-SEN:19971792},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ChenY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/DawsonNF97,
  author       = {Ray J. Dawson and
                  Ron W. Newsham and
                  B. W. Fernley},
  title        = {Bringing the "real world" of software engineering to univercity undergraduate
                  courses},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {5-6},
  pages        = {287--290},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971468},
  doi          = {10.1049/IP-SEN:19971468},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/DawsonNF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/DixRS97,
  author       = {Alan J. Dix and
                  Tom Rodden and
                  Ian Sommerville},
  title        = {Modelling versions in collaborative work},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {4},
  pages        = {195--205},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971514},
  doi          = {10.1049/IP-SEN:19971514},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/DixRS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/DurfeeKB97,
  author       = {Edmund H. Durfee and
                  Daniel L. Kiskis and
                  William P. Birmingham},
  title        = {The agent architecture of the Univercity of Michingan Digital Library},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {1},
  pages        = {61--71},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971024},
  doi          = {10.1049/IP-SEN:19971024},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/DurfeeKB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HallW97,
  author       = {Tracy Hall and
                  David Wilson},
  title        = {Views of software quality: a field report},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {2},
  pages        = {111--118},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971072},
  doi          = {10.1049/IP-SEN:19971072},
  timestamp    = {Wed, 22 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HallW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Hierons97,
  author       = {Robert M. Hierons},
  title        = {testing from semi-independent communicating finite state machines
                  with a slow environment},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {5-6},
  pages        = {291--295},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971789},
  doi          = {10.1049/IP-SEN:19971789},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Hierons97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/HusseyC97,
  author       = {Andrew Hussey and
                  David A. Carrington},
  title        = {Comparing the {MVC} and {PAC} architectures: a formal perspective},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {4},
  pages        = {224--236},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971512},
  doi          = {10.1049/IP-SEN:19971512},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/HusseyC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/JenningsC97,
  author       = {Nicholas R. Jennings and
                  J. R. Campos},
  title        = {Towards a social level characterisation of socially responsible agents},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {1},
  pages        = {11--25},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971021},
  doi          = {10.1049/IP-SEN:19971021},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/JenningsC97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/KitchenhamS97,
  author       = {Barbara A. Kitchenham and
                  John G. Stell},
  title        = {The danger of using axioms in software metrics},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {5-6},
  pages        = {279--285},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971723},
  doi          = {10.1049/IP-SEN:19971723},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/KitchenhamS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Laufmann97,
  author       = {S. C. Laufmann},
  title        = {Towards agent-based software engineering for information-depended
                  enterprise applications},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {1},
  pages        = {38--50},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971022},
  doi          = {10.1049/IP-SEN:19971022},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Laufmann97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Lindsay97,
  author       = {Peter A. Lindsay},
  title        = {Formal approach to specification and verification of task management
                  in interactive systems},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {4},
  pages        = {206--214},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971513},
  doi          = {10.1049/IP-SEN:19971513},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Lindsay97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MedvidovicT97,
  author       = {Nenad Medvidovic and
                  Richard N. Taylor},
  title        = {Exploiting architectural style to develop a family of applications},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {5-6},
  pages        = {237--248},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971608},
  doi          = {10.1049/IP-SEN:19971608},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/MedvidovicT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/MorisioT97,
  author       = {Maurizio Morisio and
                  Alexis Tsouki{\`{a}}s},
  title        = {IusWare: a methodology for the evaluation and selection of software
                  products},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {3},
  pages        = {162--174},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971350},
  doi          = {10.1049/IP-SEN:19971350},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/MorisioT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/NdumuN97,
  author       = {Divine T. Ndumu and
                  Hyacinth S. Nwana},
  title        = {Research and development challenges for agend-based systems},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {1},
  pages        = {2--10},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971020},
  doi          = {10.1049/IP-SEN:19971020},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/NdumuN97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/OatesPL97,
  author       = {Tim Oates and
                  M. V. Nagendra Prasad and
                  Victor R. Lesser},
  title        = {Cooperative information-gathering: a distributed problem-solving approach},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {1},
  pages        = {72--88},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971025},
  doi          = {10.1049/IP-SEN:19971025},
  timestamp    = {Sun, 16 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/OatesPL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/PembertonS97,
  author       = {Duncan L. Pemberton and
                  Ian Sommerville},
  title        = {{VOCAL:} {A} frame work for test identification and deployment},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {5-6},
  pages        = {249--260},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971643},
  doi          = {10.1049/IP-SEN:19971643},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/PembertonS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Ramadhan97,
  author       = {Haider Ali Ramadhan},
  title        = {Improving the engineering of model tracing based intelligent program
                  diagnosis},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {3},
  pages        = {149--161},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971234},
  doi          = {10.1049/IP-SEN:19971234},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Ramadhan97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/RoastS97,
  author       = {Chris R. Roast and
                  Jawed I. A. Siddiqi},
  title        = {Usability requirements as specification constrains: an example of
                  {WYSIWYG}},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {2},
  pages        = {101--110},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19970973},
  doi          = {10.1049/IP-SEN:19970973},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/RoastS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SewryCW97,
  author       = {David A. Sewry and
                  Peter G. Clayton and
                  E. P. Wentworth},
  title        = {{CCS} specification of a Linda behavioural model debugger},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {2},
  pages        = {89--100},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19970972},
  doi          = {10.1049/IP-SEN:19970972},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/SewryCW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/SiddiqiR97,
  author       = {Jawed I. A. Siddiqi and
                  Chris R. Roast},
  title        = {Viscosity as a metaphor for measuring modifiability},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {4},
  pages        = {215--223},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971515},
  doi          = {10.1049/IP-SEN:19971515},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/SiddiqiR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/StriginiGR97,
  author       = {Lorenzo Strigini and
                  Felicita Di Giandomenico and
                  Alexander B. Romanovsky},
  title        = {Coordinated backward between client processes and data servers},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {2},
  pages        = {134--146},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971103},
  doi          = {10.1049/IP-SEN:19971103},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/StriginiGR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ThimblebyL97,
  author       = {Harold W. Thimbleby and
                  Peter B. Ladkin},
  title        = {From logic to manuals again},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {3},
  pages        = {185--192},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971104},
  doi          = {10.1049/IP-SEN:19971104},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ThimblebyL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/Wooldridge97,
  author       = {Michael J. Wooldridge},
  title        = {Agent-based software engineering},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {1},
  pages        = {26--37},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971026},
  doi          = {10.1049/IP-SEN:19971026},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/Wooldridge97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/dInvernoPL97,
  author       = {Mark d'Inverno and
                  Mark Priestley and
                  Michael Luck},
  title        = {Formal framework for hypertext systems},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {3},
  pages        = {175--184},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971395},
  doi          = {10.1049/IP-SEN:19971395},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/dInvernoPL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}