958 search results - page 124 / 192 » Model Transformation Languages and Their Implementation by B... |
125
click to vote
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
120
click to vote
FM
2003
Springer
15 years 6 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
108
click to vote
WOSP
2000
ACM
15 years 5 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
GTTSE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
108
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...