Sciweavers

613 search results - page 31 / 123
» Executable Visual Contracts
Sort
View
VL
2003
IEEE
105views Visual Languages» more  VL 2003»
14 years 4 months ago
Visual composition of web services
Web services are increasingly attracting attention for their ability to provide standard interfaces to heterogeneous distributed services. Through these standard interfaces, it is...
Cesare Pautasso, Gustavo Alonso
VIS
2004
IEEE
115views Visualization» more  VIS 2004»
15 years 5 days ago
Visualization in Grid Computing Environments
Grid computing provides a challenge for visualization system designers. In this research, we evolve the dataflow concept to allow parts of the visualization process to be executed...
Ken Brodlie, David A. Duce, Julian R. Gallop, Musb...
ICWE
2005
Springer
14 years 4 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
VL
2005
IEEE
135views Visual Languages» more  VL 2005»
14 years 4 months ago
HyperFlow: An Integrated Visual Query and Dataflow Language for End-User Information Analysis
We present HyperFlow, a novel visual language for information analysis that combines features from visual dataflow and visual query languages into a unified framework. HyperFlow i...
Dolev Dotan, Ron Y. Pinter
TOOLS
2000
IEEE
14 years 3 months ago
Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
Benoit Baudry, Vu Le Hanh, Yves Le Traon