All Stories

  1. A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
  2. SymboleoAC: An Access Control Model for Legal Contracts
  3. Social Dependence Relationships and Their Role in Social Modelling Languages
  4. Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models
  5. Symboleo2SC
  6. Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems
  7. Self-Adaptation Driven by SysML and Goal Models -- A Literature Review
  8. Traceability Management of GRL and SysML Models