This thesis examines the optimal mode of financing for banks and financial institutions. The first chapter, which is a joint work with Prof. Jean-Charles Rochet, investigates how Systemically Important Financial Institutions (SIFIs) should be financed. The ...
We consider a supply chain with one supplier and one retailer in which the parties develop a quantity flexibility contract to specify the conditions of procurement activities. The contract allows the retailer to adjust the initial order quantity after the ...
We present our experience of a three-week fieldwork in the form of a contextual inquiry with a service manager at the EPFL IT department. During these three weeks, we encounter a refusal of a user committee to sign a service-level agreement (SLA). We descr ...
Visual modeling languages have specialized diagrams to represent behavior and concepts. This diagram specialization has drawbacks like the dif-ficulty to represent the effects of actions. We claim that visual contracts can de-scribe actions in a more compl ...
Many popular methodologies are influenced by Design by Contract. They recommend to specify the intended behavior of operations in an early phase of the software development life cycle. Formal contract specification languages, however, are still rarely used ...
Many popular methodologies are influenced by Design by Contract. They recommend to specify the intended behavior of operations in an early phase of the software development life cycle. In practice, software developers use most often natural language to des ...
