Prof.dr. F.S. de Boer

Update Persondata

• correctness
• logic
• object
• software

Active as

Publications

(the most recent at the top)

Integrating Architectural Models

Dynamic logic for plan revision in intelligent agents

Foundations (of ArchiMate)

Formalizing UML models and OCL constraints in PVS

Semantics of Plan Revision in Intelligent Agents

All publications..

Current research

(the most recent research is at the top)
Project leader	Foundations of Software Engineering
Project leader	CoCoMAS

Completed research projects

(the most recent research is at the top)
Project leader	Modeling and analysis of evolutionary structures for distributed services
Researcher	Processor sharing
Project leader	Formal methods for active networking
Researcher	Protocols for secure infrastructure and e-commerce
Project leader	A methodology for agent-oriented software design

Classification

D16200	Software, algorithms, control systems