Cette thèse se propose de décomposer le spectre des commentaires critiques, historiques ou littéraires qui se sont projetés sur l'œuvre d'Édouard Manet dans la première moitié du XXe siècle, en regard de multiples contrepoints visuels. Cet «exercice de style méthodologique total» que permet Manet, selon les mots de Pierre Bourdieu, vise à rendre compte d'une réception mythique, monumentale et pourtant méconnue, tout en procédant en permanence à l'analyse réflexive de ses propres outils d'investigation. Par le prisme de ces présences posthumes très hétérogènes, souvent d'une grande violence, le but est de retracer la généalogie du concept narratif de «modernité» qui s'est déployé à partir d'Édouard Manet, en Europe et aux États-Unis, alors que son œuvre était simultanément défigurée en incarnation du classicisme national. Plus qu'une origine, Manet peut alors se définir comme un «carrefour» : un embranchement, à la puissance spéculaire considérable, d'idéologies, d'historicités et de projections fantasmagoriques. Ces analyses ont pour objet des réseaux très denses d'attraction, de répulsion, et de contamination entre différents systèmes d' énonciation dissonants, envisagés en regard des procédés déployés par Manet lui-même, dans le mouvement d'une œuvre à la fois profondément relationnelle et d'une radicale altérité. La problématique récurrente du fractionnement - dans la multiplicité de ses enjeux et de ses déterminations schizoïdes, du dualisme au fétichisme - forme le fil directeur de cet effort d'exhumation intellectuelle : est ici retracée en détail l'impossible tentative d'en finir avec un peintre qui ne cesse d'inquiéter une modernité constituée sur son nom. / The purpose of this dissertation is to decompose the spectrum of commentary, historical and literary, along with the multiple visual counterpoints, that were generated from the work of Édouard Manet in the first half of the 20th century. Manet allows for this « total methodological exercise », in Pierre Bourdieu's words, which endeavours to reckon with a mythical, monumental, yet mostly unknown reception, while continually conducting a reflexive analysis of its own investigative tools. Through the scope of these posthumous, heterogeneous and often extremely violent occurrences, the goal is to retrace the genealogy of the narrative concept of« modernity » which was uncoiled from the figure of Édouard Manet, in Europe and the United States, during a time when his work was simultaneously being distorted as an incarnation of national classicism. More than a point of origin, Manet can be defined as a « crossroad » : a powerful specular junction of ideologies, historicities and phantasmagorical projections. The abject of these analyses is the dense network of attraction, repulsion, and contamination that has been woven between the various and discordant systems of enunciation, studied in the light of processes set up by Manet himself, through a body of work both profoundly relational, yet radically alien. The recurrent question of fractioning, in its multiple issues and schizoid determinations - from dualism to fetishism - make up the guiding principle of this effort of intellectual exhumation; here are retraced in detail the impossible attempts that were made to do away with a painter who has time and again proven to be cause for concern to an idea of modernity created under his name.

Videogame tinkerers, players, and activists of the 21st century are continuing, yet redefining, the avant-garde art and literary movements of the 20th century. Videogames are diverging as a social, cultural, and digital medium. They are used as political instruments, artistic experiments, social catalysts, and personal means of expression. A diverse field of games and technocultural play, such as alternate reality games, griefer attacks, arcade sculptures, and so on, can be compared and contrasted to the avant-garde, such as contemporary tactical media, net art, video art, Fluxus, the Situationists, the work of Pollock or Brecht, Dada, or the Russian Formalists. For example, historical avant-garde painters played with perspectival space (and its traditions), rather than only within those grid-like spaces. This is similar in some ways to how game artists play with flow (and player expectations of it), rather than advancing flow as the popular and academic ideal. Videogames are not only an advanced product of technoculture, but are the space in which technoculture conventionalizes play. This makes them a fascinating site to unwork and rethink the protocols and rituals that rule technoculture. It is the audacity of imagining certain videogames as avant-garde (from the perspective of mainstream consumers and art academics alike) that makes them a good candidate for this critical experiment.

