247 search results - page 7 / 50 » Agent-Oriented Modeling by Interleaving Formal and Informal ... |
161
click to vote
FMSD
2006
15 years 6 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
162
click to vote
DICS
2006
15 years 8 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
144
click to vote
AOSE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
331
click to vote
AMCS
2011
15 years 1 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
178
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...