Software Specification Methods. Henri HabriasПрограммирование.
- Название
- Software Specification Methods
- Автор:
- Henri Habrias
- Серия:
- Жанр:
- Программирование
- Год выпуска:
- 0
- isbn:
- 9780470394656
- Аннотация:
- This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.