Sciweavers

3432 search results - page 68 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
FM
1997
Springer
258views Formal Methods» more  FM 1997»
14 years 28 days ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
MBUI
2004
104views User Interface» more  MBUI 2004»
13 years 10 months ago
An EUD Approach for Making MBUI Practical
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
José A. Macías, Pablo Castells
SAC
2006
ACM
14 years 2 months ago
Methods and guidelines for the design and development of domestic ubiquitous computing applications
Bringing ubiquitous computing applications to home environments is a great challenge. In our research we investigate how applications can be conceived, designed, and implemented t...
Albrecht Schmidt, Lucia Terrenghi
IEAAIE
2004
Springer
14 years 2 months ago
Natural Language Requirements Analysis and Class Model Generation Using UCDA
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
Dong Liu, Kalaivani Subramaniam, Armin Eberlein, B...
UMUAI
2008
108views more  UMUAI 2008»
13 years 8 months ago
Developing a generalizable detector of when students game the system
Some students, when working in interactive learning environments, attempt to "game the system", attempting to succeed in the environment by exploiting properties of the s...
Ryan Shaun Joazeiro de Baker, Albert T. Corbett, I...