Sciweavers

665 search results - page 92 / 133
» Extending Software Development Methodologies to Support Trus...
Sort
View
ECBS
2005
IEEE
124views Hardware» more  ECBS 2005»
15 years 4 months ago
Towards a Demand Driven, Autonomous Processing and Streaming Architecture
This paper describes SOPA, a component framework that is an essential part of the lecture recording system E-Chalk. It envisages a general processing and streaming architecture fe...
Gerald Friedland, Karl Pauls
RE
2004
Springer
15 years 4 months ago
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
Shmuel Katz, Awais Rashid
FDL
2006
IEEE
15 years 4 months ago
Bridging the Gap Between SysML and Design Space Exploration
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
Mauro Prevostini, Sivakumar Ganesan
ATAL
2005
Springer
15 years 4 months ago
Towards an agent oriented programming language with caste and scenario mechanisms
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...
Ji Wang, Rui Shen, Hong Zhu
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 4 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...