Ingenieria De Requisitos
Páginas: 2 (315 palabras)
Publicado: 11 de abril de 2012
Application and benefits of formal methods in software development,
Pagina 335, columna izquierda, primer párrafo renglón 11.
In this paper, a detailed examination is made of the application of,and the benefits resulting from, a generally applicable formal method (VDM) in a standard model for software development (DoD-STD-2 167A).Application andbenefits of formal methods in software development
página 335, columna derecha, primer párrafo, renglón 2.
However, they are rarely actually applied in industry for the development of (large)software systems. Pilot projects are being carried out in industry by a few companies, and some isolated cases of larger efforts are known (for example, the formal specification in Z of the IBMtransaction processing system ClCS [2D]
Application and benefits of formal methods in software development
Página 335, columna derecha, último párrafo.
Automatic support: formal methods need automaticsupport (tools). Error-free specifications (necessary for reasoning) can be constructed faster when using syntax directed editors and type checkers, and non-trivial proofs.
Application and benefitsof formal methods in software development
Página 336, columna derecha, primer párrafo, renglón 3.
Such formal methods provide frameworks within which people can specify, develop and verifysystems in a systematic, rather than ad hoc manner'.
The message switches transmit messages by communicating with one another and, whenever network communications are required.
Página 89, columnaizquierda al final del documento.
The THETA kernel is a distributed program that runs on each computer that is part of the THETA network.
Página 88, columna izquierda, introducción al final del...
Pagina 335, columna izquierda, primer párrafo renglón 11.
In this paper, a detailed examination is made of the application of,and the benefits resulting from, a generally applicable formal method (VDM) in a standard model for software development (DoD-STD-2 167A).Application andbenefits of formal methods in software development
página 335, columna derecha, primer párrafo, renglón 2.
However, they are rarely actually applied in industry for the development of (large)software systems. Pilot projects are being carried out in industry by a few companies, and some isolated cases of larger efforts are known (for example, the formal specification in Z of the IBMtransaction processing system ClCS [2D]
Application and benefits of formal methods in software development
Página 335, columna derecha, último párrafo.
Automatic support: formal methods need automaticsupport (tools). Error-free specifications (necessary for reasoning) can be constructed faster when using syntax directed editors and type checkers, and non-trivial proofs.
Application and benefitsof formal methods in software development
Página 336, columna derecha, primer párrafo, renglón 3.
Such formal methods provide frameworks within which people can specify, develop and verifysystems in a systematic, rather than ad hoc manner'.
The message switches transmit messages by communicating with one another and, whenever network communications are required.
Página 89, columnaizquierda al final del documento.
The THETA kernel is a distributed program that runs on each computer that is part of the THETA network.
Página 88, columna izquierda, introducción al final del...
Leer documento completo
Regístrate para leer el documento completo.