Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818663804

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

Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering ConferenceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

A formal approach to reusing more general components

Software technology risk advisor

Systematic incremental validation of rule-based reactive systems

A framework for distributed system designs

Using machine learning to synthesize search programs

Agent-based support for communication between developers and users in software design

Integrating object-oriented paradigms and logic programming: the OPLA language

Composing reusable software components through views

Abstract data structure recognition

Application of REFINE Language Tools to software quality assurance

Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference
Latest Publications