Artículos relacionados a Evolving Methods (SDL: Forum Proceedings)

Evolving Methods (SDL: Forum Proceedings) - Tapa dura

 
9780444889768: Evolving Methods (SDL: Forum Proceedings)

Sinopsis

The 1990's promise to be an exciting new era during which the technologies of telecommunications and computing systems become integrated, offering customers services combining the features of both. The specification and description language of CCITT, (SDL), can be expected to fulfil an important role in this era of converging technologies; from the possibility of conceptual modelling to the detailed design of parts of systems. SDL enables symbolic verification, executable code generation and test suite generation. Developments in SDL have been to include "objects" in the language and formalisation of message sequence charts. Ongoing work on producing excutable code from SDL, executing SDL directly and the related areas of simulation, verification and testing are covered along with the application of SDL to real systems.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

The 1990's promise to be an exciting new era during which the technologies of telecommunications and computing systems become integrated, offering customers services combining the features of both. The specification and description language of CCITT, (SDL), can be expected to fulfil an important role in this era of converging technologies; from the possibility of conceptual modelling to the detailed design of parts of systems. SDL enables symbolic verification, executable code generation and test suite generation. Developments in SDL have been to include "objects" in the language and formalisation of message sequence charts. Ongoing work on producing excutable code from SDL, executing SDL directly and the related areas of simulation, verification and testing are covered along with the application of SDL to real systems.

"Sobre este título" puede pertenecer a otra edición de este libro.