Sciweavers

2145 search results - page 52 / 429
» Architectural Specifications in CASL
Sort
View
TC
2008
13 years 8 months ago
Implementing Synchronous Models on Loosely Time Triggered Architectures
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
Stavros Tripakis, Claudio Pinello, Albert Benvenis...
MDAFA
2004
Springer
136views Hardware» more  MDAFA 2004»
14 years 2 months ago
Integrating Platform Selection Rules in the Model Driven Architecture Approach
A key issue in the MDA approach is the transformation of platform independent models to platform specific models. Before transforming to a platform specific model, however, it is n...
Bedir Tekinerdogan, Sevcan Bilir, Cem Abatlevi
ICSE
1999
IEEE-ACM
14 years 1 months ago
Haemo Dialysis Software Architecture Design Experiences
In this paper we present the experiences and architecture from a research project conducted in cooperation with two industry partners. The goal of the project was to reengineer an...
PerOlof Bengtsson, Jan Bosch
E4MAS
2006
Springer
14 years 13 days ago
A Reference Architecture for Situated Multiagent Systems
Abstract. A reference architecture integrates a set of architectural patterns that have proven their value for a family of applications. Such family of applications is characterize...
Danny Weyns, Tom Holvoet
EDOC
2002
IEEE
14 years 1 months ago
Deployment of Service Oriented Architecture for a Business Community
This paper describes the deployment of a Service Oriented Architecture in the specific context of the “Business Communities” i.e. Communities of heterogeneous actors that coop...
Pierpaolo Baglietto, Massimo Maresca, Andrea Parod...