Gegenstand dieser Arbeit ist die Forschungsdisziplin, welche in der Strukturmechanik als Modellordnungsreduktion bekannt ist. Im Mittelpunkt stehen Kopplungsprozesse von starren und elastischen Mehrkörpersystemen - sowohl in theoretischer Hinsicht als auch bezüglich der praktischen Realisation im Rahmen des Finite-Elemente-Programms ANSYS und des Mehrkörpersimulationsprogramms SIMPACK. Eine Vielfalt von strukturerhaltendenMOR-Methoden wurde zum Zwecke des Überblicks dargestellt. Darüber hinaus findet sich eine Kategorisierungsmethodik in Hinsicht auf den später beschriebenen FEM-MKS-Kopplungsprozess. Die Effizienz der MOR-Methoden wird sowohl hinsichtlich der Qualität der ROM als auch bezogen auf die hierfür benötigte Rechenzeit bemessen. Aus diesem Grunde wurden etliche MOR Schemata dargelegt, mit dem Ziel, den Effizienzfaktor während der Berechnung eines ROMs zu maximieren, das heißt maximale Qualität und minimale Rechenzeit zu erzielen. Die Validierung der dynamischen ROM-Eigenschaften basiert auf der Anwendung der sogenannten Modellkorrelationskriterien. Dies wurde an vier Anwendungsbeispielen aus dem Feld der Strukturmechanik getestet: der 3D-Balkenstruktur, der UIC60-Schiene, dem Pleuel und der Kurbelwelle. Die Anwendung der diagonal perturbation-Methodik verbessert die Kondition der Steifigkeitsmatrix eines Modells, von beiden Arten von Lösungsprozeduren, d.h. direkte und iterative Verfahren, betroffen sind. Die dynamische Bewegung mechanischer MKS wird als ein Index-3-DAE-Systemformuliert und die Information über die elastischen Körper wird in Form der sogenannten Standard Input Datei in einen MKS-Code transferriert. Die Einführung des Back-projection-Ansatzes ermöglicht die weitere Verwendung bestimmter ROM-Typen, derren assoziierten physikalische Eigenschaften unangemessen definiert wurden. Zum Abschluss werden die theoretischen, modellierenden und numerischen Fortschritte der Arbeit resümiert und kombiniert im Sinne der Model Order Reduction Package Toolbox (MORPACK). Die Matlab-basierte MORPACK-Toolbox ermöglicht den FEM-MKS-Kopplungsprozess für die Verwendung von ANSYS und SIMPACK. Hierin sind ein Großteil der zuvor erläuterten Erweiterungen eingeschlossen. Mit Hilfe der zwei integrierten inneren MOR- und SID-Schnittstellen als auch der vier Anwendungsebenen wird der Import von freien oder eingespannten ROM in SIMPACK ermöglicht. / The research discipline referred to as the Model Order Reduction in structural mechanics is the topic of this Thesis. Special emphasis is given to the coupling process of rigid and elastic Multi Body Dynamics in terms of both the theoretical aspects and the practical realization within the environment of the commercial Finite Element and the Multi Body Systems software packages, ANSYS and SIMPACK respectively. In this regard, a variety of structure preserving Model Order Reduction methods is presented and a categorization methodology is provided in view of the later FEM-MBS coupling process. The algorithmic scheme of several of the MOR methods indicates the capability of generating qualitatively better Reduced Order Models than the standardized Guyan and Component Mode Synthesis approaches. The efficiency of a MOR method is measured in terms of both the quality of the ROM and the associated time required for the .computation Based on the application of the, so called, Model Correlation Criteria the efficiency of the MOR schemes is tested on four application examples originating from the area of structural mechanics, i.e. the 3D elastic solid bar structure, the UIC60 elastic rail, the elastic piston rod, and the elastic crankshaft model. Herewith, the superiority of alternative MOR schemes in comparison to Guyan or CMS methods is demonstrated in terms of the ROM?s quality and the computation time by the use of either the one-step or the two-step MOR algorithms. Numerous of the FE discretized structures suffer from the, so called, ill-conditioned properties regarding the associated stiffness matrix. On one hand, the direct solution of a MOR method might produce erroneous ROMs due to the associated truncation phenomenon and on the other hand, any kind of iterative approach suffers from vast computation times. The application of the diagonal perturbation methodology improves the condition properties of the model?s stiffness matrix and thus, both kinds of the aforementioned solution procedures are affected. The back-projection approach is introduced, which projects the ROM belonging to the Non physical subspace reduction-expansion methods category back onto the physical configuration space and thus, enabling its further usage in a MBS code, e.g. SIMPACK. Finally, the theoretical, modelling, and numerical advancements are combined in terms of the Model Order Reduction Package. The Matlab-based MORPACK toolbox enables the FEM-MBS coupling process for the ANSYS-SIMPACK utilization and herewith, several of the aforementioned enhancements are included. With the help of the two integrated inner interfaces, i.e. MOR and SID, as well as four application levels, the import into SIMPACK of alternatively free or fixed ROMs is enabled. The functionality of MORPACK is demonstrated based on two application examples, namely, the 3D elastic solid bar and the UIC60 elastic rail, the dynamic properties of which are validated prior to their import into SIMPACK.

