Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/kbse/ase1997.bht:"
download as .bib file
@inproceedings{DBLP:conf/kbse/AmbriolaG97,
author = {Vincenzo Ambriola and
Vincenzo Gervasi},
title = {Processing Natural Language Requirements},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {36--45},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632822},
doi = {10.1109/ASE.1997.632822},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AmbriolaG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Ameur97,
author = {Yamine A{\"{\i}}t Ameur},
title = {A Contribution to Program Comprehension by Program Analysis: Application
to Numerical Programs},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {134--142},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632833},
doi = {10.1109/ASE.1997.632833},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Ameur97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ArmandoSG97,
author = {Alessandro Armando and
Alan Smaill and
Ian Green},
title = {Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {2--9},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632818},
doi = {10.1109/ASE.1997.632818},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ArmandoSG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Birk97,
author = {Andreas Birk},
title = {Modeling the Application Domains of Software Engineering Technologies},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {291--292},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632850},
doi = {10.1109/ASE.1997.632850},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Birk97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BlazyF97,
author = {Sandrine Blazy and
Philippe Facon},
title = {Application of Formal Methods to the Development of a Software Maintenance
Tool},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {162--171},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632836},
doi = {10.1109/ASE.1997.632836},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BlazyF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Caldwell97,
author = {James L. Caldwell},
title = {Moving Proofs-As-Programs into Practice},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {10--17},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632819},
doi = {10.1109/ASE.1997.632819},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Caldwell97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChenC97,
author = {Yonghao Chen and
Betty H. C. Cheng},
title = {Facilitating an Automated Approach to Architecture-based Software
Reuse},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {238--245},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632844},
doi = {10.1109/ASE.1997.632844},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ChenC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CohenF97,
author = {Yossi Cohen and
Yishai A. Feldman},
title = {Automatic High-Quality Reengineering of Database Programs by Temporal
Abstraction},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {90--97},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632828},
doi = {10.1109/ASE.1997.632828},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/CohenF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DevanbuS97,
author = {Premkumar T. Devanbu and
Stuart G. Stubblebine},
title = {Research Directions for Automated Software Verification: Using Trusted
Hardware},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {274--279},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632848},
doi = {10.1109/ASE.1997.632848},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DevanbuS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DimitrakosM97,
author = {Theodosis Dimitrakos and
T. S. E. Maibaum},
title = {Notes on Refinement, Interpolation and Uniformity},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {108--116},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632830},
doi = {10.1109/ASE.1997.632830},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DimitrakosM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Dwyer97,
author = {Matthew B. Dwyer},
title = {Modular Flow Analysis for Concurrent Software},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {264--273},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632847},
doi = {10.1109/ASE.1997.632847},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Dwyer97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/EdenYG97,
author = {Amnon H. Eden and
Amiram Yehudai and
Joseph Gil},
title = {Precise Specification and Automatic Application of Design Patterns},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {143--152},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632834},
doi = {10.1109/ASE.1997.632834},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/EdenYG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Faison97,
author = {T. Faison},
title = {Interactive Component-Based Software Development with Espresso},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {293--294},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632851},
doi = {10.1109/ASE.1997.632851},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Faison97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FenselS97,
author = {Dieter Fensel and
Arno Sch{\"{o}}negge},
title = {Using {KIV} to Specify and Verify Architectures of Knowledge-Based
Systems},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {71},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632826},
doi = {10.1109/ASE.1997.632826},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FenselS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FlenerLO97,
author = {Pierre Flener and
Kung{-}Kiu Lau and
Mario Ornaghi},
title = {Correct-Schema-Guided Synthesis of Steadfast Programs},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {153},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632835},
doi = {10.1109/ASE.1997.632835},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FlenerLO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FranceEG97,
author = {Robert B. France and
Matthew P. Evett and
Emanuel S. Grant},
title = {Towards Semantic-Based Object-Oriented {CASE} Tools},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {295--296},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632852},
doi = {10.1109/ASE.1997.632852},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/FranceEG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GannodC97,
author = {Gerald C. Gannod and
Betty H. C. Cheng},
title = {A Formal Automated Approach for Reverse Engineering Programs with
Pointers},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {219--226},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632842},
doi = {10.1109/ASE.1997.632842},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GannodC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Gaugne97,
author = {Ronan Gaugne},
title = {A Static Analysis for Program Understanding and Debugging},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {297--298},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632853},
doi = {10.1109/ASE.1997.632853},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Gaugne97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GirardKS97,
author = {Jean{-}Francois Girard and
Rainer Koschke and
Georg Schied},
title = {A Metric-based Approach to Detect Abstract Data Types and State Encapsulations},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {82--89},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632827},
doi = {10.1109/ASE.1997.632827},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GirardKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GoguenLMRS97,
author = {Joseph A. Goguen and
Kai Lin and
Akira Mori and
Grigore Rosu and
Akiyoshi Sato},
title = {Distributed Cooperative Formal Methods Tools},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {55--62},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632824},
doi = {10.1109/ASE.1997.632824},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GoguenLMRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GomaaF97,
author = {Hassan Gomaa and
Ghulam A. Farrukh},
title = {Automated Configuration of Distributed Applications from Reusable
Software Architectures},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {193--200},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632839},
doi = {10.1109/ASE.1997.632839},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GomaaF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Hall97,
author = {Robert J. Hall},
title = {Reactive System Validation using Automated Reasoning over a Fragment
Library},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {299--300},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632854},
doi = {10.1109/ASE.1997.632854},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Hall97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HarrisonB97,
author = {John V. Harrison and
Anthony Berglas},
title = {Data Flow Analysis within the {ITOC} Information System Design Recovery
Tool},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {227},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632843},
doi = {10.1109/ASE.1997.632843},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HarrisonB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Henninger97,
author = {Scott Henninger},
title = {Tools Supporting the Creation and Evolution of Software Development
Knowledge},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {46},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632823},
doi = {10.1109/ASE.1997.632823},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Henninger97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/JilaniDFMM97,
author = {Lamia Labed Jilani and
Jules Desharnais and
Marc Frappier and
Rym Mili and
Ali Mili},
title = {Retrieving Software Components that Minimize Adaptation Effort},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {255},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632846},
doi = {10.1109/ASE.1997.632846},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/JilaniDFMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KrappW97,
author = {Carl{-}Arndt Krapp and
Bernhard Westfechtel},
title = {Feedback Handling in Dynamic Task Nets},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {301--302},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632855},
doi = {10.1109/ASE.1997.632855},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/KrappW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LamJ97,
author = {Wing Lam and
Sara Jones},
title = {Mechanising Requirements Engineering: Reuse and the Application of
Domain Analysis Technology},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {303--304},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632856},
doi = {10.1109/ASE.1997.632856},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LamJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Lerner97,
author = {Barbara Staudt Lerner},
title = {{TESS:} Automated Support for the Evolution of Persistent Types},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {172},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632837},
doi = {10.1109/ASE.1997.632837},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Lerner97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MaharajB97,
author = {Savi Maharaj and
Juan Bicarregui},
title = {On the Verification of {VDM} Specification and Refinement with {PVS}},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {280},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632849},
doi = {10.1109/ASE.1997.632849},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MaharajB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MarletTC97,
author = {Renaud Marlet and
Scott Thibault and
Charles Consel},
title = {Mapping Software Architectures to Efficient Implementations via Partial
Evaluation},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {183--192},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632838},
doi = {10.1109/ASE.1997.632838},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MarletTC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MatskinT97,
author = {Mihhail Matskin and
Enn Tyugu},
title = {Strategies of Structural Synthesis of Programs},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {305--306},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632857},
doi = {10.1109/ASE.1997.632857},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MatskinT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MichaelMSW97,
author = {Christoph C. Michael and
Gary E. McGraw Jr. and
Michael Schatz and
C. C. Walton},
title = {Genetic Algorithms for Dynamic Test Data Generation},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {307--308},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632858},
doi = {10.1109/ASE.1997.632858},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MichaelMSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PautlerWQ97,
author = {David Pautler and
Steven Woods and
Alex Quilici},
title = {Exploiting Domain-Specific Knowledge to Refine Simulation Specifications},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {117},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632831},
doi = {10.1109/ASE.1997.632831},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PautlerWQ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Pecheur97,
author = {Charles Pecheur},
title = {Specification and Verification of the Co4 Distributed Knowledge System
using {LOTOS}},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {63--70},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632825},
doi = {10.1109/ASE.1997.632825},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Pecheur97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PenixAH97,
author = {John Penix and
Perry Alexander and
Klaus Havelund},
title = {Declarative Specification of Software Architectures},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {201},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632840},
doi = {10.1109/ASE.1997.632840},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PenixAH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PunshonTSF97,
author = {John M. Punshon and
J. Paul Tremblay and
Paul G. Sorenson and
Piotr S. Findeisen},
title = {From Formal Specifications to Natural Language: {A} Case Study},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {309--310},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632859},
doi = {10.1109/ASE.1997.632859},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PunshonTSF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SahraouiMLD97,
author = {Houari A. Sahraoui and
Walc{\'{e}}lio L. Melo and
Hakim Lounis and
F. Dumont},
title = {Applying Concept Formation Methods to Object Identification in Procedural
Code},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {210--218},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632841},
doi = {10.1109/ASE.1997.632841},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SahraouiMLD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SchumannF97,
author = {Johann Schumann and
Bernd Fischer},
title = {{NORA/HAMMR:} Making Deduction-Based Software Component Retrieval
Practical},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {246--254},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632845},
doi = {10.1109/ASE.1997.632845},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SchumannF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SetliffSM97,
author = {Dorothy E. Setliff and
Jay K. Strosnider and
Jose A. Madriz},
title = {Towards a Design Assistant for Distributed Embedded Systems},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {311--312},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632860},
doi = {10.1109/ASE.1997.632860},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SetliffSM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SrivastavaKM97,
author = {Biplav Srivastava and
Subbarao Kambhampati and
Amol Dattatraya Mali},
title = {A Structured Approach for Synthesizing Planners from Specifications},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {18--27},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632820},
doi = {10.1109/ASE.1997.632820},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SrivastavaKM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Sucrow97,
author = {Bettina Sucrow},
title = {Formal Specification of Human-Computer Interaction by Graph Grammars
under Consideration of Information Resources},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {28--35},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632821},
doi = {10.1109/ASE.1997.632821},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Sucrow97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SwardH97,
author = {R. R. Sward and
Thomas C. Hartrum},
title = {Extracting Objects from Legacy Imperative Code},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {98},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632829},
doi = {10.1109/ASE.1997.632829},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SwardH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Tan97,
author = {Hee Beng Kuan Tan},
title = {Enhancing the Component Reusability in Data-Intensive Business Programs
through Interface Separation},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {313--314},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632861},
doi = {10.1109/ASE.1997.632861},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Tan97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WangPS97,
author = {Chun{-}Chia Wang and
Wen C. Pai and
Timothy K. Shih},
title = {An Automated Object-Oriented Testing for {C++} Inheritance Hierarchy},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {315--316},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632862},
doi = {10.1109/ASE.1997.632862},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WangPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Welty97,
author = {Christopher A. Welty},
title = {Augmenting Abstract Syntax Trees for Program Understanding},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {126--133},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632832},
doi = {10.1109/ASE.1997.632832},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Welty97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WilliamsonH97,
author = {Keith E. Williamson and
Michael Healy},
title = {Formally Specifying Engineering Design Rationale},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {317--318},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632863},
doi = {10.1109/ASE.1997.632863},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WilliamsonH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Yamaguchi97,
author = {Takahira Yamaguchi},
title = {Modeling Software Processes by using Process and Object Ontologies},
booktitle = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
pages = {319--320},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASE.1997.632864},
doi = {10.1109/ASE.1997.632864},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Yamaguchi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/1997,
title = {1997 International Conference on Automated Software Engineering, {ASE}
1997, Lake Tahoe, CA, USA, November 2-5, 1997},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://ieeexplore.ieee.org/xpl/conhome/5003/proceeding},
isbn = {0-8186-7961-1},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-20 06:18 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
