An Automated Process for Implementing Multilevel Domain Models
Abstract elided by the publisher.
Related papers
- Shifting the stage - Staging with delimited control JFP 2011
- Neural Language Models and Few Shot Learning for Systematic Requirements Processing in MDSE SLE 2022
- End-to-end Multilevel Hybrid Information Flow Control APLAS 2012
- Reconciling Objects and Multilevel Security (Panel) OOPSLA 1993
- Progressive Raising in Multi-level IR CGO 2021
- Formalizing and Checking Multilevel Consistency VMCAI 2020
- Automated Co-evolution of GMF Editor Models SLE 2010
- Tᴏᴏʟ: accessible automated reasoning for human robot collaboration Onward! 2018