7139 search results - page 1059 / 1428 » Language Engineering in Practice |
184
click to vote
IEEESCC
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...
167
click to vote
IEEESCC
2006
IEEE
16 years 26 days ago
2006
IEEE
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...
179
Voted
ISSRE
2006
IEEE
16 years 26 days ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
164
click to vote
VL
2006
IEEE
16 years 25 days ago
2006
IEEE
Because software libraries are numerous and large, learning how to use them is a common and problematic task for experienced programmers and novices alike. Internet search engines...
151
Voted
VL
2006
IEEE
16 years 25 days ago
2006
IEEE
There is little understanding of how people describe software problems, but a variety of tools solicit, manage, and analyze these descriptions in order to streamline software deve...