886 search results - page 15 / 178 » Application of automated environment generation to commercia... |
JSS
2010
13 years 6 months ago
2010
Many software projects spend a significant proportion of their time developing the User Interface (UI), therefore any degree of automation in this area has clear benefits. Such au...
IJAIT
2006
13 years 7 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
CISIS
2009
IEEE
14 years 2 months ago
2009
IEEE
The integration of heterogeneous data sources with even heterogeneous semantic meanings poses a challenge for data and system integrators. Ontology Alignment (OA) tries to identif...
BMCBI
2006
13 years 7 months ago
2006
Background: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully ...
ICWE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...