bee-up - A Teaching Tool for Fundamental Conceptual Modelling

As an example of the use of this first pair (called IRD Definition Level Pair in IRDS), a dictionary administrator will define the types of data that subsequently

The development tool used is CoreWEB [2], which is provided by Genicore in agreement with the University of Rostock. It is a web-based graphical CASE-tool that supports an

Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0)... approach presented in [4, 13], a verification tool, UPPAAL-TIGA [2], is exploited to

Communities of Practice, Knowledge Management, Business Environment, Virtual Environment, Social Networks.. Practice: Going One Step

Keywords: antimorphism, anti-automorphism, automorphism, (anti-)automorphism, Bernoulli distribution, bifix, code, complete, context-free, defect, equation, finite,

The implementation of Live-UMLRT consists of two phases: (1) Generation of a Self-reflective Program which is realized through: (a) auto- matic instrumentation and refinement of

Technically, the test statistic is the maximum length of the sequences of consecutive (with respect to the covariate) observa- tions overestimated or underestimated by the

The correct statement of the enrichment and/or depletion testing problem leads to a unique exact null distribution of the number of DE genes belonging to the GO category of