default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th KBSE 1992: McLean, VA, USA
- Proceedings of the Seventh Knowledge-Based Software Engineering Conference, KBSE 1992, McLean, VA, USA, September 20-23, 1992. IEEE Computer Society 1992, ISBN 0-8186-2880-4
- Elaine Kant:
Knowledge-based support for scientific programming. 2-4 - Henson Graves, Joe Louie, Tracy Mullen:
A code synthesis experiment. 6-17 - Tobiah E. Smith, Dorothy E. Setliff:
Knowledge-based constraint-driven software synthesis. 18-27 - Toru Yamanouchi, Akiyoshi Sato, Minoru Tomobe, Hiroshi Takeuchi, Jun Takamura, Masanobu Watanabe:
Software synthesis shell SOFTEX/S. 28-37 - J. D'Almeida, Ramesh Achuthan, Thiruvengadam Radhakrishnan, Vangalur S. Alagar:
Transformation of a semi-formal specification to VDM. 40-49 - Yves Ledru, Marie-Hélène Liégeois:
Prototyping VDM specifications with KIDS. 50-59 - Douglas R. Smith:
Track assignment in an air traffic control system: a rational reconstruction of system design. 60-68 - Gordon S. Novak:
Software reuse through view type clusters. 70-79 - Hamid Ould-Brahim, Stan Matwin
:
Reusing database queries in analogical domains. 80-89 - Gilles Fouqué, Stan Matwin:
CAESAR: a system for case based software reuse. 90-99 - Sanjay Bhansali, H. Penny Nii:
Software design by reusing architectures. 100-109 - Neil A. M. Maiden, Alistair G. Sutcliffe:
Domain abstractions in requirements engineering: an exemplar approach? 112-121 - Peiwei Mi, Ming June Lee, Walt Scacchi:
A knowledge-based software process library for process-driven software development. 122-131 - Matthias Jarke, Manfred A. Jeusfeld, Andreas Miethsam, Michael Gocek:
Towards a logic-based reconstruction of software configuration management. 132-141 - Robert B. Terwilliger:
Simulating the Gries/Dijkstra design process. 144-153 - Martin S. Feather:
Explorations on the formal frontier of distributed system design. 154-162 - Peter G. Selfridge, Loren G. Terveen, M. David Long:
Managing design knowledge to provide assistance to large-scale software development. 163-170 - Yingsha Liao:
Efficiently computing derived performance data. 172-181 - Donald Cohen, Neil Campbell:
Automatic composition of data structures to represent relations. 182-191 - Richard M. Keller, Michal Rimon:
A knowledge-based software development environment for scientific model-building. 192-201 - Gerhard Fischer:
Domain-oriented design environments. 204-213 - Wojtek Kozaczynski, Jim Q. Ning, Tom Sarver:
Program concept recognition. 216-225 - Paul D. Bailor:
Educating knowledge-based software engineers. 226-235 - L. Miller, L. Johnson, Jim Q. Ning, Premkumar T. Devanbu:
Program understanding - does it offer hope for aging software? 238-242 - Barry W. Boehm, Morton Hirschberg, Richard Jüllig, Randall Shumaker, Douglas White:
DoD's software technology plans: what do they mean for KBSE, and what does it mean for them? 243-245
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 2025-12-15 22:35 CET 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:
