3742 search results - page 588 / 749 » On the Use of Formal Techniques for Validation |
138
click to vote
WCRE
2008
IEEE
16 years 25 days ago
2008
IEEE
Integrative levels of program comprehension describe the evolution of our knowledge about a program from low-level program elements through successive and higher orders of knowled...
174
click to vote
COMPSAC
2007
IEEE
16 years 24 days ago
2007
IEEE
An Enterprise Service Bus (ESB) is a standards-based integration platform that combines messaging, web services, data transformation, and intelligent routing in a highly distribut...
193
click to vote
IAT
2007
IEEE
16 years 23 days ago
2007
IEEE
Visual Analytics is the science of applying reasoning and analysis techniques to large, complex real-world data for problem solving using visualizations. Real world knowledge gath...
183
click to vote
ICDE
2007
IEEE
16 years 23 days ago
2007
IEEE
The discovery of a person’s personally important places involves obtaining the physical locations for a person’s places that matter to his daily life and routines. This proble...
168
click to vote
ICSM
2007
IEEE
16 years 23 days ago
2007
IEEE
The build system forms an indispensable part of any software project. It needs to evolve in parallel with the source code in order to build, test and install the software. Unfortu...