default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th KBSE 1996: Syracuse, NY, USA
- Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996. IEEE Computer Society 1996, ISBN 0-8186-7680-9
Session 1: Synthesis I
- Thomas Ellman, Takahiro Murata:
Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations. 2-11 - Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold:
Synthesis of schedulers for planned shutdowns of power plants. 12-20 - Robert P. Graham Jr., Paul D. Bailor:
Synthesis of local search algorithms by algebraic means. 21-30
Session 2: Verification and Validation
- Adele E. Howe, Larry D. Pyeatt:
Constructing transition models of AI planner behavior. 33-41 - Robert J. Hall:
Trusting your assistant. 42-51 - Yves Ledru:
Complementing semi-formal specifications with Z. 52-61
Session 3: Knowledge-Based Environments
- Jason E. Robbins, David M. Hilbert, David F. Redmiles:
Extending design environments to software architecture design. 63-72 - Kevin Benner:
Addressing complexity, coordination, and automation in software development with the KBSA/ADM. 73-83 - Barbara Dellen, Kirstin Kohler, Frank Maurer:
Integrating software process models and design rationales. 84-93
Session 4: Reverse Engineering
- Alex Quilici, Qiang Yang, Steven Woods:
Applying plan recognition algorithms to program understanding. 96-103 - John Eric Keane, Thomas Ellman:
Knowledge-based re-engineering of legacy programs for robustness in automated design. 104-113 - Terence J. Harmer, Patrick J. McParland, James M. Boyle:
Using knowledge-based transformations to reverse-engineer COBOL programs. 114-123
Session 5: Synthesis
- Diana Sidarkeviciute, Enn Tyugu, Ago Kuusik:
A knowledge-based toolkit for software visualisation. 125-133 - Fawzia Derrough Darche:
Set differentiation: a method for the automatic generation of filtering algorithms. 134-143 - Akiyoshi Sato, Masato Miki, Toru Yamanouchi, Masanobu Watanabe:
Software synthesis for trade-off design. 144-153
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.
last updated on 2024-09-14 01:15 CEST 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:
