Sciweavers

5407 search results - page 414 / 1082
» The Software Engineering Global Model
Sort
View
FASE
2001
Springer
15 years 11 months ago
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
Bernhard Reus, Martin Wirsing, Rolf Hennicker
WOSP
2000
ACM
15 years 11 months ago
Analytic modeling of load balancing policies for tasks with heavy-tailed distributions
We present an analytic technique for modeling load balancing policies on a cluster of servers conditioned on the fact that the service times of arriving tasks are drawn from heavy...
Alma Riska, Evgenia Smirni, Gianfranco Ciardo
IUI
1999
ACM
15 years 11 months ago
Towards a General Computational Framework for Model-Based Interface Development Systems
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
Angel R. Puerta, Jacob Eisenstein
KBSE
1998
IEEE
15 years 11 months ago
Automating UI Generation by Model Composition
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
Kurt Stirewalt, Spencer Rugaber
COMPSAC
1997
IEEE
15 years 11 months ago
Task.o object modeling approach for robot workcell programming
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae