250 search results - page 7 / 50 » Extracting State Models for Black-Box Software Components |
KBSE
2002
IEEE
14 years 23 days ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...
ENTCS
2010
13 years 8 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
ASWEC
2009
IEEE
14 years 29 days ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
ENVSOFT
2006
13 years 7 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
ENTCS
2008
13 years 8 months ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...