Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Akiyoshi Sato, Masato Miki, Toru Yamanouchi, Masanobu Watanabe |
Software synthesis for trade-off design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 144-153, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Terence J. Harmer, Patrick J. McParland, James M. Boyle |
Using knowledge-based transformations to reverse-engineer COBOL programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 114-123, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Adele E. Howe, Larry D. Pyeatt |
Constructing transition models of AI planner behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 33-41, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alex Quilici, Qiang Yang 0001, Steven Woods |
Applying plan recognition algorithms to program understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 96-103, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Benner |
Addressing complexity, coordination, and automation in software development with the KBSA/ADM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 73-83, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Hall 0001 |
Trusting your assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 42-51, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Dellen, Kirstin Kohler, Frank Maurer |
Integrating software process models and design rationales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 84-93, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Carla P. Gomes, Douglas R. Smith, Stephen J. Westfold |
Synthesis of schedulers for planned shutdowns of power plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 12-20, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yves Ledru |
Complementing semi-formal specifications with Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 52-61, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Diana Sidarkeviciute, Enn Tyugu, Ago Kuusik |
A knowledge-based toolkit for software visualisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 125-133, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996 ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![IEEE Computer Society, 0-8186-7680-9 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Fawzia Derrough Darche |
Set differentiation: a method for the automatic generation of filtering algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 134-143, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robert P. Graham Jr., Paul D. Bailor |
Synthesis of local search algorithms by algebraic means. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 21-30, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John Eric Keane, Thomas Ellman |
Knowledge-based re-engineering of legacy programs for robustness in automated design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 104-113, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jason E. Robbins, David M. Hilbert, David F. Redmiles |
Extending design environments to software architecture design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 63-72, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ellman, Takahiro Murata |
Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996, pp. 2-11, 1996, IEEE Computer Society, 0-8186-7680-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yishai A. Feldman, Doron Friedman |
Portability by Automatic Translation - A Large-Scale Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 123-130, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sanjay Bhansali, Tim J. Hoar |
Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 11-18, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995 ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![IEEE Computer Society, 0-8186-7204-8 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Thomas Ellman, John Eric Keane, Takahiro Murata, Mark Schwabacher |
A Transformation System for Interactive Reformulation of Design Optimization Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 44-51, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Lowry, Jeffrey Van Baalen |
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 2-10, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yves Ledru |
Specification and Animation of a Bank Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 192-199, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Chris Clifton, Wen-Syan Li |
Classifying Software Components Using Design Characteristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 139-146, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | W. Lewis Johnson, Ali Erdem |
Interactive Explanation of Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 155-164, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Scott A. DeLoach, Paul D. Bailor, Thomas C. Hartrum |
Representing Object Models as Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 28-35, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | John Penix, Phillip Baraona, Perry Alexander |
Classification and Retrieval of Reusable Components Using Semantic Features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 131-138, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Julian Richardson |
Automating Changes of Data Type in Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 166-173, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Enn Tyugu |
From Object-Oriented to Knowledge-Based Programming (NUT System Development Experience). ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 88-95, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Harald Reuß |
Towards High-Level Deductive Program Synthesis Based on Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 174-183, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | William C. Sasso, Kevin Benner |
An Empirical Evaluation of KBSA Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 71-78, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ina Kraan, Peter Baumann |
Logical Frameworks as a Basis for Verification Tools: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 36-43, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Prasanta K. Bose |
A Model for Decision Maintenance in the WinWin Collaboration Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 105-113, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Greger Lindén, A. Inkeri Verkamo |
An Interface Between Different Software Development Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 79-87, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David D. Lowry, Michael R. Lowry |
Legal Issues on Knowledge-Based Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 61-69, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christopher A. Welty |
Towards an Epistemology for Software Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 148-154, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu |
CACHET: An Interactive, Incremental-Attribution-Based Program Transformation System for Deriving Incremental Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 19-26, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Akiyoshi Sato, Minoru Tomobe, Toru Yamanouchi, Masanobu Watanabe, Masashi Hijikata |
Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 97-104, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Adele E. Howe, Anneliese von Mayrhauser, Richard T. Mraz |
Test Sequences as Plans: An Experiment in Using an AI Planner to Generate System Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 184-191, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Rosca, Sol J. Greenspan, J. Christian Wild, Howard B. Reubenstein, Kurt Maly, Mark Feblowitz |
Application of a Decision Support Mechanism to the Business Rules Lifecycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 114-121, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Dick, Thomas Santen |
Searching for a Global Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'95, the Tenth Knowledge-Based Software Engineering Conference, Boston, Massachusetts, USA, November 12-15, 1995, pp. 52-59, 1995, IEEE Computer Society, 0-8186-7204-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Barry W. Boehm, Prasanta K. Bose |
Critical Success Factors for Knowledge-Based Software Engineering Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 166-171, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Girgensohn, David F. Redmiles, Frank M. Shipman III |
Agent-Based Support for Communication Between Developers and Users in Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 22-29, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Hall 0001 |
Systematic Incremental Validation of Rule-Based Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 69-78, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Benner |
Knowledge-Based Software Assistant - Advanced Development Model Demonstrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 3, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Alex Quilici, David N. Chin |
A Cooperative Program Understanding Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 125-132, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Steven Minton, Shawn R. Wolfe |
Using Machine Learning to Synthesize Search Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 31-38, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | J. Christian Wild, Daniela Rosca |
Evolution and Reuse of Formal Specification Using Decision Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 108-115, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gregory A. Toth |
Software Technology Risk Advisor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 179-188, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Raymond J. Madachy |
Knowledge-Based Risk Assessment and Cost Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 172-178, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Alan Bolcer |
User Interface Design Assistance For Large-Scale Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 142-149, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | John Chilenski, Philip Newcomb |
Formal Specification Tools for Test Coverage Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 59-68, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Kotik, Lawrence Markosian |
Application of REFINE Language ToolsTM to Software Quality Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 4, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Loren G. Terveen, Peter G. Selfridge |
Intelligent Assistance for Software Construction: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 14-21, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Martin S. Feather, Stephen Fickas |
A Framework for Distributed System Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 6-13, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jun-Jang Jeng, Betty H. C. Cheng |
A Formal Approach to Reusing More General Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 90-97, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Z. Tong, Gail E. Kaiser, Steven S. Popovich |
A Flexible Rule-Chaining Engine for Process-Based Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 79-88, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood |
AMPHION: Automatic Programming for Subroutine Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 2, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Francoise Balmas |
An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 150-157, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood |
A Formal Approach to Domain-Oriented Software Design Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 48-57, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | René Dekker, Frans Ververs |
Abstract Data Structure Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 133-140, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gordon S. Novak |
Composing Reusable Software Components Through Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 39-47, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Loia, Michel Quaggetto |
Integrating Object-Oriented Paradigms and Logic Programming: The OPLA Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 158-164, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Selfridge, George T. Heineman |
Graphical Support for Code-Level Software Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 117-124, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994 ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![IEEE Computer Society, 0-8186-6380-4 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | David Lauzon, Thomas Rose 0001 |
Task Oriented and Similarity-Based Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994, pp. 98-107, 1994, IEEE Computer Society, 0-8186-6380-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hing-Yan Lee, Mehdi T. Harandi |
An analogy-based retrieval mechanism for software design reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 152-159, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Paul D. Bailor, Frank Young, Kim Kanzaki |
An experiment in applying knowledge-based software engineering technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 178-185, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Peiwei Mi, Walt Scacchi |
Articulation: an integrated approach to the diagnosis, replanning, and rescheduling of software process failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 77-84, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Benner |
The ARIES Simulation Component (ASC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 40-49, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Tobiah E. Smith, Dorothy E. Setliff |
Towards supporting design phase synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 20-27, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | W. Lewis Johnson, K. Narayanaswamy, Robert Balzer |
Interactive elaboration of generic designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 96-103, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993 ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![IEEE Computer Society, 0-8186-4100-2 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Richard Jüllig, Yellamraju V. Srinivas |
Diagrams for software synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 10-19, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | T. Richard MacMillan, Elaine P. Lusher, Martha L. Farinacci, Sharon J. Laskowski, Leonard J. Seligman, Adrienne J. Kleiboemer |
A common architecture to encourage reuse of natural language/text processing tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 133-142, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Lutz |
The knowledge base maintenance assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 86-95, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Sudin Bhat, Kanth Miriyala |
Operations for evolving specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 104-111, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | David F. Redmiles |
Observations on using empirical studies on developing a knowledge-based software engineering tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 170-177, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Paul A. Bailes, Murray Chapman, Ming Gong, Ian Peake |
GRIT-an extended REFINE for more executable specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 123-132, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Gina Kingston, Rudi Vernik, Philip W. Dart |
Development of an expert assistant for software evaluation using a hybrid approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 186-195, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Chris Drummond, Robert C. Holte, Dan Ionescu |
Accelerating browsing by automatically inferring a user's search goal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 160-167, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesh Srinivasan, Leon Sterling |
A knowledge based framework for developing and customizing schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 69-76, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Tanya Korelsky, Daryl McCullough, Owen Rambow |
Knowledge requirements for the automatic generation of project management reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 2-9, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Robert J. Hall 0001 |
Validation of rule-based reactive systems by sound scenario generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 30-39, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Steven J. Zeil, J. Christian Wild |
A knowledge base for software test refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 50-57, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dewayne E. Perry, Steven S. Popovich |
Inquire: predicate-based use and reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 144-151, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Douglas R. Smith, Eduardo A. Parra |
Transformational approach to transportation scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 60-68, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Martin S. Feather |
An implementation of bounded obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993, pp. 114-122, 1993, IEEE Computer Society, 0-8186-4100-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | L. Miller, L. Johnson, Jim Q. Ning, Premkumar T. Devanbu |
Program understanding - does it offer hope for aging software? ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 238-242, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Jarke, Manfred A. Jeusfeld, Andreas Miethsam, Michael Gocek |
Towards a logic-based reconstruction of software configuration management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 132-141, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Fischer |
Domain-oriented design environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 204-213, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Yingsha Liao |
Efficiently computing derived performance data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 172-181, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Wojtek Kozaczynski, Jim Q. Ning, Tom Sarver |
Program concept recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 216-225, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992 ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![IEEE Computer Society, 0-8186-2880-4 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Elaine Kant |
Knowledge-based support for scientific programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 2-4, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Henson Graves, Joe Louie, Tracy Mullen |
A code synthesis experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 6-17, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Donald Cohen, Neil Campbell |
Automatic composition of data structures to represent relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 182-191, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Robert B. Terwilliger |
Simulating the Gries/Dijkstra design process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 144-153, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Gordon S. Novak |
Software reuse through view type clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 70-79, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Tobiah E. Smith, Dorothy E. Setliff |
Knowledge-based constraint-driven software synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 18-27, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Toru Yamanouchi, Akiyoshi Sato, Minoru Tomobe, Hiroshi Takeuchi, Jun Takamura, Masanobu Watanabe |
Software synthesis shell SOFTEX/S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBSE ![In: Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992, pp. 28-37, 1992, IEEE Computer Society, 0-8186-2880-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|