1401 search results - page 199 / 281 » Tool Integration for Reasoned Programming |
ECTEL
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The success of recent Web 2.0 platforms shows that people share information and resources within their social community and beyond. The use of these platforms in an e-lea...
IEEESCC
2007
IEEE
14 years 4 months ago
2007
IEEE
Web Services have experienced great interest during the last years as they were expected to play a key role as enablers of seamless application-to-application integration both wit...
XIMEP
2005
ACM
14 years 3 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...
VISUALIZATION
2003
IEEE
14 years 3 months ago
2003
IEEE
Nowadays, direct volume rendering via 3D textures has positioned itself as an efficient tool for the display and visual analysis of volumetric scalar fields. It is commonly acce...
RE
1997
Springer
14 years 2 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...