FAULTLESS SYSTEMS: YES WE CAN!
The article discusses the need for gradual global improvements in software and system development. The entry notes that a definitions and requirements document must first be established before starting system development, while a modeling of the future system will help to instruct developers and eng...
| Publicado en: | Computer (00189162) Vol. 42; no. 9; pp. 30 - 37 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
IEEE
Sep2009
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=44299241&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 44299241 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Sep2009 vid: 42 iid: 9 pid: 13605 pub: IEEE artinfo: ui: 44299241 10.1109/MC.2009.283 ppf: 30 ppct: 7 formats: tig: atl: FAULTLESS SYSTEMS: YES WE CAN! aug: au: Abrial, Jean-Raymond affil: Swiss Federal Institute of Technology, Zurich su: Computer software development Computer systems Electronic systems Software engineering Simulation methods & models sug: subj: Computer software development Computer systems Electronic systems Software engineering Simulation methods & models ab: The article discusses the need for gradual global improvements in software and system development. The entry notes that a definitions and requirements document must first be established before starting system development, while a modeling of the future system will help to instruct developers and engineers on how to explain and formalize their observations of the computerized system. It mentions that modelling also requires a process of simulation and proving through discrete transition systems. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2009 holdings: @attributes: islocal: N |
|---|