All Outputs (2)

Technology-based approach for managing large classes : a case study (1997)
Presentation / Conference
Meziane, F., & Kulathuramaiyer, N. (1997, December). Technology-based approach for managing large classes : a case study. Presented at Proceeding of the International Conference on Computers in Education, (ICCE97), Kuching, Sarawak

Educational institutions are faced with many problems. In one hand they face a shortage of staff and funding and at the same time the number of students enrolled is ever increasing. The lecturers are faced with large and sometimes huge classes. Prov... Read More about Technology-based approach for managing large classes : a case study.

Tools for producing formal specifications : a view of current architectures and future directions (1997)
Journal Article
Vadera, S., & Meziane, F. (1997). Tools for producing formal specifications : a view of current architectures and future directions. Annals of Software Engineering, 3(1), 273-290. https://doi.org/10.1023/A%3A1018950324254

During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well-defined notation that can improve consistency and avoid ambiguity in specifications. However... Read More about Tools for producing formal specifications : a view of current architectures and future directions.