2212 search results - page 215 / 443 » Automated software wrapping |
148
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
104
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the engineering and development process of a software tool (APPROACH) that is designed for decentralised rotation planning for container barges in the port of R...
185
click to vote
MDAFA
2004
Springer
15 years 10 months ago
2004
Springer
MDA software development requires the interoperability of a wide range of modelling services (operations taking models as inputs and outputs), such as model edition, model transfor...
142
Voted
QSIC
2003
IEEE
15 years 10 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
118
Voted
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Maintenance is undoubtedly the most effort-consuming activity in software production whereby the entropy of legacy systems (e.g., due to redundancies, poor modularity and lack of ...