A metric for evaluating software architecture and communication models consistency

DOI10.1051/ITA:2005023zbMath1101.68472OpenAlexW2156747743MaRDI QIDQ3025323

Jean-Yves Lafaye, Georges Louis

Publication date: 13 July 2005

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=ITA_2005__39_2_361_0

zbMATH Keywords

hierarchical clusteringSoftware metricscommunication modelmodel consistencySDLsoftware architecture model

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• SPIN
• Z

Cites Work

• Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms
• Formal development of reactive systems. Case study production cell
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A metric for evaluating software architecture and communication models consistency