8627 search results - page 1464 / 1726 » Software Engineering Using RATionale |
163
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
Software designers in the object-oriented paradigm can make use of modeling tools and standard notations such as UML. Nevertheless, casual observations from collocated design coll...
161
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
170
click to vote
AOSE
2007
Springer
16 years 25 days ago
2007
Springer
This paper describes how the Prometheus Design Tool (PDT) is used to support the Prometheus methodology for designing agent systems. This is done by using an exemplar system that h...
197
click to vote
EMSOFT
2007
Springer
16 years 25 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
225
click to vote
SELMAS
2005
Springer
16 years 4 days ago
2005
Springer
We argue that it is useful to study classes of Multi-Agent System (MAS) architectures, corresponding to architectural styles in addition to particular tures. In this work we focus ...