Formal Models
5,672 Followers
Recent papers in Formal Models
Abstract Programmable Logic Controllers (PLC) have been used in industrial environment to control several different tasks. Such devices can be programmed using one of the languages specified in the IEC 61131–3 standard, such as Ladder or... more
Third parties are thought to face a tradeoff in that those actions most likely to bring peace in the short run appear least likely to ensure its long run stability. Yet the tradeoff between conflict management and conflict resolution may... more
In this paper a concept will be proposed about a hypergraph-based formalism for representing enterprise architecture. The paper presents a formal model using TOGAF and hypergraph theory. Hypergraphs provide a flexible mathematical... more
Phronetic organizational research is an approach to the study of management and organizations focusing on ethics and power. It is based on a contemporary interpretation of the Aristotelian concept phronesis, usually as ‘prudence’.... more
Chapter in Unmasking Ravel: New Perspectives on the Music, ed. Peter Kaminsky (Rochester: Rochester University Press, 2011), 143–179. To discuss Ravel's dialog with sonata form, this essay (chapter in a multi-author book) provides... more
This article presents the application of quantitative methods of analysis in International Studies in Russia and abroad. The role of formalized quantitative methods and modeling in research methods used in the articles in the world... more
This article presents results from the first statistically significant study of cost escalation in transportation infrastructure projects. Based on a sample of 258 transportation infrastructure projects worth US$90 billion and... more
¿Es posible la existencia de administraciones públicas patrimonialistas que brinden políticas públicas de calidad? ¿La calidad de las políticas públicas se puede explicar, en parte, por las características organizacionales de las... more
Back cover text: Megaprojects and Risk provides the first detailed examination of the phenomenon of megaprojects. It is a fascinating account of how the promoters of multi-billion dollar megaprojects systematically and self-servingly... more
The article first describes characteristics of major infrastructure projects. Second, it documents a much neglected topic in economics: that ex ante estimates of costs and benefits are often very different from actual ex post costs and... more
The institutions, the political system and the concept of power developed by the reformist project of Pombalism (from the name of the Portuguese enlightened ruler Marquis of Pombal, 1750-1777) are the focus of this paper. Uma análise... more
As megaprojects have become ubiquitous, their real benefits and costs have come under increased scrutiny. We interviewed Bent Flyvbjerg, who has extensively studied megaproject development. Flyvbjerg has found systematic problems in the... more
The Supplementary Green Book Guidance on Optimism Bias (HM Treasury 2003) with reference to the Review of Large Public Procurement in the UK (Mott MacDonald 2002) notes that there is a demonstrated, systematic, tendency for project... more
The concept of formal consequence is at the heart of logic today, and by extension, plays an important role in such diverse areas as mathematics, computing, philosophy, and linguistics. In this dissertation, I trace the roots of this... more
Yang dimaksud dengan analisis SWOT adalah suatu cara menganalisis faktor-faktor internal dan eksternal menjadi langkah-langkah strategi dalam pengoptimalan usaha yang lebih menguntungkan. Dalam analisis faktor-faktor internal dan... more
"Over budget, over time, over and over again" appears to be an appropriate slogan for large, complex infrastructure projects. This article explains why cost, benefits, and time forecasts for such projects are systematically... more
La crisi economica globale esplosa nel 2008 ha colpito fortemente la Grecia, in primo luogo a causa dei suoi insostenibili livelli di spesa pubblica. La reazione principale del governo, sostenuta da misure concordate con il Fondo... more
This article presents results from the first statistically significant study of traffic forecasts in transportation infrastructure projects. The sample used is the largest of its kind, covering 210 projects in 14 nations worth U.S.$59... more
Philosophical works on actual causation make wide use of thought experiments. The principal aim of this paper is to show how thought experiments are used in the contemporary debate over actual causation and to discuss their role in... more
Do different types of megaprojects have different cost overruns? This apparently simple question is at the heart of research at the University of Oxford aimed at understanding the characteristics of megaprojects, particularly in terms of... more
As megaprojects have become ubiquitous, their real benefits and costs have come under increased scrutiny. We interviewed Bent Flyvbjerg, who has extensively studied megaproject development. Flyvbjerg has found systematic problems in the... more
For over fifty years, successive waves of critique have underscored that the apolitical character of much of Political Science research betrays the founding mission of the discipline to have science serve democracy. The Caucus for a New... more
Back cover text: This book aims to enlarge the understanding of decision-making on mega-projects and suggest recommendations for a more effective, efficient and democratic approach. Authors from different scientific disciplines address... more
This paper focuses on problems and their causes and cures in policy and planning for large infrastructure projects. First, it identifies as the main problem in major infrastructure development pervasive misinformation about the costs,... more
Risk, including economic risk, is increasingly a concern for public policy and management. The possibility of dealing effectively with risk is hampered, however, by lack of a sound empirical basis for risk assessment and management. This... more
In this thesis we elaborate a language description formalism called Montages. The Montages formalism can be used to engineer domain specific languages (DSLs), which are computer languages specially tailored and typically restricted to... more
The term ‘phronetic social science’ was coined in Making Social Science Matter (Flyvbjerg 2001). However, as pointed out in that volume and by Schram (2006), phronetic social science existed well before this particular articulation of the... more
A avaliação de conjuntura tem entre seus usos e aplicações a formulação da estratégia e dos parâmetros para campanha política. Isto é válido tanto para eleições majoritárias quanto proporcionais, tanto em nível estadual e federal quanto... more
There is ferment in the social sciences. After years of sustained effort to build a science of society modelled on the natural sciences, that project, long treated with suspicion by some, is now openly being rethought. A critical... more
Out-of-control information technology (IT) projects have ended the careers of top managers, such as EADS CEO Noël Forgeard and Levi Strauss’ CIO David Bergen. Moreover, IT projects have brought down whole companies, like Kmart in the US... more
I would like to thank to my father, Gerhard Rüdiger Kutter, whose answers to my questions about his work with fourth generation languages in banking software have been a seed from my childhood, which has grown to this thesis. To my... more
2008. 352 pp. r150.00 (hardcover). This volume is intended to explain why major investment projects (the so-called mega-projects) often are not completed on time and cost more than originally budgeted. Drawing from experiences of European... more
This paper focuses on problems and their causes and cures in policy and planning for large-infrastructure projects. First, it identifies as the main problem in major infrastructure developments pervasive misinformation about the costs,... more
L'auteur etudie les modalites de retour de l'instance municipale et de certains de ses acteurs a partir du suivi de la consultation electorale municipale de juin 1998 et des principaux enjeux sous-jacents : l'ouverture a la... more
A major source of risk in project management is inaccurate forecasts of project costs, demand, and other impacts. The paper presents a promising new approach to mitigating such risk, based on theories of decision making under uncertainty... more
After brief introduction about hypergraphs and their speci c capabilities that make them apt to be applied in various elds of research within information systems, modeling and analytics. In the literature re- view, we survey the elds... more
Dan Lovallo and Daniel Kahneman must be commended for their clear identification of causes and cures to the planning fallacy in “Delusions of Success: How Optimism Undermines Executives’ Decisions” (July 2003). Their look at overoptimism,... more
Results from the first statistically significant study of the causes of cost escalation in transport infrastructure projects are presented. The study is based on a sample of 258 rail, bridge, tunnel and road projects worth US$90 billion.... more
* This research was selected for the special issue of the International Federation for Information Processing (IFIP), Working Group 8.6 2007 annual conference (see the entry for this conference). This publication is part of the special... more
L'obiettivo della tesi è duplice: da una parte, ci si propone la comprensione del calcolo delle probabilità da un punto di vista teorico, per mezzo della semantica della logica classica; dall'altra, si vuole sviluppare un algoritmo per il... more
This paper explores how theories of the planning fallacy and the outside view may be used to conduct quality control and due diligence in project management. First, a much-neglected issue in project management is identified, namely that... more
Most studies of city branding are written from a marketing or management perspective. This book is different, as the micro-management issues of city branding are discussed within a broader macro-theoretical or structural context while... more
Building on the notational principles of C. S. Peirce’s graphical logic, Pietarinen has tried to develop a propositional logic unfolding in the medium of sound. Apart from its intrinsic interest, this project serves as a concrete test of... more