Sélection de publications

1. K. Zeroual, P.N. Robillard, KBMS: A Knowledge-based System for Modeling Software System Specifications, IEEE Trans. on Knowledge and Data Engineering, vol. 4, ndeg. 3, 1992.

2. K. Zeroual, N. Rivard, ERMES: An Entity-relationship Modelling Expert System, The International Journal of Control and Computers, vol. 19, ndeg. 2, 1991.

3. K. Zeroual, KBRAS: A Knowledge-based Requirements Acquisition System, Proceedings of the IEEE society from the 6th Knowledge-Based Software Engineering (KBSE-91) Conference, Syracuse N.W., sept. 1991.

4. K. Zeroual, Structuring the automation of the software specification-acquisition process, Proceedings of the 2th International Workshop on Software Engineering and its Applications, dec. 1989, Toulouse, France.

5. K. Zeroual, An approach for automating the specification-acquisition process, Proceedings of the 11th (International Joint Conference on Artificial Intelligence) IJCAI-89 Workshop on Automating Software Design, août 1989, p. 303-306, Detroit, USA.

6. K. Zeroual, Reasoning on Requirements Specifications: A Deductive Approach, Proceedings of the 13th IEEE International COMPSAC (Computer Software Application Conference ), sept. 1989, p. 650-657, Orlando, Florida.