8179 search results - page 461 / 1636 » The PRACTIONIST Development Tool |
170
click to vote
ECBS
2005
IEEE
16 years 14 days ago
2005
IEEE
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
164
click to vote
QSIC
2003
IEEE
16 years 4 days ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...
180
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
189
Voted
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
152
click to vote
COLING
2008
15 years 8 months ago
2008
We present a chain of tools used by grammarians and computer scientists to develop grammatical and lexical resources from linguistic knowledge, for various natural languages. The ...