8492 search results - page 273 / 1699 » Modelling and Design of Multi-Agent Systems |
144
Voted
ICSE
1999
IEEE-ACM
15 years 9 months ago
1999
IEEE-ACM
Architectural frameworks have shown to increase the design reusability in large-scale object-oriented systems. Drawing on experience in complex software systems development in tel...
108
Voted
CONCUR
1989
Springer
15 years 9 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
120
click to vote
CADUI
2004
15 years 6 months ago
2004
Abstract We describe MAUI, a user interface design tool that is based on a matrix algebra model of interaction. MAUI can be used to build and analyse designs for interactive system...
136
click to vote
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
181
click to vote
ECMDAFA
2009
Springer
15 years 11 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...