DSpace À propos de l'application DSpace
 

Depot Institutionnel de l'UMBB >
Thèses de Doctorat et Mémoires de Magister >
Génie Eléctriques >
Magister >

Veuillez utiliser cette adresse pour citer ce document : http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/1590

Titre: MS-dosshell formal specifications
Auteur(s): Taibi, Mohammed
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
Date de publication: 1994
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…
Description: 184 p. : ill. ; 30 cm
URI/URL: http://dlibrary.univ-boumerdes.dz:8080123456789/1590
Collection(s) :Magister

Fichier(s) constituant ce document :

Fichier Description TailleFormat
Taibi Mohammed magister.pdf3,24 MBAdobe PDFVoir/Ouvrir
View Statistics

Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.

 

Valid XHTML 1.0! Ce site utilise l'application DSpace, Version 1.4.1 - Commentaires