12194 search results - page 261 / 2439 » cans 2010 |
207
click to vote
JSS
2010
15 years 1 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
157
click to vote
JSS
2010
15 years 1 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
158
click to vote
JUCS
2010
15 years 1 months ago
2010
: In the ubiquitous Internet, human mobile-web interactions can be evaluated with real-time analysis of time-based usability and accessibility with the different types of mobile In...
212
click to vote
JUCS
2010
15 years 1 months ago
2010
: 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...
238
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...