Formal design and analysis of a gear controller

1998 ◽  
pp. 281-297 ◽  
Author(s):  
Magnus Lindahl ◽  
Paul Pettersson ◽  
Wang Yi
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

Ontology-Driven Requirements Engineering in the Responsive and Formal Design Process

2019 ◽  
pp. 395-405
Author(s):  
Nadew Kibret ◽  
William Edmonson ◽  
Solomon Gebreyohannes
Keyword(s):  
Requirements Engineering ◽  
Design Process ◽  
Formal Design
Sign in / Sign up

Export Citation Format

Share Document