1481 search results - page 209 / 297 » Enriching the Software Development Process by Formal Methods |
126
click to vote
CICLING
2001
Springer
15 years 8 months ago
2001
Springer
The problem of document categorization is considered. The set of domains and the keywords specific for these domains is supposed to be selected beforehand as initial data. We apply...
110
click to vote
EACL
2003
ACL Anthology
15 years 5 months ago
2003
ACL Anthology
We develop a new approach to learning phrase translations from parallel corpora, and show that it performs with very high coverage and accuracy in choosing French translations of ...
120
click to vote
HICSS
1995
IEEE
15 years 7 months ago
1995
IEEE
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
151
click to vote
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
148
click to vote
JOT
2008
15 years 4 months ago
2008
All readers of this paper most likely have knowledge of the software requirements discipline and of the use case notation, however not everyone is aware that with the progress of ...