This article examines the potential of application profiles and domain profiles as means to adapt technical specifications of data structures to particular needs. The authors argue that application profiling is better suited to increase the use of formal specifications than the creation of new specifications. The authors also describe a method to generate specific conformance test systems for m...

Information extraction approaches are heavily used to gather product information on the Web, especially focusing on technical product specifications. If requesting different sources for retrieving such specifications, the outcome is of varying formats (different languages, units, etc.). The problem of how to bring such information sets into a unique, interchangeable format is not considered in ...

1. I n t r o d u c t i o n An important concern in building algebraic specifications is their hierarchical or modular structure. The same holds for term rewriting systems [1] which can be viewed as implementations of equational algebraic specifications. Specifically, it is of obvious interest to determine which *This paper is an abbreviated version of the IEICE technical report COMP88-30, July ...

The primary goal of Lean Production is to avoid the wastage of time, money and other resources. In the construction setting, a lot of wastages are attributed to delays, rework and the subsequent non-productive efforts expended in resolving disputes arising from such inefficiencies. Deficient specifications have been implicated in many waste scenarios. Despite that, little research has been cond...

Recently, the Web Services Interoperability Organization (WS-I) has announced to have completed its interoperability standards work. The latest deliverables include the so-called “Basic Security Profile” and the “Reliable Secure Profile”. This gives rise to the question whether or not Web Services adopters can rely on interoperability and functionality of Web Services stacks, in particular in t...

This paper argues that, in a collaboration context, instead of Web services requiring client applications to comply with individual permutations of security configurations, a standardized mechanism should be established to ensure global security-interoperability. Such a solution would facilitate providing Web services in Grid Services contexts as well. A framework is proposed which comprises, i...

PURPOSE To develop a project of hyperbaric chamber that allows its safe and reliable use in veterinary and animal experimentation. METHODS Based on the technical specifications for the construction of hyperbaric chambers for human beings, it has been developed a design of a chamber with dimensions and characteristics for the use of a midsize animal, (dog or pig), as well as a multiple chamber...