418 search results - page 53 / 84 » Adding Usability to Web Engineering Models and Tools |
ATVA
2008
Springer
13 years 10 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...
ISN
1999
Springer
14 years 1 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...
VRML
2004
ACM
14 years 2 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...
APN
2004
Springer
14 years 15 days 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...
KBSE
2008
IEEE
14 years 3 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...