3514 search results - page 253 / 703 » Evolving Specification Engineering |
170
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
170
click to vote
ESTIMEDIA
2003
Springer
15 years 11 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
174
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
125
click to vote
SIGSOFT
2004
ACM
16 years 6 months ago
2004
ACM
Reuse of application software has been limited and sometimes has led to accidents. This paper suggests some requirements for successful and safe application software reuse and dem...
165
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...