418 search results - page 53 / 84 » Adding Usability to Web Engineering Models and Tools |
182
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
144
click to vote
ISN
1999
Springer
15 years 9 months ago
1999
Springer
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
115
click to vote
VRML
2004
ACM
15 years 11 months ago
2004
ACM
Epic Games provides a free game level editor with titles based on its Unreal engine. The editor provides a rich set of authoring tools that can be used to create fully interactive...
160
click to vote
APN
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
149
click to vote
KBSE
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...