3425 search results - page 415 / 685 » A Model Driven Approach for Software Systems Reliability |
129
click to vote
AOSD
2010
ACM
15 years 9 months ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
121
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
A holy grail of component-based software engineering is "write-once, reuse everywhere". However, in modern distributed, component-based systems supporting emerging appli...
117
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
148
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
116
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...