3216 search results - page 460 / 644 » Software engineering issues for mobile application developme... |
168
click to vote
CMOT
2011
14 years 6 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
112
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
126
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper describes the integration of the High Level Architecture (HLA), an IEEE standard for distributed interactive simulation, with a scientific software package (Scilab) and...
153
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
118
click to vote
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...