4919 search results - page 780 / 984 » A Process-Ontological Model for Software Engineering |
121
Voted
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
138
Voted
ICESS
2004
Springer
15 years 9 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
122
Voted
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
105
Voted
FLAIRS
2008
15 years 6 months ago
2008
In this paper we present an authoring tool called Narratoria1 that allows non-technical experts in the field of digital entertainment to create interactive narratives with 3D grap...
132
Voted
CSCWD
2005
Springer
15 years 5 months ago
2005
Springer
We propose an analytic method to evaluate groupware design. The method was inspired by GOMS, a well-known approach to analyze usability problems with single-user interfaces. GOMS h...