1855 search results - page 173 / 371 » Composing model programs for analysis |
156
click to vote
HIPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
124
click to vote
ENTCS
2007
15 years 6 months ago
2007
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...
169
click to vote
ISSTA
2006
ACM
16 years 11 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
222
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
202
click to vote
ECEASST
2006
15 years 6 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...