Cargando…
Software specification methods
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.
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
John Wiley & Sons
2010
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1437319 |
| _version_ | 1780924510795464704 |
|---|---|
| author | Habrias, Henri Frappier, Marc |
| author_facet | Habrias, Henri Frappier, Marc |
| author_sort | Habrias, Henri |
| collection | CERN |
| description | 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. |
| id | cern-1437319 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2010 |
| publisher | John Wiley & Sons |
| record_format | invenio |
| spelling | cern-14373192020-07-16T20:01:54Zhttp://cds.cern.ch/record/1437319engHabrias, HenriFrappier, MarcSoftware specification methodsComputing and ComputersThis 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.John Wiley & Sonsoai:cds.cern.ch:14373192010 |
| spellingShingle | Computing and Computers Habrias, Henri Frappier, Marc Software specification methods |
| title | Software specification methods |
| title_full | Software specification methods |
| title_fullStr | Software specification methods |
| title_full_unstemmed | Software specification methods |
| title_short | Software specification methods |
| title_sort | software specification methods |
| topic | Computing and Computers |
| url | http://cds.cern.ch/record/1437319 |
| work_keys_str_mv | AT habriashenri softwarespecificationmethods AT frappiermarc softwarespecificationmethods |