4919 search results - page 780 / 984 » A Process-Ontological Model for Software Engineering |
169
click to vote
FSTTCS
2004
Springer
15 years 12 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...
177
click to vote
ICESS
2004
Springer
15 years 12 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 ...
154
click to vote
SEKE
2004
Springer
15 years 11 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...
134
click to vote
FLAIRS
2008
15 years 8 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...
165
click to vote
CSCWD
2005
Springer
15 years 8 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...