You are here

Behavior as-is and to-be and Goal-Belief models

Artifact Details
Author(s): 
George Popescu
Organization(s): 
École Polytechnique Fédérale de Lausanne
Programming/Modeling Languages: 
SeamCAD v. 3.5.10 and 4.0.17
Artifact Description: 

Complete SEAM models: Behavior as-is, Behavior to-be, Witness Goal-Belief, Complete Goal-Belief.

Revision Summary: 
No revisions submitted.
Keywords
Artifact Types: 
System/Software Domains: 
Modeling Languages/Notations: 
field_vote: 
0
No votes yet