Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Management. --- Modularity (Psychology)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

General ethics --- Evolutionary psychology. --- Modularity (Psychology) --- Self-deception. --- Modularity (Psychology).

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In der klassischen Ökonomik ist in der Regel der statische Gleichgewichtszustand einer einfachen Wirtschaft der zentrale Betrachtungsgegenstand. Mit dem Simulationsprogramm EconSim entwickelt der Autor ein Modell, das es Ökonomen ermöglichen soll, deutlich komplexere Abbilder realer Wirtschaften zu erschaffen und diese konsistent und systematisch zu analysieren. Dabei ist der zentrale Gedanke die Schaffung eines möglichst modularen Werkzeugs, das es erlaubt eine große Vielzahl verschiedener Situationen und Zusammenhänge abzubilden und jederzeit weitere Elemente hinzuzufügen. Janis Kesten-Kühne analysiert wesentliche ökonomische Merkmale von Marktprozessen für bestimmte Marktvermittlungsformen und stellt sie entsprechenden Ergebnissen standardökonomischer Gleichgewichtsmodelle gegenüber. Der verfolgte Ansatz des Autors ist ein wichtiger Beitrag zur ökonomischen Forschung. Der Inhalt Theoretische Grundlagen Modellbildung Semantische Mächtigkeit Simulationsstudien Die Zielgruppen Dozent*innen und Student*innen der Wirtschaftswissenschaften, Wirtschaftsinformatik, Informatik Fach- und Führungskräfte mit Bezug zu Angewandter BWL in Richtung strategisches Management und Entscheidungsunterstützung Der Autor Janis Kesten-Kühne hat Maschinenbau und Wirtschaftsingenieurwesen an der TU Clausthal studiert. Anschließend promovierte er am Lehrstuhl für Volkswirtschaftslehre am Institut für Wirtschaftswissenschaft der TU Clausthal und ist dort derzeit als Postdoc tätig.

Multiagent systems. --- Modularity (Engineering) --- Economics --- Psychological aspects.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.

Formal Semantics --- Slicing --- Theorem Proving --- Language Based Security --- Modularity

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Flexible manufacturing systems --- Industrial design --- Modularity (Engineering) --- Product design