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.

Age constraints on the tectonic evolution of the Itremo region in Central Madagascar

The Itremo region in Central Madagascar comprises a deformed metasedimentary sequence (Itremo Group) that has undergone greenschist to lower amphibolite facies metamorphism. During a first phase of deformation (D1) Itremo Group sediments were deformed into a fold-and-thrust belt and transported toward the E to NE on top of migmatitic gneisses rocks of Anatananarivo block. A second phase of deformation (D2) affected both the fold-and-thrust belt and structurally underlying units, and formed large-scale N-S trending folds with steeply dipping axial planes. A Late Neoproterozoic Th–U–Pb XRF monazite age (565±17 Ma) dates the emplacement of a granite that truncates first-phase structures in the Itremo Group, and indicates that the fold-and-thrust belt formed prior to ≈565 Ma. Th–U–Pb electron microprobe dating was applied to elongated monazites that lie within the first-phase foliation of Itremo Group metapelites. The detrital cores of zoned monazites reveal two distinct age populations at ∼2000 and 1700 Ma, the latter age giving a maximum depositional age for the Itremo Group. Statistical analysis of ages determined from the rims of zoned monazites and from unzoned monazites indicates three Late Proterozoic–Early Paleozoic monazite growth events at about 565–540, 500 and 430 Ma. The oldest age population is contemporaneous within error, with the intrusion of the dated granite. The two younger age populations are found both in the Th–U–Pb and Ar–Ar data; together with the perturbation of the Rb–Sr system we interpret both ages as due to alteration related to fluid circulation events, possibly connected to the emplacement of pegmatite fields in Central Madagascar. Syn-D1 tectonic growth of contact metamorphism minerals such as andalusite has been observed locally in metapelites along the margin of Middle Neoproterozoic (≈800 Ma) granites, suggesting that D1 in the Itremo Group is contemporaneous with the intrusion of granites at ≈800 Ma. The N-S trending D2 folds are associated with ≈E-W shortening during the final assembly of Gondwana in Late Neoproterozoic–Early Cambrian times.

Guidelines for a K-12 traffic safety education curriculum. Volume II: curriculum content and instructional approach. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Minority ownership of small business: instructional handbook.

"Produced by the Office of Education in cooperation with the Dept. of Commerce, the Dept. o Housing and Urban Development, and the Office of Economic Opportunity."

National assessment of educational progress, 1985-86 : mathematics achievement and classroom instructional activities /

Item 455-G-9

An instructional delivery system for manpower management /

Mode of access: Internet.

Instructional materials /

Description based on: 1988 ; title from cover.

Codisposal of municipal solid waste and sewage sludge : an analysis of constraints /

"Contract no. 68-01-4427"--Verso of t.p.

Moped task analysis: instructional objectives. Final report.

National Highway Traffic Safety Administration, Washington, D.C.