Modeling Companion for Software Practitioners
Language: en
Pages: 362
Authors: Egon Börger
Categories: Computers
Type: BOOK - Published: 2018-03-31 - Publisher: Springer

GET EBOOK

This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed met
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Language: en
Pages: 599
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2018-10-28 - Publisher: Springer

GET EBOOK

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Fo
Software Architecture. ECSA 2022 Tracks and Workshops
Language: en
Pages: 492
Authors: Thais Batista
Categories: Computers
Type: BOOK - Published: 2023-07-15 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022,
Information Modelling and Knowledge Bases XXXI
Language: en
Pages: 562
Authors: A. Dahanayake
Categories: Computers
Type: BOOK - Published: 2020-01-06 - Publisher: IOS Press

GET EBOOK

Information modeling and knowledge bases have become an important area of academic and industry research in the 21st century, addressing complexities of modelin
Modelling to Program
Language: en
Pages: 233
Authors: Ajantha Dahanayake
Categories: Computers
Type: BOOK - Published: 2021-03-30 - Publisher: Springer Nature

GET EBOOK

This book constitutes revised selected papers from the Second International Workshop on Modelling to Program, M2P 2020, held in Lappeenranta, Finland, in March