1439 search results - page 4 / 288 » A Component Model Engineered with Components and Aspects |
APSEC
2001
IEEE
13 years 9 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
EUROMICRO
2002
IEEE
13 years 11 months ago
2002
IEEE
ICSE
2003
IEEE-ACM
14 years 6 months ago
2003
IEEE-ACM
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...
ADAEUROPE
2005
Springer
13 years 11 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
ICFEM
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...