8 search results - page 1 / 2 » A Metric-based Approach to Detect Abstract Data Types and St... |
KBSE
1997
IEEE
13 years 9 months ago
1997
IEEE
WCRE
2000
IEEE
13 years 9 months ago
2000
IEEE
Component recovery supports program understanding, architecture recovery, and re-use. Among the best known techniques for detection of re-usable objects (related global variables ...
CICLING
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...
POPL
2007
ACM
14 years 5 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...