Sciweavers

358 search results - page 15 / 72
» Extracting State Diagrams from Legacy Systems
Sort
View
ICSE
2003
IEEE-ACM
14 years 7 months ago
Tools for Understanding the Behavior of Telecommunication Systems
Many methods and tools for the reengineering of software systems have been developed so far. However, the domain-specific requirements of telecommunication systems have not been a...
André Marburger, Bernhard Westfechtel
MVA
1994
175views Computer Vision» more  MVA 1994»
13 years 9 months ago
Understanding Electronic Circuit Diagrams and Linking with ORCAD
CT This paper presents a rapid detecting method to tell the external contours from internal ones, and adopt an aid measure of adding 'black points" . These two methods re...
Shi Zesheng, Jiang Cunhong, Li Sifang, Yang Jing
TACAS
2010
Springer
170views Algorithms» more  TACAS 2010»
13 years 5 months ago
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbe...
WCRE
2000
IEEE
14 years 1 days ago
Understanding the Behavior of Java Programs
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
Tarja Systä
COLING
2010
13 years 2 months ago
Open Entity Extraction from Web Search Query Logs
In this paper we propose a completely unsupervised method for open-domain entity extraction and clustering over query logs. The underlying hypothesis is that classes defined by mi...
Alpa Jain, Marco Pennacchiotti