Search dblp for Publications

export results for "toc:db/conf/kbse/kbse1994.bht:"

 download as .bib file

@inproceedings{DBLP:conf/kbse/Balmas94,
  author       = {Francoise Balmas},
  title        = {An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions
                  of Programs},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {150--157},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342667},
  doi          = {10.1109/KBSE.1994.342667},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/Balmas94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Benner94,
  author       = {Kevin Benner},
  title        = {Knowledge-Based Software Assistant - Advanced Development Model Demonstrations},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {3},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  timestamp    = {Thu, 13 Aug 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/Benner94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BoehmB94,
  author       = {Barry W. Boehm and
                  Prasanta K. Bose},
  title        = {Critical Success Factors for Knowledge-Based Software Engineering
                  Applications},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {166--171},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342665},
  doi          = {10.1109/KBSE.1994.342665},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/BoehmB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Bolcer94,
  author       = {Gregory Alan Bolcer},
  title        = {User Interface Design Assistance For Large-Scale Software Development},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {142--149},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342668},
  doi          = {10.1109/KBSE.1994.342668},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Bolcer94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChilenskiN94,
  author       = {John Chilenski and
                  Philip Newcomb},
  title        = {Formal Specification Tools for Test Coverage Analysis},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {59--68},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342677},
  doi          = {10.1109/KBSE.1994.342677},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/ChilenskiN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DekkerV94,
  author       = {Ren{\'{e}} Dekker and
                  Frans Ververs},
  title        = {Abstract Data Structure Recognition},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {133--140},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342669},
  doi          = {10.1109/KBSE.1994.342669},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/DekkerV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FeatherF94,
  author       = {Martin S. Feather and
                  Stephen Fickas},
  title        = {A Framework for Distributed System Designs},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {6--13},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342683},
  doi          = {10.1109/KBSE.1994.342683},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/FeatherF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GirgensohnRS94,
  author       = {Andreas Girgensohn and
                  David F. Redmiles and
                  Frank M. Shipman III},
  title        = {Agent-Based Support for Communication Between Developers and Users
                  in Software Design},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {22--29},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342681},
  doi          = {10.1109/KBSE.1994.342681},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/GirgensohnRS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Hall94,
  author       = {Robert J. Hall},
  title        = {Systematic Incremental Validation of Rule-Based Reactive Systems},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {69--78},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342676},
  doi          = {10.1109/KBSE.1994.342676},
  timestamp    = {Tue, 08 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/Hall94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/JengC94,
  author       = {Jun{-}Jang Jeng and
                  Betty H. C. Cheng},
  title        = {A Formal Approach to Reusing More General Components},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {90--97},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342674},
  doi          = {10.1109/KBSE.1994.342674},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/JengC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KotikM94,
  author       = {Gordon Kotik and
                  Lawrence Markosian},
  title        = {Application of {REFINE} Language Tools\({}^{\mbox{TM}}\) to Software
                  Quality Assurance},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {4},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342684},
  doi          = {10.1109/KBSE.1994.342684},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/KotikM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LauzonR94,
  author       = {David Lauzon and
                  Thomas Rose},
  title        = {Task Oriented and Similarity-Based Retrieval},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {98--107},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342673},
  doi          = {10.1109/KBSE.1994.342673},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/LauzonR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LoiaQ94,
  author       = {Vincenzo Loia and
                  Michel Quaggetto},
  title        = {Integrating Object-Oriented Paradigms and Logic Programming: The {OPLA}
                  Language},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {158--164},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342666},
  doi          = {10.1109/KBSE.1994.342666},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/LoiaQ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LowryPPU94,
  author       = {Michael R. Lowry and
                  Andrew Philpot and
                  Thomas Pressburger and
                  Ian Underwood},
  title        = {{AMPHION:} Automatic Programming for Subroutine Libraries},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {2},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342685},
  doi          = {10.1109/KBSE.1994.342685},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/LowryPPU94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LowryPPU94a,
  author       = {Michael R. Lowry and
                  Andrew Philpot and
                  Thomas Pressburger and
                  Ian Underwood},
  title        = {A Formal Approach to Domain-Oriented Software Design Environments},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {48--57},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342678},
  doi          = {10.1109/KBSE.1994.342678},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/LowryPPU94a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Madachy94,
  author       = {Raymond J. Madachy},
  title        = {Knowledge-Based Risk Assessment and Cost Estimation},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {172--178},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342664},
  doi          = {10.1109/KBSE.1994.342664},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/Madachy94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MintonW94,
  author       = {Steven Minton and
                  Shawn R. Wolfe},
  title        = {Using Machine Learning to Synthesize Search Programs},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {31--38},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342680},
  doi          = {10.1109/KBSE.1994.342680},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/MintonW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Novak94,
  author       = {Gordon S. Novak},
  title        = {Composing Reusable Software Components Through Views},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {39--47},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342679},
  doi          = {10.1109/KBSE.1994.342679},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Novak94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/QuiliciC94,
  author       = {Alex Quilici and
                  David N. Chin},
  title        = {A Cooperative Program Understanding Environment},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {125--132},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342670},
  doi          = {10.1109/KBSE.1994.342670},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/QuiliciC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SelfridgeH94,
  author       = {Peter G. Selfridge and
                  George T. Heineman},
  title        = {Graphical Support for Code-Level Software Understanding},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {117--124},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342671},
  doi          = {10.1109/KBSE.1994.342671},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/SelfridgeH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TerveenS94,
  author       = {Loren G. Terveen and
                  Peter G. Selfridge},
  title        = {Intelligent Assistance for Software Construction: {A} Case Study},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {14--21},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342682},
  doi          = {10.1109/KBSE.1994.342682},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/TerveenS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TongKP94,
  author       = {Andrew Z. Tong and
                  Gail E. Kaiser and
                  Steven S. Popovich},
  title        = {A Flexible Rule-Chaining Engine for Process-Based Software Engineering},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {79--88},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342675},
  doi          = {10.1109/KBSE.1994.342675},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/TongKP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Toth94,
  author       = {Gregory A. Toth},
  title        = {Software Technology Risk Advisor},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {179--188},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342663},
  doi          = {10.1109/KBSE.1994.342663},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Toth94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WildR94,
  author       = {J. Christian Wild and
                  Daniela Rosca},
  title        = {Evolution and Reuse of Formal Specification Using Decision Structures},
  booktitle    = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  pages        = {108--115},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://doi.org/10.1109/KBSE.1994.342672},
  doi          = {10.1109/KBSE.1994.342672},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/WildR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/1994,
  title        = {Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering
                  Conference, Monterey, California, USA, September 20-23, 1994},
  publisher    = {{IEEE} Computer Society},
  year         = {1994},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/995/proceeding},
  isbn         = {0-8186-6380-4},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics