


default search action
Science of Computer Programming, Volume 60
Volume 60, Number 1, March 2006
- Mark Burgess:

Probabilistic anomaly detection in distributed computer networks. 1-26 - George A. Papadopoulos

, Aristos Stavrou, Odysseas Papapetrou
:
An implementation framework for Software Architectures based on the coordination paradigm. 27-67 - So Young Sohn, Ji Soo Lee:

Cost of ownership model for a CRM system. 68-81 - Hidetaka Kondoh, Kokichi Futatsugi:

To use or not to use the goto statement: Programming styles viewed from Hoare Logic. 82-116
Volume 60, Number 2, April 2006
- Francoise Balmas, Kostas Kontogiannis:

Introduction to the special issue on software analysis, evolution and reengineering. 117-120 - David A. Umphress, T. Dean Hendrix, James H. Cross II, Saeed Maghsoodloo

:
Software visualizations for improving and measuring the comprehensibility of source code. 121-133 - Sudhakiran V. Mudiam, Gerald C. Gannod, Timothy E. Lindquist:

Synthesizing and integrating legacy components as services using adapters. 134-148 - Richard C. Holt, Andy Schürr, Susan Elliott Sim, Andreas Winter:

GXL: A graph-based standard exchange format for reengineering. 149-170 - Rainer Koschke, Gerardo Canfora

, Jörg Czeranski:
Revisiting the Delta IC approach to component recovery. 171-188 - David Ung, Cristina Cifuentes:

Dynamic binary translation using run-time feedbacks. 189-204 - Arie van Deursen

, Leon Moonen
:
Documenting software systems using types. 205-220
Volume 60, Number 3, May 2006
- Michel Charpentier:

Composing invariants. 221-243 - Ward Douglas Maurer:

A theory of computer instructions. 244-273 - Dariusz Biernacki

, Olivier Danvy
, Chung-chieh Shan:
On the static and dynamic extents of delimited continuations. 274-297

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














