741 search results - page 73 / 149 » Automatic Generation and Validation of Models of Legacy Soft... |
100
click to vote
ER
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
SCOPES
2005
Springer
15 years 3 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
WSC
2008
15 years 6 days ago
2008
Simulation results are often needed within a short time frame, while the development of simulation models can be time consuming. We develop a methodology to facilitate rapid gener...
RSP
2003
IEEE
15 years 3 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...