90 search results - page 7 / 18 » On the Implementation of @pre |
IMR
2005
Springer
14 years 3 months ago
2005
Springer
Today, finite element technologies allow engineers to analyze complex assemblies and subsystems. With CPU power constantly increasing, it is not unreasonable to state that the eng...
POLICY
2004
Springer
14 years 3 months ago
2004
Springer
A major hurdle in sharing resources between organizations is heterogeneity. Therefore, in order for two organizations to collaborate their policies have to be resolved. The proces...
AGILEDC
2009
IEEE
14 years 1 months ago
2009
IEEE
A Continuous Integration system is often considered one of the key elements involved in supporting an agile software development and testing environment. As a traditional software...
KBSE
2006
IEEE
14 years 3 months 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,...
NAACL
1994
13 years 11 months ago
1994
We present the newest implementation of the LINGSTAT machine-aided translation system. The moat signiflcsat change from earlier versions is a new set of modules that produce a dra...