Semantic properties are domain-specific specification constructs used to augment an existing language with richer semantics. These properties are taken advantage of in system analysis, design, implementation, testing, and maintenance through the use of documentation and source-code transformation tools. Semantic properties are themselves specified at two levels: loosely with precise natural lan...

The discourse of Enterprise Architecture is based on modeling and performing ‘holistic’ (multi-layer) analyses. However, view centered methodologies offer a partial glimpse of the overall architecture, and current tools do not bring an explicit method of navigating the underlying model. Considering that we need a starting point for analysis and explore the whole model in order to drill down on ...

With the rapid growth of indoor wireless communication systems, the need to accurately model radio wave propagation inside the building environments has increased. Many site-specific methods have been proposed for modeling indoor radio channels. Among these methods, the ray tracing algorithm and the finite-difference time domain (FDTD) method are the most popular ones. The ray tracing approach ...