1988 search results - page 181 / 398 » Engineering formal metatheory |
155
click to vote
FTRTFT
1998
Springer
15 years 10 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
215
click to vote
DOOD
1997
Springer
15 years 10 months ago
1997
Springer
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...
205
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Since the systematic evolution of graph-like program models has become important in software engineering, graph transformation has gained much attention in this area. For...
178
click to vote
EDO
2006
Springer
15 years 10 months ago
2006
Springer
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
148
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...