1823 search results - page 145 / 365 » Formal specification: a roadmap |
279
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
162
click to vote
COMPSAC
2007
IEEE
16 years 25 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...
155
click to vote
OTM
2007
Springer
16 years 18 days ago
2007
Springer
Development of ontology development tools and ontology-enhanced software applications requires thorough understanding of ontology languages in order to implement them according to ...
172
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
One of the beauties of use cases is their accessible, informal format. Use cases are easy to write, and the graphical notation is trivial. Because of their simplicity, use cases a...
169
click to vote
ICPADS
1996
IEEE
15 years 10 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...