Koordinierte Selbstorganisation und selbstorganisierte Koordination :
Eine formale Spezifikation reflexiver Selbstorganisation in Multiagentensystemen unter spezieller Berücksichtigung der sozialwissenschaftlichen Perspektive .
Habilitationsschrift, University of Hamburg, 2009. [link]
www.informatik.uni-hamburg.deMichael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
Socionic multi-agent systems based on reflexive petri nets and theories of social self-organisation.
Journal of Artificial Societies and Social Simulation, 10(1), 2007. [link]
www.informatik.uni-hamburg.deForRBAC ?
Formale Spezifikation , Verifikation und Umsetzung von rollenbasierten Sicherheitsrichtlinien ( gefördert von der DFG )
www.informatik.uni-bremen.deXMELD - Modeling E-Government Business Processes with UML and OCL
ForRBAC - Formal Specification, Verification and Enforcement of Role-Based Security Policies (funded by the DFG)
www.informatik.uni-bremen.deEntwicklung von wiederverwendbaren Komponenten, IPs ( Intellectual Properties ), Entwurfsumgebungen zur Wiederverwendung, Applikationen
Spezifikationserfassung , formale Spezifikation mittels interface-basierter Entwurfsmethoden
www.tu-chemnitz.depplications
Specification of systems, formal methods for specification and verification
www.tu-chemnitz.deDa li Vam nedostaje određeni izraz ili prevod?
Poziv za kompajliranje OD unosa