Assurance Case Driven Design for Computer Systems: Graphical Notations versus Mathematical Methods

2016 ◽  
Author(s):  
Vladimir Sklyar ◽  
Vyacheslav Kharchenko
Keyword(s):  
Computer Systems ◽  
Mathematical Methods ◽  
Graphical Notations ◽  
Assurance Case

Mathematical Formalism and Political-Economic Content

2012 ◽  
pp. 82-95 ◽  
Author(s):  
D. Foley
Keyword(s):  
Political Economy ◽  
Statistical Methods ◽  
Complex Adaptive System ◽  
Economic Modeling ◽  
Qualitative Properties ◽  
Mathematical Methods ◽  
Econometric Methods ◽  
Statistical Fluctuations ◽  
Complex Adaptive ◽  
New Thinking

Mathematical methods are only one moment in a layered process of theory generation in political economy, which starts from Schumpeterian vision, progresses to the identification of relevant abstractions, the development of mathematical and quantitative models, and the confrontation of theories with empirical data through statistical methods. But today the relevant abstract problems of political economy are modified to fit available mathematical tools. The role of empirical research in disciplining theoretical speculation, on which the scientific traditions integrity rests, was undermined by specific limitations of nascent econometric methods, and usurped by ex cathedra methodological fiats of theorists. These developmentssystematically favored certain ideological predispositions of economicsas a discipline. There is abundant room for New Thinking in political economy starting from the vision of the capitalist economy as a complex, adaptive system far from equilibrium, including the development of the theory of statistical fluctuations for economic interactions, redirection of macroeconomics and financial economics from path prediction toward an understanding of the qualitative properties of the system, introduction of constructive and computable methods into economic modeling, and the critical reconstruction of econometric statistical methods.

A Method of Risk Analysis for Computer Systems

1988 ◽  
Vol 108 (4) ◽  
pp. 260-267
Author(s):  
Kazuo Takaragi ◽  
Ryoichi Sasaki ◽  
Yasuhiko Nagai
Keyword(s):  
Risk Analysis ◽  
Computer Systems
Sign in / Sign up

Export Citation Format

Share Document