This paper proposes a new methodology for computer-aided design of layouts of buildings. The presented methodology addresses the very early phase of designing that is called Conceptual Design. In this methodology the architect does not pay attention to layout details, but operates on functional requirements, constraints, and high-level architectural concepts such as functional areas and rooms. ...

In recent years, design patterns gain more interest in software engineering communities for both software development and maintenance. As a template to solve a certain recurring problem, a design pattern documents successful experiences of software experts and gradually becomes the design guidelines of software development. Applying design patterns correctly can improve the efficiency of softwa...

The Merrifield-Simmons index of a graph is defined as the total number of the independent sets of the graph and the Hosoya index of a graph is defined as the total number of the matchings of the graph. In this paper, we give formula for Merrifield-Simmons and Hosoya indices of some classes of cartesian product of two graphs K{_2}×H, where H is a path graph P{_n}, cyclic graph C{_n}, or star gra...

The adjacency matrix of a graph can be interpreted as the incidence matrix of a design, or as the generator matrix of a binary code. Here these relations play a central role. We consider graphs for which the corresponding design is a (symmetric) block design or (group) divisible design. Such graphs are strongly regular (in case of a block design) or very similar to a strongly regular graph (in ...

Modern digital systems design requires us to explore a large and complex design space to find a best configuration which satisfies design requirements. Such exploration requires a sound representation of design space from which design candidates are efficiently generated, each of which then is evaluated. This paper proposes a plan-generationevaluation framework which supports a complete process...

Transformational design integrates design and verification. It combines “correctness by construction” and design creativity by the use of preproven behaviour preserving transformations as design steps. Transformational design is a formal design methodology in which formal aspects are hidden for the designer. Formal aspects of transformational design as a methodology for high-level synthesis, ar...

‎in this paper we give a characterization for all commutative‎ ‎rings with $1$ whose zero-divisor graphs are $c_4$-free.‎