620 search results - page 1 / 124 » Tool support for component-based semantics |
BCS
2008
13 years 6 months ago
2008
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
METAINFORMATICS
2004
Springer
13 years 10 months ago
2004
Springer
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
DATE
2008
IEEE
13 years 11 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...
ECOOPW
1999
Springer
13 years 9 months ago
1999
Springer
CBSE
2005
Springer
13 years 10 months ago
2005
Springer
After a component based system is developed, it has to be deployed into a target environment. As the system becomes much larger and more complex and the environment becomes open an...