1988 search results - page 259 / 398 » Engineering formal metatheory |
158
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
140
click to vote
ITS
2004
Springer
15 years 12 months ago
2004
Springer
How smart should we be in order to cope with the complex authoring process of smart courseware? Lately this question gains more attention with attempts to simplify the process and ...
160
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
Extreme Programming (XP) is an agile software development methodology composed of several practices that purportedly yield high quality and high customer satisfaction. However, th...
149
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
159
click to vote
WIA
2004
Springer
15 years 12 months ago
2004
Springer
d abstract) Gaoyan Xie, Cheng Li, and Zhe Dang School of Electrical Engineering and Computer Science Washington State University Pullman, WA 99164, USA Abstract. In this paper, ...