The security requirements specification (SRS) is an integral aspect of the development of secured information systems and entails the formal documentation of the security needs of a system in a correct and consistent way. However, in many cases there is lack of sufficiently experienced security experts or security requirements (SR) engineer within an organization, which limits the quality of SR...

In this paper we consider the inspection of a product of which several characteristics have to satisfy given specification limits. A problem which occurs in the inspection process quite often is that a measurement error occurs in measuring the characteristics. Therefore, it is common practice to inspect each characteristic by comparing its measurement to a test limit which is slightly more stri...

The Bluetooth specification defines gateway nodes so that piconets communicate among each other in a seamless ad-hoc manner, forming scatternets. The specification also defines primitives for gateway nodes to divide their time between their piconets, but the actual mechanism and algorithms that this can be accomplished is left open. The time division in gateways effectively limits the network c...

Pharmaceutical excipients for topical use may contain impurities, which are often neglected from a toxicity qualification viewpoint. The possible impurities in the most frequently used topical excipients were evaluated in-silico for their toxicity hazard. Acetol, an impurity likely present in different topical pharmaceutical excipients such as propylene glycol and glycerol, was withheld for the...

Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal specifications currently in use are not adequate because they are difficult to read and write, and cannot be functionally verfied by automated tools. Formal specifications, promise to eliminate these problems, but in pract...

Analysis of anteroposterior (AP) axis specification in regenerating planarian flatworms has shown that Wnt/β-catenin signaling is required for posterior specification and that the FGF-like receptor molecule nou-darake (ndk) may be involved in restricting brain regeneration to anterior regions. The relationship between re-establishment of AP identity and correct morphogenesis of the brain is, ho...

Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different aspects of the application. Their interpretation, extension, revision and integration becomes awful difficult if developers use the full freedom of UML, apply their own semantics and do not agree an common parts. We propose an...