3792 search results - page 317 / 759 » Techniques for Trusted Software Engineering |
206
click to vote
UML
2005
Springer
16 years 4 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
230
click to vote
SERP
2007
15 years 8 months ago
2007
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
178
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
136
click to vote
PASTE
2005
ACM
16 years 7 days ago
2005
ACM
Information about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recoverin...
203
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a structured tool demonstration, a hybrid evaluation technique that combines elements from experiments, case studies, and technology demonstrations. Developer...