the kashkan formation (paleocene to middle eocene), consists of conglomerate, sandstone, and siltstone in the zagros folded zone, southwest iran. type of the sedimentary facies, architectural elements and trace fossils show that kashkan deposits were formed in a low sinuosity braided stream system, with north to south flow direction. the formation displays coarsening-upward succession reflects ...

In this short technical note we show how PADL – the process algebraic architectural description language of Bernardo, Ciancarini and Donatiello – can be used to specify AFrames. AFrames exist to structure the machine in a Problem Frames development, and are important in that framework as they allow architectural expertise to be captured and reused therein. Because of the close proximity of PADL...

It is hard to statically check a system’s conformance to its runtime architectural structure. Previous approaches address the code architecture, change the language radically, mandate implementation frameworks, or use dynamic analyses that cannot check all possible program runs. We propose a static approach that supports existing object-oriented implementations, but relies on program annotation...

Problem. An object-oriented software system consists of set of objects that interacts through a set of messages or method invocations. Throughout a system's lifetime objects gets created and garbage collected, thus a system is very dynamic in both its behaviour and con guration. Even with small or medium sized systems the complexity caused by the number of objects and method invocations makes i...

Software architecture is receiving increasingly attention as a critical design level for software systems. As software architecture design resources (in the form of architectural speci cations) are going to be accumulated, the development of techniques and tools to support architectural understanding, testing, reengineering, maintenance, and reuse will become an important issue. This paper intr...