1700 search results - page 84 / 340 » Specifying and implementing refactorings |
129
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...
101
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
117
click to vote
GC
2004
Springer
15 years 8 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
113
click to vote
ACISP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper addresses the issue of selective disclosure of verifiable content. It extends previous work relating to Content Extraction Signatures [21] to implement a more ...
147
click to vote
ACSD
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper describes a new way of testing reactive systems as investigated by the RATE-project at the Tampere University of Technology. We abandon the idea of systematically using...