1054 search results - page 1 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
AIPS
2004
13 years 6 months ago
2004
FLAIRS
1998
13 years 6 months ago
1998
This paper describes a technique which allows impaired functions to be automatically determined from the faulty components and vice versa. Moreover a knowledge base containing the...
DATE
2000
IEEE
13 years 9 months ago
2000
IEEE
c Abstraction for Worst-Case Analysis of Discrete Systems Felice Balarin Cadence Berkeley Laboratories Recently, a methodology for worst-case analysis of discrete systems has been...
ASE
2005
13 years 4 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
DAGSTUHL
2009
13 years 6 months ago
2009
Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during developme...