Sciweavers

708 search results - page 104 / 142
» Automated software development with XML and the Java* langua...
Sort
View
ICSE
2008
IEEE-ACM
14 years 7 months ago
PLURAL: checking protocol compliance under aliasing
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
Kevin Bierhoff, Jonathan Aldrich
ENTCS
2008
106views more  ENTCS 2008»
13 years 7 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
GIS
1999
ACM
13 years 12 months ago
Integrating GPS Data Within Embedded Internet GIS
In this paper we investigate the development of an embedded and mobile geographic information system. Its main characteristics concern the possibility to access various informatio...
Arunas Stockus, Alain Bouju, Frédéri...
GECCO
2009
Springer
163views Optimization» more  GECCO 2009»
14 years 2 months ago
Dealing with inheritance in OO evolutionary testing
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...
Javier Ferrer, J. Francisco Chicano, Enrique Alba
CSSE
2008
IEEE
14 years 2 months ago
Rapid Acquirement and Visualization of CityGML Documents
—With the development of the Internet, the need of city 3D data is rising more and more, and the emphasis shifts from analysis to the sharing of city 3D data and information over...
Lingli Zhao, Shuai Liu, Junsheng Li, Haicheng Xu