Search dblp for Publications

export results for "toc:db/conf/iceccs/iceccs2002.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iceccs/AaltonenM02,
  author       = {Timo Aaltonen and
                  Tommi Mikkonen},
  title        = {Managing Software Evolution with a Formalized Abstraction Hierarchy},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {224--231},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181515},
  doi          = {10.1109/ICECCS.2002.1181515},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/AaltonenM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/AlexanderOB02,
  author       = {Roger T. Alexander and
                  Jeff Offutt and
                  James M. Bieman},
  title        = {Syntactic Fault Patterns in {OO} Programs},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {193--202},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181512},
  doi          = {10.1109/ICECCS.2002.1181512},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/AlexanderOB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Barbier02,
  author       = {Franck Barbier},
  title        = {Composability for Software Components: An Approach Based on the Whole-Part
                  Theory},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {101--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181502},
  doi          = {10.1109/ICECCS.2002.1181502},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Barbier02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/BasiliLS02,
  author       = {Victor R. Basili and
                  Mikael Lindvall and
                  Forrest Shull},
  title        = {A Light-Weight Process for Capturing and Evolving Defect Reduction
                  Experience},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {129},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181505},
  doi          = {10.1109/ICECCS.2002.1181505},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BasiliLS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/BelliniGN02,
  author       = {Pierfrancesco Bellini and
                  Andrea Giotti and
                  Paolo Nesi},
  title        = {Execution of {TILCO} Temporal Logic Specifications},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {78},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181500},
  doi          = {10.1109/ICECCS.2002.1181500},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BelliniGN02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/BestaS02,
  author       = {Milos Besta and
                  Frank A. Stomp},
  title        = {Mechanization of a Proof of String-Preprocessing in Boyer-Moore's
                  Pattern Matching Algorithm},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {68--77},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181499},
  doi          = {10.1109/ICECCS.2002.1181499},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BestaS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/BiancoLM02,
  author       = {Vieri Del Bianco and
                  Luigi Lavazza and
                  Marco Mauri},
  title        = {Model Checking {UML} Specifications of Real Time Software},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {203},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181513},
  doi          = {10.1109/ICECCS.2002.1181513},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BiancoLM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/BlackburnBNKK02,
  author       = {Mark R. Blackburn and
                  Robert Busser and
                  Aaron Nauman and
                  Robert Knickerbocker and
                  Richard Kasuda},
  title        = {Mars Polar Lander Fault Identification Using Model-based Testing},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {163},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181509},
  doi          = {10.1109/ICECCS.2002.1181509},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BlackburnBNKK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Dagnino02,
  author       = {Aldo Dagnino},
  title        = {An Evolutionary Lifecycle Model with Agile Practices for Software
                  Development at {ABB}},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {215--223},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181514},
  doi          = {10.1109/ICECCS.2002.1181514},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Dagnino02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/FerrettO02,
  author       = {Lisa K. Ferrett and
                  Jeff Offutt},
  title        = {An Empirical Comparison of Modularity of Procedural and Object-oriented
                  Software},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {173--182},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181510},
  doi          = {10.1109/ICECCS.2002.1181510},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/FerrettO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/GeorgRF02,
  author       = {Geri Georg and
                  Indrakshi Ray and
                  Robert B. France},
  title        = {Using Aspects to Design a Secure System},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {117},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181504},
  doi          = {10.1109/ICECCS.2002.1181504},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/GeorgRF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/GhoshBGR02,
  author       = {Sudipto Ghosh and
                  Nishant Bawa and
                  Sameer Goel and
                  Raghu Reddy},
  title        = {Validating Run-time Interactions in Distributed Java Applications},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {7--16},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181493},
  doi          = {10.1109/ICECCS.2002.1181493},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/GhoshBGR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/GomaaS02,
  author       = {Hassan Gomaa and
                  Michael E. Shin},
  title        = {Multiple-View Meta-Modeling of Software Product Lines},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {238--246},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181517},
  doi          = {10.1109/ICECCS.2002.1181517},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/GomaaS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/HayesZ02,
  author       = {Jane Huffman Hayes and
                  Pifu Zhang},
  title        = {Fault Detection Effectiveness of Spathic Test Data},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {183--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181511},
  doi          = {10.1109/ICECCS.2002.1181511},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/HayesZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/He02,
  author       = {Jifeng He},
  title        = {Integrating {CSP} and {DC}},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {47},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181497},
  doi          = {10.1109/ICECCS.2002.1181497},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/He02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Henderson02,
  author       = {Peter Henderson},
  title        = {Reasoning about Asynchronous Behaviour in Distributed Systems},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {17--24},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181494},
  doi          = {10.1109/ICECCS.2002.1181494},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Henderson02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/KimFGS02,
  author       = {Dae{-}Kyoo Kim and
                  Robert B. France and
                  Sudipto Ghosh and
                  Eunjee Song},
  title        = {Using Role-Based Modeling Language {(RBML)} to Characterize Model
                  Families},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {107--116},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181503},
  doi          = {10.1109/ICECCS.2002.1181503},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/KimFGS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/LeiT02,
  author       = {Yu Lei and
                  Kuo{-}Chung Tai},
  title        = {Efficient Reachability Testing of Asynchronous Message-Passing Programs},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {35},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181496},
  doi          = {10.1109/ICECCS.2002.1181496},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/LeiT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Lin02,
  author       = {Shaoying Liu},
  title        = {Capturing Complete and Accurate Requirements by Refinemen},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {57--67},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181498},
  doi          = {10.1109/ICECCS.2002.1181498},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Lin02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Littlewood02,
  author       = {Bev Littlewood},
  title        = {Complexity Is the Enemy of Dependability - Can Diversity Provide a
                  Defense?},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {3},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181492},
  doi          = {10.1109/ICECCS.2002.1181492},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Littlewood02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/LiuMZ02,
  author       = {Ling Liu and
                  Huaikou Miao and
                  Xuede Zhan},
  title        = {A Framework for Specification-Based Class Testing},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {153--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181508},
  doi          = {10.1109/ICECCS.2002.1181508},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/LiuMZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/MartenaOP02,
  author       = {Vincenzo Martena and
                  Alessandro Orso and
                  Mauro Pezz{\`{e}}},
  title        = {Interclass Testing of Object Oriented Software},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {135--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181506},
  doi          = {10.1109/ICECCS.2002.1181506},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/MartenaOP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/MurrayGS02,
  author       = {Leesa Murray and
                  Alena Griffiths and
                  Paul A. Strooper},
  title        = {OptoNet - {A} Case Study in Using Rigorous Analysis Techniques to
                  Justify a Revised Product Assurance Strategy},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {232--237},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181516},
  doi          = {10.1109/ICECCS.2002.1181516},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/MurrayGS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/MurrillMO02,
  author       = {Branson W. Murrill and
                  Larry J. Morell and
                  Erika Olimpiew},
  title        = {A Perturbation-based Testing Strategy},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {145--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181507},
  doi          = {10.1109/ICECCS.2002.1181507},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/MurrillMO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/RamaniGT02,
  author       = {Srinivasan Ramani and
                  Katerina Goseva{-}Popstojanova and
                  Kishor S. Trivedi},
  title        = {A Framework for Performability Modeling of Messaging Services in Distributed
                  Systems},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {25--34},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181495},
  doi          = {10.1109/ICECCS.2002.1181495},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/RamaniGT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/VignaM02,
  author       = {Giovanni Vigna and
                  Andrew Mitchel},
  title        = {Mnemosyne: Designing and Implementing Network Short-Term Memory},
  booktitle    = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  pages        = {91--100},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICECCS.2002.1181501},
  doi          = {10.1109/ICECCS.2002.1181501},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/VignaM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iceccs/2002,
  title        = {8th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2002), 2-4 December 2002, Greenbelt, MD, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8415/proceeding},
  isbn         = {0-7695-1757-9},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceccs/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.