Sciweavers

3429 search results - page 386 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
ECAI
2008
Springer
15 years 6 months ago
Defining a Subset of OCL for Expressing SWRL Rules
OCL is a rich-syntax language for expressing integrity rules and many business rules can be expressed using OCL. On the other hand, UML/OCL is a mainstream modeling technology and ...
Sergey Lukichev
WICSA
2004
15 years 6 months ago
An Architectural Approach to Mobility - The Handover Case Study
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
Cristóvão Oliveira, Michel Wermeling...
CCECE
2006
IEEE
15 years 11 months ago
A Dynamic Associative E-Learning Model based on a Spreading Activation Network
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
Phongchai Nilas, Nilamit Nilas, Somsak Mitatha
COMPSAC
2009
IEEE
15 years 9 months ago
Tool Support for Design Pattern Recognition at Model Level
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett
WORDS
2003
IEEE
15 years 10 months ago
Asynchrony and Real-Time Dependable Computing
We examine how computer system problems can be derived from real application problems, with a particular focus on the relevance of some assumptions, especially those related to co...
Gérard Le Lann