2339 search results - page 124 / 468 » Models and Tools for Mulan Applications |
162
click to vote
FASE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
179
click to vote
CHI
2008
ACM
15 years 8 months ago
2008
ACM
In recent years, the software engineering community has begun to study program navigation and tools to support it. Some of these navigation tools are very useful, but they lack a ...
158
click to vote
OTM
2007
Springer
16 years 27 days ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
222
click to vote
FMOODS
2007
15 years 8 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
189
click to vote
CHI
1993
ACM
15 years 11 months ago
1993
ACM
An adaptive user interface relies, to a large extent, upon an adequate user model (e.g., a representationof user-expertise). However, building a user model may be a tedious and ti...