Sciweavers

1458 search results - page 98 / 292
» System Model-Based Definition of Modeling Language Semantics
Sort
View
ICFP
2001
ACM
15 years 9 months ago
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
Steven E. Ganz, Amr Sabry, Walid Taha
UML
1998
Springer
15 years 2 months ago
The UML as a Formal Modeling Notation
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
Andy Evans, Robert B. France, Kevin Lano, Bernhard...
UML
2004
Springer
15 years 3 months ago
Applying Refactoring Techniques to UML/OCL Models
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
Alexandre L. Correa, Cláudia Maria Lima Wer...
FLAIRS
2007
15 years 4 days ago
Document Semantic Annotation for Intelligent Tutoring Systems: A Concept Mapping Approach
The difficulty of domain knowledge acquisition is one of the most sensible challenges of intelligent tutoring systems. Relying on domain experts and building domain models from sc...
Amal Zouaq, Roger Nkambou, Claude Frasson
86
Voted
SOCIALCOM
2010
14 years 7 months ago
Facilitating Knowledge Exploration in Folksonomies: Expertise Ranking by Link and Semantic Structures
We developed user models of knowledge exploration in a social tagging system to test the expertise rankings generated by a link-structure method and a semantic-structure method. Th...
Wai-Tat Fu, Wei Dong