Sciweavers

3514 search results - page 198 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
119
Voted
WICSA
2004
15 years 3 months ago
Establishing a Software Architecting Environment
We present the work of establishing an integrated environment that facilitates architecture design, reconstruction, and maintenance in the entire life cycle of a software product ...
Claudio Riva, Petri Selonen, Tarja Systä, Ant...
122
Voted
ATAL
2007
Springer
15 years 8 months ago
A design framework for generating BDI-agents from goal models
We define a tool-supported design framework that allows to specify an agent goal model and to automatically generate fragments of a BDI agent from it. We devise the design proces...
Loris Penserini, Anna Perini, Angelo Susi, Mirko M...
EMSOFT
2005
Springer
15 years 8 months ago
Model-based run-time monitoring of end-to-end deadlines
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter...
SIPS
2008
IEEE
15 years 9 months ago
The support of software design patterns for streaming RPC on embedded multicore processors
The development of embedded system has been toward the multicore architectures in the recent years. It raises concerns in the community of supporting programming models and langua...
Kun-Yuan Hsieh, Yen-Chih Liu, Chi-Hua Lai, Jenq Ku...
FASE
2009
Springer
15 years 9 months ago
Scalable Analysis of Scalable Systems
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
Allan Clark, Stephen Gilmore, Mirco Tribastone