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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818676809

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Applying plan recognition algorithms to program understanding

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

10.1109/kbse.1996.552827 ◽

2002 ◽

Cited By ~ 3

Author(s):

A. Quilici ◽

Qiang Yang ◽

S. Woods

Keyword(s):

Plan Recognition ◽

Program Understanding ◽

Recognition Algorithms

Download Full-text

A knowledge-based toolkit for software visualisation

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

10.1109/kbse.1996.552830 ◽

2002 ◽

Cited By ~ 1

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 ◽

Cited By ~ 3

Author(s):

Y. Ledru

Keyword(s):

Formal Specifications

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 ◽

Cited By ~ 7

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 ◽

Cited By ~ 1

Author(s):

A. Sato ◽

M. Miki ◽

T. Yamanouchi ◽

M. Watanabe

Keyword(s):

Software Synthesis ◽

Trade Off

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 ◽

Cited By ~ 5

Author(s):

T.J. Harmer ◽

P.J. McParland ◽

J.M. Boyle

Keyword(s):

Reverse Engineer ◽

Knowledge Based

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 ◽

Cited By ~ 3

Author(s):

R.P. Graham ◽

P.D. Bailor

Keyword(s):

Local Search ◽

Search Algorithms ◽

Local Search Algorithms

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 ◽

Cited By ~ 4

Author(s):

C.P. Gomes ◽

D. Smith ◽

S. Westfold

Keyword(s):

Power Plants

Download Full-text

Trusting your assistant

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

10.1109/kbse.1996.552822 ◽

2002 ◽

Cited By ~ 7

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 ◽

Cited By ~ 1

Author(s):

T. Ellman ◽

T. Murata

Keyword(s):

Numerical Simulation ◽

Differential Equations ◽

Ordinary Differential Equations ◽

Deductive Synthesis

Download Full-text

Proceedings of the 11th Knowledge-Based Software Engineering ConferenceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc. Press

Applying plan recognition algorithms to program understanding

A knowledge-based toolkit for software visualisation

Complementing semi-formal specifications with Z

Extending design environments to software architecture design

Software synthesis for trade-off design

Using knowledge-based transformations to reverse-engineer COBOL programs

Synthesis of local search algorithms by algebraic means

Synthesis of schedulers for planned shutdowns of power plants

Trusting your assistant

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

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