613 search results - page 6 / 123 » Executable Visual Contracts |
ISTA
2001
13 years 10 months ago
2001
: Specifying behavioral specifications for components apart from the conventional syntactic interface specifications can be very useful in component based system development. Preco...
IV
2002
IEEE
14 years 1 months ago
2002
IEEE
We propose ‘Trace View’, a static visualization method for monitoringand debugging the dynamic behavior of programs written in data flow visual programming languages. Trace V...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
EEE
2005
IEEE
14 years 2 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...
RULEML
2010
Springer
13 years 7 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...