Executing diagram sequences

DOI10.1007/3-540-44590-0_33MaRDI QIDQ2753899zbMATH OpenFDO

Authors Joseph Thurbon

Publication date 9 December 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44590-0_33

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computing methodologies and applications (68U99)

Recommendations

• Diagrammatic specifications
• Diagram refinements for the design of reactive systems
• Specifying and implementing visual process modeling languages with \textsc{DiaGen}
• A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
• An architecture for problem solving with diagrams

Cited in

(3)

• Weaving Multiple Aspects in Sequence Diagrams
• scientific article; zbMATH DE number 3946122 (Why is no real title available?)
• scientific article; zbMATH DE number 972577 (Why is no real title available?)

This page was built for publication: Executing diagram sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753899)