Die vorliegende Arbeit beschäftigt sich mit den Transporteigenschaften defektbehafteter Kohlenstoffnanoröhrchen (CNTs). Als Beispiel werden dabei einfache und doppelte Fehlstellen betrachtet. Der Fokus liegt auf der Berechnung des Transmissionsspektrums und der Leitfähigkeit mit einem schnellen, linear skalierenden rekursiven Greenfunktions-Formalismus, mit dem große Systeme quantenmechanisch behandelt werden können. Als Grundlage wird ein dichtefunktionalbasiertes Tight-Binding-Modell verwendet. Der Einfluss der Defektdichte und des CNT-Durchmessers wird im Rahmen einer statistischen Analyse untersucht. Es wird gezeigt, dass im Grenzfall kleiner Transmission die Leitfähigkeit exponentiell mit der Defektanzahl skaliert. Das System befindet sich im Regime starker Lokalisierung, wobei die Lokalisierungslänge von der Defektdichte und dem CNT-Durchmesser abhängt.

This thesis presents three main contributions in the context of modeling and simulation of physiological systems. The first one is a formalization of the methodology involved in multi-formalism and multi-resolution modeling. The second one is the presentation and improvement of a modeling and simulation framework integrating a range of tools that help the definition, analysis, usage and sharing of complex mathematical models. The third contribution is the application of this modeling framework to improve diagnostic and therapeutic strategies for clinical applications involving the cardiovascular system: hypertension-based heart failure (HF) and coronary artery disease (CAD). A prospective application in cardiac resynchronization therapy (CRT) is also presented, which also includes a model of the therapy. Finally, a final application is presented for the study of the baroreflex responses in the newborn lamb. These case studies include the integration of a pulsatile heart into a global cardiovascular model that captures the short and long term regulation of the cardiovascular system with the representation of heart failure, the analysis of coronary hemodynamics and collateral circulation of patients with triple-vessel disease enduring a coronary artery bypass graft surgery, the construction of a coupled electrical and mechanical cardiac model for the optimization of atrio ventricular and intraventricular delays of a biventricular pacemaker, and a model-based estimation of sympathetic and vagal responses of premature newborn lambs.

