2806 search results - page 520 / 562 » BML and Related Tools |
147
click to vote
ZUM
1997
Springer
15 years 6 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
168
click to vote
DISCO
1993
15 years 6 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
118
Voted
IUI
1993
ACM
15 years 5 months ago
1993
ACM
incompatibility. We introduce Mona, an operational email system embodying this automatic approach. Mona establishes conversation context independently of user actions through the ...
169
Voted
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
106
click to vote
DOCENG
2007
ACM
15 years 5 months ago
2007
ACM
Variable Data Printing (VDP) has brought new flexibility and dynamism to the printed page. Each printed instance of a specific class of document can now have different degrees of ...