UML specifications offer the advantage to describe software systems while the actual task of implementing code for them is passed to code generators that automatically produce e.g. Java code. For safety reasons, it is necessary that the generated code is semantically equivalent to the original UML specification. In this paper, we present our approach to formally verify within the Isabelle/HOL t...

While doing some volunteer work recently, I was removing broken sidewalk stones and digging down a few inches to eventually add sand new pavers. surprised find an underground wire from the building feeding lamppost distance away. Fortunately, wasn’t damaged by shovel, but this definitely electrical hazard, it could have resulted in injury. The local codes require be buried 24 (60 cm) or, if pro...

by application of design spectra in seismic analyses, determination of design spectra for different site conditions, magnitudes, safety levels and damping ratios will improve the accuracy of seismic analysis results. the result of this research provides different design acceleration spectra based on iran earthquakes database for different conditions. for this purpose first a set of 146 records ...

Universal programming languages are an old dream. There is the computability sense of Turing-universal; Landin and others have advocated syntactically universal languages, a path leading to extensible syntax, e.g., macros. A stronger kind of universality would reduce the need for domain-specific languages — they could be replaced by ‘active libraries’ providing not just the abstractions for a p...