8828 search results - page 308 / 1766 » Formal methods in practice |
151
click to vote
ACL
2010
15 years 4 months ago
2010
Letter-substitution ciphers encode a document from a known or hypothesized language into an unknown writing system or an unknown encoding of a known writing system. It is a proble...
153
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Checking requirements is highly desirable but hard to achieve in practice, where only word processors are used in most projects. While in this case reviews are more or le...
124
Voted
ACL
2001
15 years 8 months ago
2001
We consider the question "How much strong generative power can be squeezed out of a formal system without increasing its weak generative power?" and propose some theoret...
163
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Automatic repair of programs has been a longstanding goal in software engineering, yet debugging remains a largely manual process. We introduce a fully automated method for locati...
318
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...