1141 search results - page 37 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
135
click to vote
ATAL
2003
Springer
15 years 11 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...
160
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
193
click to vote
EWSA
2006
Springer
15 years 9 months ago
2006
Springer
Software architectures are often designed with respect to some architecture patterns, like the pipeline and peer-to-peer. These patterns are the guarantee of some quality attribute...
156
click to vote
SIGSOFT
2004
ACM
16 years 6 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
167
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...