Proceedings of the Ninth Knowledge-Based Software Engineering Conference
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Douglas R. Smith, Richard Jüllig
Proceedings of the Ninth Knowledge-Based Software Engineering Conference
KBSE, 1994.

SE
DBLP
Scholar
Full names Links ISxN
@proceedings{KBSE-1994,
	editor        = "Douglas R. Smith and Richard Jüllig",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Ninth Knowledge-Based Software Engineering Conference}",
	year          = 1994,
}

Event page: http://www.ase-conferences.org/ase/past/kbse-9.program.txt

Contents (24 items)

KBSE-1994-LowryPPU #automation #library #named #programming
AMPHION: Automatic Programming for Subroutine Libraries (MRL, AP, TP, IU), p. 2.
KBSE-1994-Benner #development #knowledge-based
Knowledge-Based Software Assistant — Advanced Development Model Demonstrations (KB), p. 3.
KBSE-1994-KotikM #assurance #quality
Application of REFINE Language ToolsTM to Software Quality Assurance (GK, LM), p. 4.
KBSE-1994-FeatherF #design #distributed #framework
A Framework for Distributed System Designs (MSF, SF), pp. 6–13.
KBSE-1994-TerveenS #case study
Intelligent Assistance for Software Construction: A Case Study (LGT, PGS), pp. 14–21.
KBSE-1994-GirgensohnRS #communication #design #developer
Agent-Based Support for Communication Between Developers and Users in Software Design (AG, DFR, FMSI), pp. 22–29.
KBSE-1994-MintonW #machine learning #source code #using
Using Machine Learning to Synthesize Search Programs (SM, SRW), pp. 31–38.
KBSE-1994-Novak #component #reuse
Composing Reusable Software Components Through Views (GSN), pp. 39–47.
KBSE-1994-LowryPPU94a #approach #design #formal method
A Formal Approach to Domain-Oriented Software Design Environments (MRL, AP, TP, IU), pp. 48–57.
KBSE-1994-ChilenskiN #analysis #specification #test coverage #tool support
Formal Specification Tools for Test Coverage Analysis (JC, PN), pp. 59–68.
KBSE-1994-Hall #incremental #rule-based #validation
Systematic Incremental Validation of Rule-Based Reactive Systems (RJH), pp. 69–78.
KBSE-1994-TongKP #flexibility #re-engineering
A Flexible Rule-Chaining Engine for Process-Based Software Engineering (AZT, GEK, SSP), pp. 79–88.
KBSE-1994-JengC #approach #component #formal method #reuse
A Formal Approach to Reusing More General Components (JJJ, BHCC), pp. 90–97.
KBSE-1994-LauzonR #retrieval #similarity
Task Oriented and Similarity-Based Retrieval (DL, TR), pp. 98–107.
KBSE-1994-WildR #evolution #reuse #specification #using
Evolution and Reuse of Formal Specification Using Decision Structures (JCW, DR), pp. 108–115.
KBSE-1994-SelfridgeH #comprehension #visual notation
Graphical Support for Code-Level Software Understanding (PGS, GTH), pp. 117–124.
KBSE-1994-QuiliciC #comprehension
A Cooperative Program Understanding Environment (AQ, DNC), pp. 125–132.
KBSE-1994-DekkerV #data type #recognition
Abstract Data Structure Recognition (RD, FV), pp. 133–140.
KBSE-1994-Bolcer #design #development #scalability #user interface
User Interface Design Assistance For Large-Scale Software Development (GAB), pp. 142–149.
KBSE-1994-Balmas #concept #pattern matching #source code
An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs (FB), pp. 150–157.
KBSE-1994-LoiaQ #logic programming #object-oriented #paradigm
Integrating Object-Oriented Paradigms and Logic Programming: The OPLA Language (VL, MQ), pp. 158–164.
KBSE-1994-BoehmB #knowledge-based #re-engineering
Critical Success Factors for Knowledge-Based Software Engineering Applications (BWB, PKB), pp. 166–171.
KBSE-1994-Madachy #assessment #estimation #knowledge-based #risk management
Knowledge-Based Risk Assessment and Cost Estimation (RJM), pp. 172–178.
KBSE-1994-Toth #risk management
Software Technology Risk Advisor (GAT), pp. 179–188.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.