Recent corporate reporting history is well–known for its corporate failures and questionable accountancy practices, many of which caused the profession to be frowned upon. However, the splodge on the accounting profession?s reputation goes deeper than its corporate reporting failures. The scientific foundation thereof is also being questioned in academic circles. Even though accounting scholars have been trying to formulate foundational accounting theories, it has been the accounting regulators that have been more successful in promoting their versions of what accounting theory should be, which place a question mark on the legitimacy of current day accounting theory. This thesis aims to delve deeper into the foundational philosophies of accounting and its impact on the practice of accounting. With the current accounting globalisation efforts, the profession?s stewardship function is becoming less prominent in its promulgated standards, which in turn brings the focus on the many questionable ethical practices found in the profession. Even though the regulatory bodies require their members to commit themselves to professional codes of conduct, which entails competency, integrity, objectivity and confidentiality, the 1st article in this thesis claims that ethical conduct is more than mere adherence to rules and regulations. It is also about the image of not only the profession, but also accounting research and education. Accounting is broadly practised, researched and taught within its so–called conceptual framework, of which a key objective is to guide and inform accounting practice. The conceptual framework became the basis upon which accounting theory is based. However, many accounting scholars are openly critical of presenting accounting theory as a set of practical guidelines. The 2nd article in the thesis concludes that, from an academic perspective, accounting theory should be based on three quintessential guidelines. The first of which is its primary purpose of reporting on the historic economic events, secondly the provision of useable and comparable information about these events and finally, the facilitation of business decisions based on relevant and reliable information. In the above mentioned business decisions, the concept of value is often taken for granted and many accounting techniques? effectiveness is judged on how well it approximates an item?s value. The 3rd article argues that the multiple purposes for which accounting information is used complicates the issue of value, as reported by accounting. Two key conflicting valuation perspectives are the so–called decision–usefulness and true income perspectives. The current drive towards fair value accounting, as opposed to historic cost accounting, cast doubts on the reliability and relevance of accounting information. Even though it may be argued that value–based techniques are more relevant because it is a better reflection of the current business conditions, the mere subjective nature thereof and the accountant?s objective valuation skills make the true relevance of this information questionable. Furthermore, mixed model valuations found in financial statements makes cross–company information unreliable. Accountancy research of the past four decades focussed on the concept of user decision–usefulness. The user is also pre–eminent in the globalisation of accounting standards of the FASB and the IASB, where users are specified as the equity investors, lenders and capital providers. The 4th article acknowledges that although these user categories are important consumers of the financial data, there are other users which are also impacted by the financial information and the company?s operational performances. There are also concerns over accounting?s key assumptions, such as its quantification and predictive abilities, which are fundamental to the decision–usefulness objective. Furthermore, there are questions around how the regulators decided what information is suppose to be useful and what type of utility is being sought. In summary, the focus on the vocational aspects of accountancy stands in contrast to claims of accounting as an academic discipline in the social sciences. The reality is that the practices of the profession will probably always play a central role in what is taught at university level, and the regulators, as the final authority on accounting standards, will probably remain dictatorial in promulgating their versions of accounting theory. Yet, accounting and its wide spread impact on society, makes it a key discipline within the economical and management sciences. It is therefore essential for the resurrection of accounting as a social scientific discipline that there is a return to foundational accounting research that will prepare (and enable) prospective practitioners and academics to question the status quo and push back on accounting practices that are threatening to extinguish the flame of accounting scholarship. / Thesis (Ph.D. (Accounting))--North-West University, Potchefstroom Campus, 2011.

