805 search results - page 127 / 161 » Location-Based Software Modeling and Analysis: Tropos-Based ... |
AMAST
2008
Springer
14 years 11 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
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...
WSC
2000
14 years 11 months ago
2000
We have developed and applied modeling, simulation, and analysis capabilities for addressing strategic and tactical logistics problems in the chemical industry. These problems hav...
85
Voted
ENTCS
2006
14 years 9 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
103
click to vote
SIGGRAPH
1992
ACM
15 years 1 months ago
1992
ACM
This paper discusses how interval analysis can be used to solve a wide variety of problems in computer graphics. These problems include ray tracing, interference detection, polygo...