3527 search results - page 269 / 706 » Test Automation in Practice |
183
click to vote
TARK
2009
Springer
16 years 20 days ago
2009
Springer
Halpern, Moses and Tuttle presented a definition of interactive proofs using a notion they called practical knowledge, but left open the question of finding an epistemic formula...
150
click to vote
DATE
2008
IEEE
16 years 18 days ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
154
click to vote
CSL
2007
Springer
16 years 9 days ago
2007
Springer
Automata on infinite objects were the key to the solution of several fundamental decision problems in mathematics and logic. Today, automata on infinite objects are used for form...
164
Voted
ER
2007
Springer
16 years 9 days ago
2007
Springer
This paper describes a rule-based algorithm to derive a relational schema from an extended entity-relationship model. Our work is based on an approach by Atzeni and Torlone in whic...
163
Voted
XPU
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. The automated collection of source code metrics can help agile teams to understand the software they are producing, allowing them to adapt their daily practices towards a...