Sciweavers

3357 search results - page 393 / 672
» On the Use of Process Trails to Understand Software Developm...
Sort
View
ICFEM
2003
Springer
16 years 17 hour ago
Analyzing the Redesign of a Distributed Lift System in UPPAAL
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
Jun Pang, Bart Karstens, Wan Fokkink
KBSE
2000
IEEE
15 years 10 months ago
Mutation Operators for Specifications
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
Paul E. Black, Vadim Okun, Yaacov Yesha
FCCM
1998
IEEE
111views VLSI» more  FCCM 1998»
15 years 11 months ago
A Stream-Based Configurable Computing Radio Testbed
Software radios have emerged as important tools in the development of new signal processing algorithms, networking protocols, and propagation experiments in wireless environments....
Steven Swanchara, Scott J. Harper, Peter M. Athana...
ICDM
2009
IEEE
148views Data Mining» more  ICDM 2009»
16 years 1 months ago
Online System Problem Detection by Mining Patterns of Console Logs
Abstract—We describe a novel application of using data mining and statistical learning methods to automatically monitor and detect abnormal execution traces from console logs in ...
Wei Xu, Ling Huang, Armando Fox, David Patterson, ...
MITJSME
1989
15 years 11 months ago
Cooperation in Aircraft Design
We describe how aircraft are designed in a large organization. We discuss the different phases of design and interaction with the customer. We then describe the models used by each...
Alan H. Bond, Richard J. Ricci