35 search results - page 3 / 7 » Language constructs for context-oriented programming: an ove... |
IWOMP
2011
Springer
12 years 8 months ago
2011
Springer
Many task-based programming models have been developed and refined in recent years to support application development for shared memory platforms. Asynchronous tasks are a powerfu...
KBSE
2005
IEEE
13 years 11 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
VL
1994
IEEE
13 years 10 months ago
1994
IEEE
This paper describes Vista, a visual multiparadigm programming environment. We introduce the notion of processors and networks and discuss their application in the construction of...
VL
2002
IEEE
13 years 10 months ago
2002
IEEE
In recent years, real world objects have been used to reflect information previously shown on the computer screen. While most earlier efforts have required significant developer...
SIGADA
2004
Springer
13 years 11 months ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...