6201 search results - page 844 / 1241 » Implementation of Axiomatic Language |
167
click to vote
SIGSOFT
2006
ACM
16 years 25 days ago
2006
ACM
We exploit the main similarity between the aspect-oriented programming paradigm and the inter-object, scenario-based approach to specification in order to construct a new way of ...
150
click to vote
WIKIS
2006
ACM
16 years 25 days ago
2006
ACM
The Radeox Wiki markup render engine is a basic component for the construction of a Wiki or any system that wishes to integrate basic Wiki functionality. With the availablility of...
179
click to vote
ACSC
2005
IEEE
16 years 16 days ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
180
click to vote
APSEC
2005
IEEE
16 years 16 days ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
189
click to vote
COMPSAC
2005
IEEE
16 years 15 days ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...