1606 search results - page 81 / 322 » XML-based programming language modeling: An approach to soft... |
147
click to vote
WWW
2010
ACM
16 years 28 days 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...
161
click to vote
ISSTA
2009
ACM
16 years 14 days ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
162
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
148
click to vote
SPLC
2010
15 years 7 months ago
2010
Feature-oriented programming (FOP) implements software product lines by composition of feature modules. It relies on the principles of stepwise development. Feature modules are int...
155
Voted
COMPSAC
2007
IEEE
16 years 9 days ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...