483 search results - page 43 / 97 » Model driven code checking |
152
click to vote
ESAW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
107
click to vote
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
134
click to vote
SOFTVIS
2003
ACM
15 years 7 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
144
click to vote
PAAMS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract Many Multi-Agent Systems (MAS) methodologies incorporate a modeldriven approach. Model Driven Engineering is based on three main ideas: models are the “first-class citi...
109
click to vote
SIMUTOOLS
2008
15 years 3 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...