4636 search results - page 107 / 928 » Application of Linguistic Techniques for Use Case Analysis |
187
click to vote
IAJIT
2008
15 years 6 months ago
2008
: The Gamma-Ray scanning technique effective means for the diagnosis and identification of installations and process's problems in general and in particular in the case of dis...
187
click to vote
ZUM
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
165
click to vote
IQ
2007
15 years 8 months ago
2007
: Poor Information Quality (IQ) has a significant impact on the general performance of an organization. Investments in IT have had a great impact on the banking industry in recent ...
152
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
Traditional approaches for program comprehension use static program analysis or dynamic program analysis in the form of execution traces. Our approach, however, makes use of runti...
188
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...