Blar i SINTEF Digital på tidsskrift "Formal Aspects of Computing"
Viser treff 1-2 av 2
-
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics
(Peer reviewed; Journal article, 2021)Schematic drawings showing railway tracks and equipment are commonly used to visualize railway operations and to communicate system specifications and construction blueprints. Recent advances in on-line collaboration and ... -
Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism
(Journal article; Peer reviewed, 2013)Having a sequence diagram specification and a computer system, we need to answer the question: Is the system compliant with the sequence diagram specification in the desired way? We present a procedure for answering this ...