8083 search results - page 132 / 1617 » A Formalization of Software Architecture |
112
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
156
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
140
click to vote
FORTE
2007
15 years 5 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
124
click to vote
BCSHCI
2007
15 years 5 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
114
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...