Mémoires de Fin d’Etudes
Etablissement
Université de Boumerdès - M’hamed Bougara
Affiliation
Département Electronique
Auteur
TAIBI, Mohammed
Directeur de thèse
Merhoud (Maitre de conférence)
Filière
Génie Electronique
Diplôme
Magister
Titre
MS-dosshell formal specifications
Mots clés
Computer systems ; Systèmes informatiques ; Logiciels : Fiabilité ; Formal methods (Computer science) ; Méthodes formelles (informatique) ; Interaction homme-ordinateur ; Computer programs : Reliability (Engineering) ; Human-computer interaction
Résumé
The purpose of this research is to formalize (ie, using formal methods) an already existing human computer interface (dosshell) so as to provide a case study to encourage further research in the domain. The use of formal method in the specification of user interfaces has gained an increasing need in software development in the late eighties. Formal specifications are mathematical models representing computer systems. The use of mathematiques in software as hardware system development increases the system’s reliability. Testability, ease of maintenance and cost effectiveness…
Date de soutenance
1994
Cote
621.3(043.2)/A90/TAI
Pagination
184 p.
Illusatration
ill.
Format
30 cm
Statut
Traitée