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 |
| Sumario: | 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. |
|---|