1988 search results - page 259 / 398 » Engineering formal metatheory |
171
click to vote
EMSOFT
2004
Springer
16 years 11 days 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 ...
156
Voted
ITS
2004
Springer
16 years 11 days 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 ...
172
Voted
OOPSLA
2004
Springer
16 years 10 days 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...
159
click to vote
SEKE
2004
Springer
16 years 10 days 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...
171
click to vote
WIA
2004
Springer
16 years 10 days 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, ...