1058 search results - page 48 / 212 » MEMOPS: Data modelling and automatic code generation. |
WSC
2004
14 years 9 days ago
2004
Model coupling is a nontrivial task that is not adequately supported in existing frameworks. Our long term goal is to support the fast-prototyping of model couplings, enabling sci...
TAP
2008
Springer
13 years 10 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
ICAIL
1995
ACM
14 years 2 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
Incompatibility of component interaction styles is identified as a major obstacle to interoperability when using off-the-shelf components or dealing with legacy software in compos...
HPCC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...