Proceedings of the 11th Knowledge-Based Software Engineering Conference
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818676809

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A knowledge-based toolkit for software visualisation

Proceedings of the 11th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1996.552830 ◽

2002 ◽

Author(s):

D. Sidarkeviciute ◽

E. Tyugu ◽

A. Kuusik

Keyword(s):

Knowledge Based

Download Full-text

Complementing semi-formal specifications with Z

Proceedings of the 11th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1996.552823 ◽

2002 ◽

Author(s):

Y. Ledru

Keyword(s):

Formal Specifications

Download Full-text

Applying plan recognition algorithms to program understanding

Proceedings of the 11th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1996.552827 ◽

2002 ◽

Author(s):

A. Quilici ◽

Qiang Yang ◽

S. Woods

Keyword(s):

Plan Recognition ◽

Program Understanding ◽

Recognition Algorithms

Download Full-text

Extending design environments to software architecture design

Proceedings of the 11th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1996.552824 ◽

2002 ◽

Author(s):

J.E. Robbins ◽

D.M. Hilbert ◽

D.F. Redmiles

Keyword(s):

Software Architecture ◽

Architecture Design ◽

Design Environments ◽

Software Architecture Design

Download Full-text

Software synthesis for trade-off design

Proceedings of the 11th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1996.552832 ◽

2002 ◽

Author(s):

A. Sato ◽

M. Miki ◽

T. Yamanouchi ◽

M. Watanabe

Keyword(s):

Software Synthesis ◽

Download Full-text

Synthesis of local search algorithms by algebraic means

Proceedings of the 11th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1996.552820 ◽

2002 ◽

Author(s):

R.P. Graham ◽

P.D. Bailor

Keyword(s):

Local Search ◽

Search Algorithms ◽

Local Search Algorithms

Download Full-text

Using knowledge-based transformations to reverse-engineer COBOL programs

Proceedings of the 11th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1996.552829 ◽

2002 ◽

Author(s):

T.J. Harmer ◽

P.J. McParland ◽

J.M. Boyle

Keyword(s):

Reverse Engineer ◽

Knowledge Based

Download Full-text

Trusting your assistant

Proceedings of the 11th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1996.552822 ◽

2002 ◽

Author(s):

R.J. Hall

Download Full-text

Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations

Proceedings of the 11th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1996.552818 ◽

2002 ◽

Author(s):

T. Ellman ◽

T. Murata

Keyword(s):

Numerical Simulation ◽

Differential Equations ◽

Ordinary Differential Equations ◽

Deductive Synthesis

Download Full-text

Synthesis of schedulers for planned shutdowns of power plants

Proceedings of the 11th Knowledge-Based Software Engineering Conference ◽

10.1109/kbse.1996.552819 ◽

2002 ◽

Author(s):

C.P. Gomes ◽

D. Smith ◽

S. Westfold

Keyword(s):

Download Full-text