Algebraic or algorithmic: searching for optimal solutions in multi-stage supply chain models| A structural and generative approach to multilayered software architectures| The ISBSG software project repository: an analysis from six sigma measurement perspective for software defect estimation| An augmented framework for formal analysis of safety critical system| From mechatronic components to industrial automation things: an IoT model for cyber-physical manufacturing systems| Dual visual cryptography using the interference color of Birefringent material