Sciweavers

2878 search results - page 8 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
ICSE
1997
IEEE-ACM
15 years 9 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
HICSS
2003
IEEE
179views Biometrics» more  HICSS 2003»
15 years 11 months ago
JUMBL: A Tool for Model-Based Statistical Testing
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...
Stacy J. Prowell
163
Voted
FMCO
2003
Springer
154views Formal Methods» more  FMCO 2003»
15 years 10 months ago
Tools for Generating and Analyzing Attack Graphs
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
Oleg Sheyner, Jeannette M. Wing
CSREAESA
2006
15 years 7 months ago
Integration of an Analysis Tool for Large-Scale Embedded Real-Time Software into a Vehicle Control Platform Development Tool Cha
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
Xiaofeng Yin, Daniel L. Kiskis, Daniel Mihalik, Ka...
WSC
1998
15 years 7 months ago
ALPHA/SIM Simulation Software Tutorial
ALPHA/Sim is a general-purpose, discrete-event simulation tool. ALPHA/Sim allows a user to graphically build a simulation model, enter input data via integrated forms, execute the...
Kendra E. Moore, Scott D. Hammer