MS-dosshell formal specifications
| dc.contributor.author | Taibi, Mohammed | |
| dc.date.accessioned | 2015-06-10T10:51:13Z | |
| dc.date.available | 2015-06-10T10:51:13Z | |
| dc.date.issued | 1994 | |
| dc.description | 184 p. : ill. ; 30 cm | en_US |
| dc.description.abstract | 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… | en_US |
| dc.identifier.uri | https://dspace.univ-boumerdes.dz123456789/1590 | |
| dc.language.iso | en | en_US |
| dc.subject | Computer systems | en_US |
| dc.subject | Systèmes informatiques | en_US |
| dc.subject | Logiciels : Fiabilité | en_US |
| dc.subject | Formal methods (Computer science) | en_US |
| dc.subject | Méthodes formelles (informatique) | en_US |
| dc.subject | Interaction homme-ordinateur | en_US |
| dc.subject | Computer programs : Reliability (Engineering) | en_US |
| dc.subject | Human-computer interaction | en_US |
| dc.title | MS-dosshell formal specifications | en_US |
| dc.type | Thesis | en_US |