A Formal Approach to Autonomic Systems Programming: The SCEL Language.
Rocco De NicolaMichele LoretiRosario PuglieseFrancesco TiezziPublished in: ACM Trans. Auton. Adapt. Syst. (2014)
Keyphrases
- autonomic systems
- programming language
- autonomic computing systems
- object oriented programming
- programming environment
- oriented programming
- scripting language
- formal language
- operational semantics
- software systems
- computer programs
- concurrent programming
- software engineering
- visual languages
- precisely defined
- artificial intelligence
- reactive systems
- specification language
- abstract data types
- formal languages
- highly expressive
- natural language
- high level
- real world
- formal methods
- formal representation
- data model
- error handling
- controlled natural language
- computer programming
- case study