Blar i Institutt for informasjonssikkerhet og kommunikasjonsteknologi på tidsskrift "Electronic Communications of the EASST"
Viser treff 1-3 av 3
-
Discrete-time Analysis of Multicomponent GI/GI/1 Queueing Networks
(Journal article; Peer reviewed, 2021) -
Remedy of Mixed Initiative Conflicts in Model-based System Engineering
(Peer reviewed; Journal article, 2012)SPACE is a technique for model-driven engineering of reactive distributedsystems. One of the strengths of its tool-set Arctis is that the system engineercan formally analyze the models for design errors such that these can ... -
Transforming Collaborative Service Specifications into Efficiently Executable State Machines
(Journal article; Peer reviewed, 2007)We describe an algorithm to transform UML 2.0 activities into state machines. The implementation of this algorithm is an integral part of our tool-supported engineering approach for the design of interactive services, in ...