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.

On the Evaluation of a DSL for Architectural Consistency Checking

Software architecture erodes over time and needs to be constantly monitored to be kept consistent with its original intended design. Consistency is rarely monitored using automated techniques. The cost associated to such an activity is typically not considered proportional to its benefits. To improve this situation, we propose Dicto, a uniform DSL for specifying architectural invariants. This language is designed to reduce the cost of consistency checking by offering a framework in which existing validation tools can be matched to newly-defined language constructs. In this paper we discuss how such a DSL can be qualitatively and qualitatively evaluated in practice.

How to build a house : an architectural novelette /

Translation of Histoire d'une maison.

The old Indian settlements and architectural structures in Northern Central America /

From the Smithsonian Report for 1895, pages 537-555 (with plates XXIX-XXXIV).

Essays of the London Architectural Society : with four plates.

"Published by order."

The column and the arch; essays on architectural history,

The lotus column.-- Græco-Roman architecture.-- The age of Constantine.-- Early Christian architecture.-- Santa Maria Maggiore.-- Romanesque architecture.-- The renaissance.-- Saint Peter's.

Modern Belgian architecture; a short survey of architectural developments in Belgium in the last half century,

Text on p. [2]-[3] of cover.

New education building : second architectural competition.

Mode of access: Internet.

International passive architectural survey ; announcement of results /

"Prepared Under Task No. 6324.40."

Industrial buildings; the architectural record of a decade,

Articles from the Architectural record, 1940 through 1949.

Structural models for architectural and engineering education,

Includes bibliography.

Architectural pottery;

Mode of access: Internet.