Sökning: "SPEM 2.0."

Hittade 1 avhandling innehållade orden SPEM 2.0..

1. 1. A Safety-centered Planning-time Framework for Automated Process Compliance Checking

   Författare :Julieth Patricia Castellanos Ardila; Barbara Gallina; Faiz UL Muram; Ricardo Colomo Palacios; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Compliance Checking; Safety-critical Systems; Process Reference Models; Industry Standards; Formal Contract Logic; SPEM 2.0.; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical systems, whose failure could lead to catastrophic consequences, are everywhere. Not only environments with high-risk functions, e.g., nuclear power plants, are safety-critical systems. LÄS MER