Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/kbse/BhansaliH95,
  author       = {Sanjay Bhansali and
                  Tim J. Hoar},
  title        = {Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction
                  System},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {11--18},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490114},
  doi          = {10.1109/KBSE.1995.490114},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/BhansaliH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/Bose95,
  author       = {Prasanta K. Bose},
  title        = {A Model for Decision Maintenance in the WinWin Collaboration Framework},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {105--113},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490125},
  doi          = {10.1109/KBSE.1995.490125},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Bose95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/CliftonL95,
  author       = {Chris Clifton and
                  Wen{-}Syan Li},
  title        = {Classifying Software Components Using Design Characteristics},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {139--146},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490129},
  doi          = {10.1109/KBSE.1995.490129},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/CliftonL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/DeLoachBH95,
  author       = {Scott A. DeLoach and
                  Paul D. Bailor and
                  Thomas C. Hartrum},
  title        = {Representing Object Models as Theories},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {28--35},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490116},
  doi          = {10.1109/KBSE.1995.490116},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/DeLoachBH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/DickS95,
  author       = {Sabine Dick and
                  Thomas Santen},
  title        = {Searching for a Global Algorithm},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {52--59},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490119},
  doi          = {10.1109/KBSE.1995.490119},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/DickS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/EllmanKMS95,
  author       = {Thomas Ellman and
                  John Eric Keane and
                  Takahiro Murata and
                  Mark Schwabacher},
  title        = {A Transformation System for Interactive Reformulation of Design Optimization
                  Strategies},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {44--51},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490118},
  doi          = {10.1109/KBSE.1995.490118},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/EllmanKMS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/FeldmanF95,
  author       = {Yishai A. Feldman and
                  Doron Friedman},
  title        = {Portability by Automatic Translation - {A} Large-Scale Case Study},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {123--130},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490127},
  doi          = {10.1109/KBSE.1995.490127},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/FeldmanF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/HoweMM95,
  author       = {Adele E. Howe and
                  Anneliese von Mayrhauser and
                  Richard T. Mraz},
  title        = {Test Sequences as Plans: An Experiment in Using an {AI} Planner to
                  Generate System Tests},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {184--191},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490134},
  doi          = {10.1109/KBSE.1995.490134},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HoweMM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/JohnsonE95,
  author       = {W. Lewis Johnson and
                  Ali Erdem},
  title        = {Interactive Explanation of Software Systems},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {155--164},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490131},
  doi          = {10.1109/KBSE.1995.490131},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/JohnsonE95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/KraanB95,
  author       = {Ina Kraan and
                  Peter Baumann},
  title        = {Logical Frameworks as a Basis for Verification Tools: {A} Case Study},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {36--43},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490117},
  doi          = {10.1109/KBSE.1995.490117},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/KraanB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/Ledru95,
  author       = {Yves Ledru},
  title        = {Specification and Animation of a Bank Transfer},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {192--199},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490135},
  doi          = {10.1109/KBSE.1995.490135},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Ledru95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/LindenV95,
  author       = {Greger Lind{\'{e}}n and
                  A. Inkeri Verkamo},
  title        = {An Interface Between Different Software Development Environments},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {79--87},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490122},
  doi          = {10.1109/KBSE.1995.490122},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/LindenV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/Liu95,
  author       = {Yanhong A. Liu},
  title        = {{CACHET:} An Interactive, Incremental-Attribution-Based Program Transformation
                  System for Deriving Incremental Programs},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {19--26},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490115},
  doi          = {10.1109/KBSE.1995.490115},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Liu95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/LowryB95,
  author       = {Michael R. Lowry and
                  Jeffrey Van Baalen},
  title        = {{META-AMPHION:} Synthesis of Efficient Domain-Specific Program Synthesis
                  Systems},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {2--10},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490113},
  doi          = {10.1109/KBSE.1995.490113},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/LowryB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/LowryL95,
  author       = {David D. Lowry and
                  Michael R. Lowry},
  title        = {Legal Issues on Knowledge-Based Software Engineering},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {61--69},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490120},
  doi          = {10.1109/KBSE.1995.490120},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/LowryL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/PenixBA95,
  author       = {John Penix and
                  Phillip Baraona and
                  Perry Alexander},
  title        = {Classification and Retrieval of Reusable Components Using Semantic
                  Features},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {131--138},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490128},
  doi          = {10.1109/KBSE.1995.490128},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/PenixBA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/Reuss95,
  author       = {Harald Reu{\ss}},
  title        = {Towards High-Level Deductive Program Synthesis Based on Type Theory},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {174--183},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490133},
  doi          = {10.1109/KBSE.1995.490133},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Reuss95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/Richardson95,
  author       = {Julian Richardson},
  title        = {Automating Changes of Data Type in Functional Programs},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {166--173},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490132},
  doi          = {10.1109/KBSE.1995.490132},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Richardson95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/RoscaGWRMF95,
  author       = {Daniela Rosca and
                  Sol J. Greenspan and
                  J. Christian Wild and
                  Howard B. Reubenstein and
                  Kurt Maly and
                  Mark Feblowitz},
  title        = {Application of a Decision Support Mechanism to the Business Rules
                  Lifecycle},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {114--121},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490126},
  doi          = {10.1109/KBSE.1995.490126},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/RoscaGWRMF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/SassoB95,
  author       = {William C. Sasso and
                  Kevin Benner},
  title        = {An Empirical Evaluation of {KBSA} Technology},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {71--78},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490121},
  doi          = {10.1109/KBSE.1995.490121},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/SassoB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/SatoTYWH95,
  author       = {Akiyoshi Sato and
                  Minoru Tomobe and
                  Toru Yamanouchi and
                  Masanobu Watanabe and
                  Masashi Hijikata},
  title        = {Domain-Oriented Software Process Re-engineering with Software Synthesis
                  Shell {SOFTEX/S}},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {97--104},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490124},
  doi          = {10.1109/KBSE.1995.490124},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/SatoTYWH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/Tyugu95,
  author       = {Enn Tyugu},
  title        = {From Object-Oriented to Knowledge-Based Programming {(NUT} System
                  Development Experience)},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {88--95},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490123},
  doi          = {10.1109/KBSE.1995.490123},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Tyugu95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/Welty95,
  author       = {Christopher A. Welty},
  title        = {Towards an Epistemology for Software Representations},
  booktitle    = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  pages        = {148--154},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/KBSE.1995.490130},
  doi          = {10.1109/KBSE.1995.490130},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Welty95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/kbse/1995,
  title        = {Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering
                  Conference, Boston, Massachusetts, USA, November 12-15, 1995},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/3518/proceeding},
  isbn         = {0-8186-7204-8},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/1995.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.