891 search results - page 2 / 179 » Towards Reasoning Pragmatics |
SIGLEX
1991
13 years 9 months ago
1991
Explaining how the meaning of words relate to the meaning of the utterance in which they are used is of utmost importance. The most common approaches view the meaning of an uttera...
SCS
2003
13 years 6 months ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
KBSE
2008
IEEE
13 years 12 months ago
2008
IEEE
Developers undertaking a pragmatic reuse task must collect and reason about information that is spread throughout the source code of a system before they can understand the scope ...
AGILEDC
2007
IEEE
13 years 12 months ago
2007
IEEE
The Department of Defense (DoD) and the Defense Information Systems Agency (DISA) have historically operated on 18-36 months release cycles for major IT projects. DISA is now stri...
CADE
1994
Springer
13 years 9 months ago
1994
Springer
This paper introduces the imps proof script mechanism and some practical methods for exploiting it.