Trusting your assistant
Hall, R.J.
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Get full text
Conference Proceeding
Synthesis of schedulers for planned shutdowns of power plants
Gomes, C.P., Smith, D., Westfold, S.
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Get full text
Conference Proceeding
Integrating software process models and design rationales
Dellen, B., Kohler, K., Maurer, F.
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Get full text
Conference Proceeding
Extending design environments to software architecture design
Robbins, J.E., Hilbert, D.M., Redmiles, D.F.
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Get full text
Conference Proceeding
A knowledge-based toolkit for software visualisation
Sidarkeviciute, D., Tyugu, E., Kuusik, A.
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Get full text
Conference Proceeding
Software synthesis for trade-off design
Sato, A., Miki, M., Yamanouchi, T., Watanabe, M.
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Get full text
Conference Proceeding
Complementing semi-formal specifications with Z
Ledru, Y.
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Get full text
Conference Proceeding
Applying plan recognition algorithms to program understanding
Quilici, A., Qiang Yang, Woods, S.
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Get full text
Conference Proceeding
Synthesis of local search algorithms by algebraic means
Graham, R.P., Bailor, P.D.
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Get full text
Conference Proceeding
Constructing transition models of AI planner behavior
Howe, A.E., Pyeatt, L.D.
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Published in Proceedings of the 11th Knowledge-Based Software Engineering Conference (1996)
Get full text
Conference Proceeding