2613 search results - page 3 / 523 » Proposal for Tools Supporting Component Based Programming |
120
click to vote
TOOLS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
141
click to vote
ASWEC
2005
IEEE
15 years 4 months ago
2005
IEEE
Most software engineering tools come with fixed functionality or limited plug-in extension capabilities. Building software development environments that support truly dynamic exte...
125
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
174
Voted
PROCEDIA
2011
14 years 5 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
100
Voted
CD
2004
Springer
15 years 8 months ago
2004
Springer
Based on a vision that, in the future, applications will be flexibly built out of small-grained components, we argue that current technologies do not adequately support component d...