The Fluor Daniel Company, a major engineering consulting and construction firm, is applying the Purdue Enterprise Reference Architecture and Methodology (PERA) to their project wo...
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
Roberto M. Amadio, Solange Coupet-Grimal, Silvano ...
Web service technologies are becoming increasingly important for integrating systems and services. There is much activity and interest around standardization and usage of web serv...
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...