Recent corporate reporting history is well–known for its corporate failures and questionable accountancy practices, many of which caused the profession to be frowned upon. However, the splodge on the accounting profession?s reputation goes deeper than its corporate reporting failures. The scientific foundation thereof is also being questioned in academic circles. Even though accounting scholars have been trying to formulate foundational accounting theories, it has been the accounting regulators that have been more successful in promoting their versions of what accounting theory should be, which place a question mark on the legitimacy of current day accounting theory. This thesis aims to delve deeper into the foundational philosophies of accounting and its impact on the practice of accounting. With the current accounting globalisation efforts, the profession?s stewardship function is becoming less prominent in its promulgated standards, which in turn brings the focus on the many questionable ethical practices found in the profession. Even though the regulatory bodies require their members to commit themselves to professional codes of conduct, which entails competency, integrity, objectivity and confidentiality, the 1st article in this thesis claims that ethical conduct is more than mere adherence to rules and regulations. It is also about the image of not only the profession, but also accounting research and education. Accounting is broadly practised, researched and taught within its so–called conceptual framework, of which a key objective is to guide and inform accounting practice. The conceptual framework became the basis upon which accounting theory is based. However, many accounting scholars are openly critical of presenting accounting theory as a set of practical guidelines. The 2nd article in the thesis concludes that, from an academic perspective, accounting theory should be based on three quintessential guidelines. The first of which is its primary purpose of reporting on the historic economic events, secondly the provision of useable and comparable information about these events and finally, the facilitation of business decisions based on relevant and reliable information. In the above mentioned business decisions, the concept of value is often taken for granted and many accounting techniques? effectiveness is judged on how well it approximates an item?s value. The 3rd article argues that the multiple purposes for which accounting information is used complicates the issue of value, as reported by accounting. Two key conflicting valuation perspectives are the so–called decision–usefulness and true income perspectives. The current drive towards fair value accounting, as opposed to historic cost accounting, cast doubts on the reliability and relevance of accounting information. Even though it may be argued that value–based techniques are more relevant because it is a better reflection of the current business conditions, the mere subjective nature thereof and the accountant?s objective valuation skills make the true relevance of this information questionable. Furthermore, mixed model valuations found in financial statements makes cross–company information unreliable. Accountancy research of the past four decades focussed on the concept of user decision–usefulness. The user is also pre–eminent in the globalisation of accounting standards of the FASB and the IASB, where users are specified as the equity investors, lenders and capital providers. The 4th article acknowledges that although these user categories are important consumers of the financial data, there are other users which are also impacted by the financial information and the company?s operational performances. There are also concerns over accounting?s key assumptions, such as its quantification and predictive abilities, which are fundamental to the decision–usefulness objective. Furthermore, there are questions around how the regulators decided what information is suppose to be useful and what type of utility is being sought. In summary, the focus on the vocational aspects of accountancy stands in contrast to claims of accounting as an academic discipline in the social sciences. The reality is that the practices of the profession will probably always play a central role in what is taught at university level, and the regulators, as the final authority on accounting standards, will probably remain dictatorial in promulgating their versions of accounting theory. Yet, accounting and its wide spread impact on society, makes it a key discipline within the economical and management sciences. It is therefore essential for the resurrection of accounting as a social scientific discipline that there is a return to foundational accounting research that will prepare (and enable) prospective practitioners and academics to question the status quo and push back on accounting practices that are threatening to extinguish the flame of accounting scholarship. / Thesis (Ph.D. (Accounting))--North-West University, Potchefstroom Campus, 2011.

L’étude de l’agrément en droit des sociétés révèle que les règles l’encadrant ne sont pas exemptes de lacunes ou d’incohérences. Ces dernières résultent notamment de leur édiction dispersée, dans des textes légaux ou réglementaires, au cas par cas, individuellement pour chaque forme sociale. En outre, leur intelligibilité est amoindrie par la corrélation parfois faite par la loi entre les règles de son domaine et ses formalités procédurales. De cet ensemble découle une certaine complexité, incompatible avec le besoin de sécurité juridique requise pour exécuter toute procédure. En l’occurrence, l’atteinte à la liberté ne réside plus dans l’absence de forme protectrice mais, paradoxalement, dans un formalisme trop pointilleux, dont l’application suscite un important contentieux. Néanmoins, le constat de la présence éventuelle de l’intuitu personae dans l’ensemble des sociétés suggère la possibilité d’unifier le domaine de l’agrément et, corrélativement, de simplifier sa mise en œuvre, grâce à l’élaboration d’un droit commun. À cette fin, une conception contractuelle des rapports sociaux donne de nombreuses clés de résolution des problèmes posés actuellement par son régime. Cette analyse faite du droit positif ne remet pas pour autant en cause le juste équilibre établi par la loi au nom de l’ordre public sociétaire. Celui-ci s’exprime par l’exigence du respect de formalités et d’obligations visant à protéger tant la société que son associé cédant. Au contraire même, ce point de vue permet de dégager les champs d’intervention réservés au législateur ne portant atteinte ni à la substance des droits de l’associé, ni aux concepts juridiques de droit commun. Cette méthode de traitement des difficultés soulevées aboutit à une reconstruction de la législation de l’agrément, davantage intelligible, augurant par là-même, une perspective concrète de création d’un droit français des sociétés fermées. / The study of corporate law certification reveals that the rules governing it are not free from gaps or inconsistencies. The latter result notably from their dispersed enactment, in legal or regulatory texts, on a case by case basis, individually for each social form. In addition, their intelligibility is diminished by the correlation sometimes made between the rules of his field and his procedural formalities. From this set flows a certain complexity, incompatible with the need for legal certainty required to execute any procedure. In this case, the infringement of liberty does not lie in the absence of a protective form but, paradoxically, in a formalism that is too fussy, the application of which gives rise to a serious dispute. Nevertheless, the observation of the possible presence of intuitu personae in all societies suggests the possibility of unifying the field of accreditation and, correspondingly, of simplifying its implementation, thanks to the elaboration of a common right. To this end, a contractual conception of social relations gives many keys to solving the problems currently posed by his regime. This analysis of positive law does not, however, call into question the proper balance established by law, aimed at protecting both society and its assigning partner, in the name of public societal order. Quite to the contrary, this point of view reinforces the effectiveness of the rule since the fields of intervention reserved to the legislator do not infringe either the substance of the rights of the partner or the legal concepts of the law. common right. This method of dealing with the difficulties raised leads to a reconstruction of the legislation of accreditation, which is more intelligible, thus auguring a concrete perspective of creation of a French law of closed companies, independent of any political instrumentalization.

