260 search results - page 18 / 52 » Dynamic polar diagram |
ECMDAFA
2010
Springer
14 years 29 days ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
UML
2000
Springer
14 years 1 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
IWPSE
2005
IEEE
14 years 3 months ago
2005
IEEE
A software system is continuously changed so many times. When we try to change a software, we must understand how the software is implemented, especially about the functions to be...
FMCAD
2009
Springer
14 years 4 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
IRI
2005
IEEE
14 years 3 months ago
2005
IEEE
Many legacy systems were developed in COBOL, which still play an important role in business. It is an unavoidable issue for organisations to maintain or replace these COBOL system...