Software Engineering Vol. 3 – Domains, Requirements and Software Design

Título: Software Engineering Vol. 3 - Domains, Requirements and Software Design

Autor: Dines Bjorner

Sinopse: The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. Advocating a novel approach based on understanding the application domain before formulating the requirements, the book takes the reader from the principles and techniques for the development of domain descriptions, via principles and techniques for the derivation of requirements prescriptions from domain models, to principles and techniques for the refinement of requirements into software designs: architectures and component design. Focusing only on the informal parts, this book targets undergraduate students in courses on software engineering and college lecturers in that field, while the full version of the book also targets advanced students, lecturers and researchers. Acabamento: Hardcover. Peso: 855g. Dimensões: 23 x 16 x 1.

Contexto da obra

Dentro do catálogo, este livro pode ser situado a partir do tema, da autoria e da proposta editorial. “Software Engineering Vol. 3 – Domains, Requirements and Software Design”, de Dines Bjorner, publicado pela editora Springer Verlag *, em 2005 e com 766 páginas, integra a categoria Linguagem de Programação. Esse enquadramento pode tornar mais clara a proposta do livro e o tipo de interesse que ele costuma despertar.

Editora: Springer Verlag *

Páginas: 766

Ano: 2005

Edição: 1ª EDIÇÃO

Linguagem:

ISBN:

ISBN13: 9783540211518