5343 search results - page 157 / 1069 » Keyword programming in java |
101
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
122
Voted
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
94
Voted
WWW
2010
ACM
15 years 9 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
108
click to vote
ASSETS
2004
ACM
15 years 7 months ago
2004
ACM
The hierarchical structure of a program can be quite complex. As such, many Integrated Development Environments (IDEs) provide graphical representations of program structure at di...
134
click to vote
RC
2000
15 years 1 months ago
2000
Conventional plotting programs adopt techniques such as adaptive sampling to approximate, but not to guarantee, correctness and completeness in graphing functions. Moreover, implic...