Industrial applications of formal methods to model, design, and analyze computer systems : an international survey /
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Craigen, Dan, 1953- |
Otros Autores: | Gerhart, Susan L., Ralston, Theodore L. |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Park Ridge, N.J. :
Noyes Data Corp.,
[1995]
|
Colección: | Advanced computing and telecommunications series.
|
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Analysis within the systems development life-cycle. the deliverables /
por: Rock-Evans, R. (Rosemary)
Publicado: (1987) -
Rapid contextual design : a how-to guide to key techniques for user-centered design /
por: Holtzblatt, Karen
Publicado: (2005) -
Contextual design : design for life /
por: Holtzblatt, Karen, et al.
Publicado: (2017) -
Embedded system design on a shoestring : achieving high performance with a limited budget /
por: Edwards, Lewin A. R. W.
Publicado: (2003) -
Discrete networked dynamic systems : analysis and performance /
por: Mahmoud, Magdi S., et al.
Publicado: (2021)