In this paper we introduce a tool called the Web Service Translation tool (WST), which we are developing to implement a methodology for the design, validation and verification of Web Services with timed restrictions. This methodology works by making several translations, from phase to phase in the software development life cycle, where the system is represented at each phase by XML models. We u...

Models are typically used for expressing information that is known at a particular stage in the software development process. Yet, it is also important to express what information a modeler is still uncertain about and to ensure that model refinements actually reduce this uncertainty. Furthermore, when a refining transformation is applied to a model containing uncertainty, it is natural to cons...

A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for defining safe and unsafe states of the system and a technique for the software simulation and analysis. The modeling process is based on an extension to Petri nets, which enables the modeler to represent control as we...

Conventional software (CS) and knowledge-based software (KBS) validation and verification have been traditionally accepted to be radically different disciplines with nothing in common. However, the differences between CS and KBS should not stop efforts being made to develop a general framework for evaluation, covering validation and verification of both types of software. A review of the concep...

Distributed software development has resulted in formation of business partners spread across different economic, temporal, and organizational zones collaborating together for shared authorship of evolving software artifacts. However, the distributed approach is not without risks, and organizations implement specific test strategies to assist in the verification process of work-in-progress soft...

Orion is NASA's new crew exploration vehicle. The Orion Project will be using a state-of-the art model-based software development process. This model-based software development process is new for the human space program, and implies both new opportunities and risks for NASA. Opportunities include gaining early insight into designs in the form of executable models, and formulation of requirement...

Although decades of research have well elaborated on teacher professional development, we still do not have a thorough picture about what teacher professional development could entail and what components it consists of. The present study aims to develop and validate a teacher professional development scale in an Iranian English foreign language context. An initial tentative model with 130 items...

Ammonium sulfate is one of the subsidiary components in the stealth liposome structure. The ratio of ammonium ion bound to liposome sphere to ammonium ions outside the liposome plays an important role in drug delivery formulation; accordingly, in order to quantify the ammonium ion in the liposome structure, a rapid and sensitive method was validated using a conductivity detector. Through this m...