1606 search results - page 127 / 322 » XML-based programming language modeling: An approach to soft... |
161
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
143
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Asynchronous exception propagation is a useful alternative form of communication among threads, especially if timely propagation is ensured. However, timely propagation is impossi...
168
click to vote
EUROMICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
181
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
While aspect-oriented modeling has been recognized as a useful means of improving the modularity of software design, the de facto standard modeling language UML lacks first-class...
153
click to vote
WOSP
2000
ACM
15 years 10 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 ...