756 search results - page 113 / 152 » Understanding COBOL Systems using Inferred Types |
SSDBM
2003
IEEE
14 years 3 months ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...
IS
1998
13 years 10 months ago
1998
Information modeling is concerned with the construction of computer-based symbol structures which capture the meaning of information and organize it in ways that make it understan...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
Over the past decade, software architecture research has emerged as the principled study of the overall structure of software systems, especially the relations among subsystems an...
WOTUG
2008
13 years 11 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
ISPASS
2010
IEEE
14 years 5 months ago
2010
IEEE
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...