L'ingénierie des systèmes complexes et systèmes de systèmes conduit souvent à des activités de modélisation (MA) complexes. Les problèmes soulevés par les MA sont notamment : comprendre le contexte dans lequel elles sont exécutées, comprendre l'impact sur les cycles de vie des modèles qu'elles produisent, et finalement trouver une approche pour les maîtriser. L'objectif principal de cette thèse est d'élaborer une approche formelle pour adresser ce problème. Dans cette thèse, après avoir étudié les travaux connexes en ingénierie système et plus spécifiquement ceux qui portent sur la co-ingénierie du système à faire (le produit) et du système pour faire (le projet), nous développons une méthodologie nommée MODEF pour traiter ce problème. MODEF consiste en: (1) Caractériser les MA comme un système et plus généralement une fédération de systèmes. (2) Construire de manière itérative une architecture de ce système via la modélisation du contenu conceptuel des modèles produits par MA et leur cycle de vie, les tâches réalisées au sein des MA et leurs effets sur ces cycles de vie. (3) Spécifier les attentes sur ces cycles de vie. (4) Analyser les modèles (des MA) par rapport à ces attentes (et éventuellement les contraintes sur les tâches) pour vérifier jusqu'à quel point elles sont atteignables via la synthèse des points (ou états) acceptables. D'un point de vue pratique, l'exploitation des résultats de l'analyse permet de contrôler le déroulement des tâches de modélisation à partir de la mise en évidence de leur impact sur les modèles qu'elles produisent. En effet, cette exploitation fournit des données pertinentes sur la façon dont les MA se déroulent et se dérouleraient de bout en bout. A partir de ces informations, il est possible de prendre des mesures préventives ou correctives. Nous illustrons cela à l'aide de deux cas d'étude (le fonctionnement d'un supermarché et la modélisation de la couverture fonctionnelle d'un système). D'un point de vue théorique, les sémantiques formelles des modèles des MA et le formalisme des attentes sont d'abord données. Ensuite, les algorithmes d'analyse et d'exploitation sont présentés. Cette approche est brièvement comparée avec des approches de vérification des modèles et de synthèse de systèmes. Enfin, deux facilitateurs de la mise en œuvre de MODEF sont présentés. Le premier est une implémentation modulaire des blocs de base de MODEF. Le second est une architecture fédérée (FA) des modèles visant à faciliter la réutilisation des modèles formels en pratique. La formalisation de FA est faite dans le cadre de la théorie des catégories. De ce fait, afin de construire un lien entre abstraction et implémentation, des structures de données et algorithmes de base sont proposés pour utiliser FA en pratique. Différentes perspectives sur les composantes de MODEF concluent ce travail. / The engineering of complex systems and systems of systems often leads to complex modelling activities (MA). Some challenges exhibited by MA are: understanding the context where they are carried out and their impacts on the lifecycles of models they produce, and ultimately providing a support for mastering them. How to address these challenges with a formal approach is the central challenge of this thesis. In this thesis, after discussing the related works from systems engineering in general and the co-engineering of the system to be made (product) and the system for make (project) systems specifically, we position and develop a methodology named MODEF, that aims to master the operation of MA. MODEF consists in: (1) characterizing MA as a system (and more globally as a federation of systems) in its own right; (2) iteratively architecting this system through: the modelling of the conceptual content of the models produced by MA and their life cycles, the tasks carried out within MA and their effects on these life cycles; (3) specifying the expectations over these life cycles and; (4) analysing models (of MA) against expectations (and possibly tasks constraints) - to check how far expectations are achievable - via the synthesis of the acceptable behaviours. On a practical perspective, the exploitation of the results of the analysis allows figuring out what could happen with the modelling tasks and their impacts on the whole state of models they handle. We show on two case studies (the operation of a supermarket and the modelling of the functional coverage of a system) how this exploitation provides insightful data on how the system is end-to-end operated and how it can behave. Based on this information, it is possible to take some preventive or corrective actions on how the MA are carried out. On the foundational perspective, the formal semantics of three kinds of involved models and the expectations formalism are first discussed. Then the analysis and exploitation algorithms are presented. Finally this approach is roughly compared with model checking and systems synthesis approaches. Last but not least, two enablers whose first objectives are to ease the implementation of MODEF are presented. The first one is a modular implementation of MODEF's buildings blocks. The second one is a federated architecture (FA) of models which aims to ease working with formal models in practice. Despite the fact that FA is formalised within the abstract framework of category theory, an attempt to bridge the gap between abstraction and implementation is sketched via some basic data structures and base algorithms. Several perspectives related to the different components of MODEF conclude this work.

