Author/Creator: Mili, Ali - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Mili, Ali

1. Correctness enhancement: a pervasive software engineering paradigm. (20th July 2020)

Authors:: Khaireddine, Besma; AbdelAli, Marwa Ben; Jilani, Lamia Labed; Zakharchenko, Aleksandr; Mili, Ali
Journal:: International journal of critical computer-based systems
Issue:: Volume 10:Number 1(2020)
Page Start:: 37
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Putting engineering into software engineering: Upholding software engineering principles in the classroom. (July 2015)

Authors:: Tchier, Fairouz; Rabai, Latifa Ben Arfa; Mili, Ali
Journal:: Computers in human behavior
Issue:: Volume 48(2015)
Page Start:: 245
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Putting engineering into software engineering: Upholding software engineering principles in the classroom. (July 2015)

Authors:: Tchier, Fairouz; Rabai, Latifa Ben Arfa; Mili, Ali
Journal:: Computers in human behavior
Issue:: Volume 48(2015)
Page Start:: 245
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Putting engineering into software engineering: Upholding software engineering principles in the classroom. (July 2015)

Authors:: Tchier, Fairouz; Rabai, Latifa Ben Arfa; Mili, Ali
Journal:: Computers in human behavior
Issue:: Volume 48(2015)
Page Start:: 245
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings /: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. (2017)

Editors:: Barkaoui, Kamel; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène, 1966-
Other Names:: VECoS (Conference), 11th
Record Type:: Book
Extent:: 1 online resource (xvi, 205 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. Verifying while loops with invariant relations. (1st January 2014)

Authors:: Louhichi, Asma; Ghardallou, Wided; Bsaies, Khaled; Jilani, Lamia Labed; Mraihi, Olfa; Mili, Ali
Journal:: International journal of critical computer-based systems
Issue:: Volume 5:Number 1/2(2014)
Page Start:: 78
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