6581 search results - page 978 / 1317 » Formalizing Design Patterns |
203
click to vote
SIGCSE
2005
ACM
16 years 10 days ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
196
click to vote
WOSP
2005
ACM
16 years 9 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
191
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
165
click to vote
ECOOP
2005
Springer
16 years 9 days ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
184
click to vote
ICFEM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...