3255 search results - page 494 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
168
click to vote
CSCLP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
147
click to vote
ICMI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper gives an overview of the Jacob project. This project involves the construction of a 3D virtual environment where an animated human-like agent called Jacob give...
155
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
170
click to vote
QOSA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In enterprise application development and other software construction projects, a critical success factor is to make sound architectural decisions. Text templates and too...
187
click to vote
FMOODS
2006
15 years 7 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...