<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "The SCEL Language: Design, Implementation, Verification"^^ . "SCEL (Service Component Ensemble Language) is a new language specifically designed to rigorously model and program autonomic components and their interaction, while supporting formal reasoning on their behaviors. SCEL brings together various programming abstractions that allow one to directly represent aggregations, behaviors and knowledge according to specific policies. It also naturally supports programming interaction, self-awareness, context-awareness, and adaptation. The solid semantic grounds of the language is exploited for developing logics, tools and methodologies for formal reasoning on system behavior to establish qualitative and quantitative properties of both the individual components and the overall systems."^^ . "2015" . "8998" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Andrea"^^ . "Vandin"^^ . "Andrea Vandin"^^ . . "Alberto"^^ . "Lluch Lafuente"^^ . "Alberto Lluch Lafuente"^^ . . "Michele"^^ . "Loreti"^^ . "Michele Loreti"^^ . . "Mieke"^^ . "Massink"^^ . "Mieke Massink"^^ . . "Andrea"^^ . "Margheri"^^ . "Andrea Margheri"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Andrea"^^ . "Morichetta"^^ . "Andrea Morichetta"^^ . . "Diego"^^ . "Latella"^^ . "Diego Latella"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . . . . "HTML Summary of #3065 \n\nThe SCEL Language: Design, Implementation, Verification\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .