Sciweavers

139 search results - page 13 / 28
» jucs 2010
Sort
View
JUCS
2010
152views more  JUCS 2010»
14 years 4 months ago
Verification of Structural Pattern Conformance Using Logic Programming
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim
JUCS
2010
139views more  JUCS 2010»
14 years 4 months ago
Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
JUCS
2010
118views more  JUCS 2010»
14 years 4 months ago
Merging Strategies for Authoring QoE-based Adaptive Hypermedia
This paper describes recent work on strategy merger development in the authoring process of adaptive hypermedia. The goal of a merging strategy is to break a complex adaptation dec...
Joshua Scotton, Sabine Moebs, Jennifer McManis, Al...
JUCS
2010
98views more  JUCS 2010»
14 years 8 months ago
Mobile Agent-based Context-aware Services
: This paper presents an agent-based system for building and operating agent-based context-aware services in public spaces, including museums. The system provides users with agents...
Ichiro Satoh
JUCS
2010
137views more  JUCS 2010»
14 years 8 months ago
A Model for Capturing and Managing Software Engineering Knowledge and Experience
: During software development projects there is always a particular working “product” that is generated but rarely managed: the knowledge and experience that team members acqui...
Gerardo Matturro, Andrés Silva