Sciweavers

311 search results - page 13 / 63
» Tool support for the navigation in graphical models
Sort
View
SIGCSE
2003
ACM
198views Education» more  SIGCSE 2003»
14 years 18 days ago
Computer graphics in undergraduate computational science education
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...
Steve Cunningham, Angela B. Shiflet
EPK
2004
186views Management» more  EPK 2004»
13 years 8 months ago
EPML2SVG - Generating Websites from EPML Processes
: This paper presents an approach to map EPC business process models available in EPML to Scalable Vector Graphics (SVG) and websites. This mapping has been implemented as an XSLT ...
Jan Mendling, Alberto Brabenetz, Gustaf Neumann
ASM
2008
ASM
13 years 9 months ago
UML-B: A Plug-in for the Event-B Tool Set
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
Colin F. Snook, Michael J. Butler
ICFEM
2004
Springer
14 years 22 days ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
CSCWD
2009
Springer
14 years 1 months ago
ETM Toolkit: A development tool based on Extended Topic Map
By research on Topic Map standard, the Extended Topic Map (ETM) is proposed as a novel model for better organization and management of the massive knowledge resources in E-learnin...
Lu Jiang, Jun Liu, Zhaohui Wu, Qinghua Zheng, Ya-n...