6201 search results - page 404 / 1241 » Implementation of Axiomatic Language |
194
click to vote
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...
191
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Service Oriented Architecture (SOA) promotes the utilization of available services to develop completely new applications in a context which has not been foreseen as these services...
180
click to vote
KBSE
2006
IEEE
16 years 27 days ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
178
click to vote
ASWEC
2005
IEEE
16 years 16 days ago
2005
IEEE
machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machine...
201
click to vote
VL
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid comprehension, and to hel...