2878 search results - page 81 / 576 » Analyzing the Uses of a Software Modeling Tool |
ICSE
2001
IEEE-ACM
14 years 17 days ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
ENTCS
2002
13 years 8 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
EUROMICRO
2006
IEEE
14 years 2 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
Oscilloscopes and their cousins, logic analyzers, are the tools of choice for difficult electronic hardware problems. In the hands of a skilled engineer or technician, these tool...