Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature, and therefore fragile in the sense that the inevitable approximation of systems by models, combined with the fundamental unpredictability of hardware platforms, makes it diff...

The synthesis problem asks for the automatic construction of a system from its specification. In the traditional setting, the system is “constructed from scratch” rather than composed from reusable components. However, this is rare in practice, and almost every non-trivial software system relies heavily on the use of libraries of reusable components. Recently, Lustig and Vardi introduced datafl...

Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature, and therefore fragile in the sense that the inevitable approximation of systems by models, combined with the fundamental unpredictability of hardware platforms, makes it diff...

We propose to use Constraint Logic Programming (CLP) for the specification and implementation of Qualitative Reasoning (QR) problems that are specialized Constraint Satisfaction Problems . The use of CLP has two advantages : (i) CLP gives a well defined and understood logical framework for the problem specification, and (ii) CLP is not only a logical framework, it is also a family oflanguages s...

Requirements specification is a complex activity, where the automated support by the requirements engineering (RE) tools plays an important role. However, the surveys report that the mainstream practice relies on office and modelling tools rather than the targeted RE-tools. This work performs a case study, where two requirements specification processes are analyzed. In order to prepare a requir...

∗ A preliminary (short) version of this manuscript appeared in the Proceedings of the International Conference on Intelligent Agent Technology (IAT'06) Abstract Within many domains, among which biological, cognitive, and social areas, multiple interacting processes occur among agents with dynamics that are hard to handle. This paper presents the predicate logical Temporal Trace Language (TTL) f...

This paper focuses on comparison on formal specification languages and chooses the appropriate one for a particular problem. Formal specification is a better way to identifying specification errors and describing specification in unambiguous ways. Formal specification is a specification written in a formal language where a formal language is either based on rigorous mathematical model or simply...

This paper considers the problem of automatically generating tests from Z specifications based on userdefined testing criteria. Automation is facilitated by formally specifying heuristics for generating tests that can be applied to a specification using general purpose theorem proving tools. The formal specification of the heuristics also allows desirable properties to be checked and comparativ...

stability studies play a critical role in assuring product quality at all points in the vaccine life cycle. these studies used to determine vaccine expiry date and vaccine efficacy. accelerated stability and long term stability study performed for three batches of trivalent oral poliomyelitis vaccine (opv) and three batches of monovalent opv (type1) manufactured by razi institute. after samplin...