4372 search results - page 250 / 875 » Objects for Lexical Analysis |
141
Voted
WER
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...
180
click to vote
RSCTC
2000
Springer
15 years 9 months ago
2000
Springer
In the paper we investigate the problem of analysis of time related information systems. We introduce notion of temporal templates, i.e. homogeneous patterns occurring in some peri...
171
click to vote
SERP
2004
15 years 7 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
153
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
188
click to vote
SAC
2009
ACM
16 years 29 days ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...