A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

Towards moldable development tools

Developers commonly ask detailed and domain-specific questions about the software systems they are developing and maintaining. Integrated development environments (IDEs) form an essential category of tools for developing software that should support software engineering decision making. Unfortunately, rigid and generic IDEs that focus on low-level programming tasks, that promote code rather than data, and that suppress customization, offer limited support for informed decision making during software development. We propose to improve decision making within IDEs by moving from generic to context-aware IDEs through moldable tools. In this paper, we promote the idea of moldable tools, illustrate it with concrete examples, and discuss future research directions.

Explora: A Visualisation Tool for Metric Analysis of Software Corpora

When analysing software metrics, users find that visualisation tools lack support for (1) the detection of patterns within metrics; and (2) enabling analysis of software corpora. In this paper we present Explora, a visualisation tool designed for the simultaneous analysis of multiple metrics of systems in software corpora. Explora incorporates a novel lightweight visualisation technique called PolyGrid that promotes the detection of graphical patterns. We present an example where we analyse the relation of subtype polymorphism with inheritance and invocation in corpora of Smalltalk and Java systems and find that (1) subtype polymorphism is more likely to be found in large hierarchies; (2) as class hierarchies grow horizontally, they also do so vertically; and (3) in polymorphic hierarchies the length of the name of the classes is orthogonal to the cardinality of the call sites.

Quarterly technical progress report of the Information Engineering Laboratory.

Mode of access: Internet.

Quarterly Technical Progress Report of the Information Engineering Laboratory for the period November 1977-January 1978

"February 1978"

Communication net of modular processors for a multiprocessor computer /

"This work was submitted in partial fulfillment of the requirements for the degree of Master of Science in Electrical Engineering, June 1967, and was supported in part by the AEC under Contract No. USAEC AT(11-1)1018.

Quarterly Technical Progress Report of the Information Engineering Laboratory for the period May-July 1977

"September 1977"

RASCEL: a programmable analog computer based on a regular array of stochastic computing element logic

Thesis--University of Illinois.

SAGA, a system to automate the management of software production /

"UILU-ENG 81 1702"--Cover.

Computer design study : access time /

"1-10-1955"

Hardware/software interface for the Stereo-matrix display.

Contract US AEC AT(11-1)1469.

What do we need in programming languages for mathematical software? /

"UIUCDCS-R-74-652"

Construction of a fault-tolerant, real-time software system /

"UILU-ENG 80 1742"--Cover.

GRASS: system software description,

"C00-1469-0190."

A computer simulation of a large scale academic computer system.

Thesis (M.S.)--University of Illinois.