Apresenta um quadro unificador para modelos de análise estruturada e design, com foco em métodos formais e representação de modelos. Destina-se a profissionais e estudantes de engenharia de software e sistemas.

Explora abordagens para integrar diferentes notações e técnicas de modelagem em contextos de desenvolvimento de software. Inclui exemplos e discussões sobre aplicabilidade em projetos de sistemas complexos.

Aborda relações entre requisitos, especificação e projeto dentro de um framework coerente. Pode ser usado como referência em cursos avançados e em práticas de engenharia de software.