scholarly journals Formal Design and Verification of an Asynchronous SRAM Controller

2017 ◽  
Author(s):  
Victor Khomenko ◽  
Andrey Mokhov ◽  
Danil Sokolov ◽  
Alex Yakovlev
Keyword(s):  
Formal Design

Incremental Formal Design Verification

1994 ◽  
Author(s):  
Gitanjali Swamy ◽  
Robert K. Brayton
Keyword(s):  
Design Verification ◽  
Formal Design

Formal and Informal Structure of Organization

2018 ◽  
Author(s):  
Phanish Puranam
Keyword(s):  
Systematic Approach ◽  
Organizational Structures ◽  
Structural Approach ◽  
Informal Organization ◽  
Complex Interactions ◽  
Multiplex Network ◽  
Informal Structure ◽  
Formal Design

In this chapter, my aim is describe the links between the formal and informal structure of organizations, and propose a systematic approach to analyzing these links. I first discuss how the two are related and influence each other. Next, revisiting the theme of organizations as “marvels but not miracles” I argue that formal design can be useful even when it not predicated on high levels of comprehension or intelligence. This is because it can compensate for aspects of the informal organization, as well as shape the emergence of the informal organization. I discuss an instance of a micro-structural approach to such issues in some detail, and conclude by offering a multiplex network formulation that can help us make progress in studying the complex interactions between formal and informal organizational structures.

Formal design of structure process in machining parts

2017 ◽  
Vol 11 ◽  
pp. 1573-1580 ◽  
Author(s):  
G.Sh. Tsitsiashvili ◽  
V.E. Lelyukhin ◽  
O.V. Kolesnikova ◽  
M.A. Osipova
Keyword(s):  
Formal Design
Sign in / Sign up

Export Citation Format

Share Document