Skip to main navigation
Skip to search
Skip to main content
Open Universiteit research portal Home
Home
Profiles
Research units
Projects
Research output
Datasets
Prizes
Activities
Press/Media
Student theses
Search by expertise, name or affiliation
The CAOS framework for Scala: Computer-aided design of SOS
Jose Proenca
*
, Luc Edixhoven
*
Corresponding author for this work
Research Line Resilience (part of LIRS program)
Department of Computer Science
Research output
:
Contribution to journal
›
Article
›
Academic
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'The CAOS framework for Scala: Computer-aided design of SOS'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Operational Semantics
100%
Underdevelopment
100%
Scala
100%
Computer-aided Design
100%
Student Learning
50%
Teaching Context
50%
Design Tools
50%
New Language
50%
Open Source Project
50%
Interactive Website
50%
Unexpected Outcomes
50%
Programming Framework
50%
Language Structure
50%
Natural Language Semantics
50%
Abstract Model
50%
Design Foundation
50%
Visual Diagrams
50%
Operational Rules
50%
Interactive Diagrams
50%
Easy Language
50%
Language Analysis
50%
Computer Science
Operational Semantics
100%
Computer Aided Design
100%
Interactive
100%
Open Source Project
50%
Programming Framework
50%
Design Tool
50%