........................................................................................................ II ACKNOWLEDGMENTS ..................................................................................... III TABLE OF CONTENTS....................................................................................... V LIST OF TABLES ................................................................

The ubiquitous computing era has pushed the Architecture, Engineering, and Construction (AEC) industry towards new frontiers of digitally enabled practice. Are these the frontiers originally identified by the pioneers in the field? Architectural design has progressively shifted from two-dimensional paper based pencil sketched models to digital models drawn in various Computer-Aided Design (CAD)...

Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, however, are usually implemented using transaction level modeling (TLM). Even though both modeling paradigms, actor-oriented design and TLM, can conveniently be implemented using a common language such as SystemC, a method...

Design patterns have proved very helpful in encapsulating the knowledge required for solving design related problems, and have found their way into the CHI domain. Many interface patterns can be formalised and expressed via UML models, which provides the opportunity to incorporate such patterns into CASE tools in order to assist user interface designers. This paper presents an implemented tool-...

Safety requirements are an important artifact in the development of safety critical systems. They are used by experts as a basis for appropriate selection and implementation of fault detection mechanisms. Various research groups have worked on their formal modeling with the goal of determining if a system can meet these requirements. In this paper, we propose the application of formal models of...