1054 search results - page 1 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
51
Voted
AIPS
2004
15 years 11 days ago
2004
FLAIRS
1998
15 years 10 days 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
15 years 3 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
14 years 11 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
15 years 2 days 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...