1733 search results - page 44 / 347 » On the naturalness of software |
AEI
2008
13 years 9 months ago
2008
Long-term users of engineering product data are hampered by the ephemeral nature of CAD file formats and the applications that work with them. STEP, the Standard for the Exchange ...
ENVSOFT
2008
13 years 9 months ago
2008
Compensation payments to farmers who apply species-friendly farming activities are a common instrument to reconcile nature conservation with agriculture in Europe. In order to des...
CORR
2002
Springer
13 years 9 months ago
2002
Springer
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
CIBSE
2009
ACM
14 years 4 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
IWPC
2009
IEEE
14 years 4 months ago
2009
IEEE
Impact analysis is a specialized process of program comprehension that investigates the nature and extent of a planned software change. Traditionally, impact analysis inspects dep...