ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
Latest Publications
TOTAL DOCUMENTS
24
(FIVE YEARS 0)
H-INDEX
6
(FIVE YEARS 0)
Published By IEEE Comput. Soc. Press
0818663804
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
A formal approach to reusing more general components
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
◽
10.1109/kbse.1994.342674
◽
2002
◽
Cited By ~ 12
Author(s):
Jun-Jang Jeng
◽
B.H.C. Cheng
Keyword(s):
Formal Approach
Download Full-text
Software technology risk advisor
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
◽
10.1109/kbse.1994.342663
◽
2002
◽
Cited By ~ 1
Author(s):
A.A. Toth
Keyword(s):
Software Technology
Download Full-text
Systematic incremental validation of rule-based reactive systems
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
◽
10.1109/kbse.1994.342676
◽
2002
◽
Cited By ~ 2
Author(s):
R.J. Hall
Keyword(s):
Reactive Systems
◽
Rule Based
◽
Incremental Validation
Download Full-text
A framework for distributed system designs
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
◽
10.1109/kbse.1994.342683
◽
2002
◽
Cited By ~ 1
Author(s):
M.S. Feather
◽
S. Fickas
Keyword(s):
Distributed System
◽
System Designs
Download Full-text
Using machine learning to synthesize search programs
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
◽
10.1109/kbse.1994.342680
◽
2002
◽
Cited By ~ 1
Author(s):
S. Minton
◽
S.R. Wolfe
Keyword(s):
Machine Learning
Download Full-text
Agent-based support for communication between developers and users in software design
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
◽
10.1109/kbse.1994.342681
◽
2002
◽
Cited By ~ 9
Author(s):
A. Girgensohn
◽
D.F. Redmiles
◽
F.M. Shipman
Keyword(s):
Software Design
◽
Agent Based
Download Full-text
Integrating object-oriented paradigms and logic programming: the OPLA language
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
◽
10.1109/kbse.1994.342666
◽
2002
◽
Author(s):
V. Loia
◽
M. Quaggetto
Keyword(s):
Logic Programming
◽
Object Oriented
Download Full-text
Composing reusable software components through views
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
◽
10.1109/kbse.1994.342679
◽
2002
◽
Cited By ~ 3
Author(s):
G.S. Novak
Keyword(s):
Software Components
◽
Reusable Software
Download Full-text
Abstract data structure recognition
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
◽
10.1109/kbse.1994.342669
◽
2002
◽
Cited By ~ 6
Author(s):
R. Dekker
◽
F. Ververs
Keyword(s):
Data Structure
◽
Structure Recognition
◽
Abstract Data
Download Full-text
Application of REFINE Language Tools to software quality assurance
Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
◽
10.1109/kbse.1994.342684
◽
2002
◽
Author(s):
G. Kotik
◽
L. Markosian
Keyword(s):
Quality Assurance
◽
Software Quality
◽
Software Quality Assurance
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close