Software engineering 3

Autor*innen

• Dines Bjørner

Parameter

• 766 Seiten
• 27 Lesestunden

• Informatik & Programmierung

Mehr zum Buch

The development of large-scale software products requires a solid, professional foundation. This three-volume set combines informal practices with rigorous, mathematics-based approaches. Volume 3 emphasizes the importance of understanding the application domain before designing software. It details the process from creating domain descriptions to deriving requirements and refining them into software designs, including architectures and component design. Key topics include crafting proper domain descriptions and requirements, acquiring and analyzing domain knowledge, and validating and verifying models. Readers can choose an informal approach suitable for undergraduate courses or a formal route for advanced students, lecturers, and researchers, with Volume 1 serving as a prerequisite for the latter. Additionally, lecturers will find a comprehensive guide for module design, solutions to many exercises, and a complete set of lecture slides to support their teaching.

• Sprache: Englisch
• Erscheinungsdatum: 2006
• Einband: Hardcover