This study aims to defend value formalism, like the formalism useful to the procedure as a means of achieving a fair process. For both historical analysis is made of the jurisdiction under the focus of the power conferred on the Judge from the Roman State to the present day. Takes the postwar constitutionalism as a starting point to treat the state as insurer of the fundamental rights of the citizen and as a provider of public policies. The process no longer seen as a mere tool in the service of the right stuff and will be recognized as a fundamental constitutional guarantee, as applied constitutional law. To do so, we start a process permeated by formalism-excessive in search of a value formalism emptying into the necessary balance or balance between the principles of effectiveness and legal certainty. Shows the need and possibility to change the paradigm of legal positivism to the model of principles and rules, as well as the possibility of dialogue in the countries of civil law institutes the common law. Search on the judicial activism the means to achieve the necessary flexibility procedural, either by technical management of litigation, the principle of elasticity, the use of axiological and ontological gaps as well as the principle of proportionality. All analysis aims to find solutions to reach decisions fairer and according with the democratic rule of law. / O presente estudo tem por objetivo defender o formalismo-valorativo, ou seja, o formalismo útil ao procedimento, como meio de se alcançar um processo justo. Para tanto é feita a análise histórica da jurisdição sob o enfoque do poder conferido ao Juiz desde o Estado Romano até os dias atuais. Toma-se o constitucionalismo do pósguerra como ponto de partida para tratar do Estado como assegurador dos direitos fundamentais do cidadão e como provedor das políticas públicas. O processo deixa de ser visto como mero instrumento a serviço do direito material e passa a ser reconhecido como uma garantia constitucional fundamental, como direito constitucional aplicado. Para tanto, parte-se de um processo permeado por um formalismo-excessivo em busca de um formalismo-valorativo a desaguar no necessário equilíbrio ou ponderação entre os princípios da efetividade e segurança jurídica. Mostra-se a necessidade e possibilidade de mudança do paradigma do positivismo jurídico para o modelo de princípios e regras, como também a possibilidade de diálogo nos países da civil law de institutos da common law. Buscase no ativismo judicial o meio de concretizar a necessária flexibilização procedimental, seja pela técnica de gerenciamento de processos judiciais, pela aplicação do princípio da elasticidade, do uso das lacunas axiológicas e ontológicas, bem como do princípio da proporcionalidade. Toda a análise visa buscar soluções para o alcance de decisões mais justas e consetâneas com o Estado Democrático de Direito.