نتایج جستجو برای: fotokian z

تعداد نتایج: 149699  

In this article, we consider the uniqueness of the difference monomials $f^{n}(z)f(z+c)$. Suppose that $f(z)$ and $g(z)$ are transcendental meromorphic functions with finite order and $E_k(1, f^{n}(z)f(z+c))=E_k(1, g^{n}(z)g(z+c))$. Then we prove that if one of the following holds (i) $n geq 14$ and $kgeq 3$, (ii) $n geq 16$ and $k=2$, (iii) $n geq 22$ and $k=1$, then $f(z)equiv t_1g(z)$ or $f(...

2008
Tim McComb Graeme Smith

This paper presents a minimal and complete set of structural refactoring rules for the Object-Z specification language that allow for the derivation of arbitrary object-oriented architectures. The rules are equivalence preserving and work in concert with existing class refinement theory, so that any design derived using the rule set can be shown to be equivalent to, or a refinement of, the orig...

1998
Brendan P. Mahony Jin Song Dong

Object-Z is strong in modeling the data and operations of complex systems. However, it is weak in specifying real-time and concurrent systems. The Timed Communicating Object-Z (TCOZ) extends Object-Z notation with Timed CSP's constructs. TCOZ is particularly well suited for specifying complex systems whose components have their own thread of control. This paper demonstrates expressiveness of th...

2004
Richard S. Ralston

With the advent of zSeries processors and z/OS, IBM decided to offer a new software cost structure. The new pricing structure, Sub-Capacity Workload License Charges, attempts to reduce the cost of key IBM software in the z/OS environment. This paper discusses the author’s experiences with Sub-Capacity License Charges, the tools available to help manage the LPARs running sub-capacity WLC, result...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه الزهراء - دانشکده علوم پایه 1393

جنس zoegea l. با نام فارسی خورشید صبح از تیره کاسنی دارای حدود 1 گونه و 5 زیرگونه در دنیاست که یک عنصر ایرانو تورانی و مدیترانهای محسوب میشود. این جنس در ایران - دارای 6 تاکسون است که متعلق به 9 گونه میباشند: z. crinita subsp. crinita ، z. crinita subsp. glabricaulis ، z. crinita subsp. baldschuanica ، z. leptaurea s ، ubsp. mianensis z. leptaurea subsp. mesopotamica و zoegea purpurea . در مو...

2018

In A.Z. v. B.Z. (2000), the Supreme Judicial Court of Massachusetts in Boston, Massachusetts, affirmed a lower court?s decision, ruling that contracts that require a party to become a parent against his or her will are unenforceable and contrary to public policy. The case centered around A.Z. and B.Z., a divorced couple who had previously used in vitro [4] fertilization [5] (IVF) to start a fam...

2018

In A.Z. v. B.Z. (2000), the Supreme Judicial Court of Massachusetts in Boston, Massachusetts, affirmed a lower court?s decision, ruling that contracts that require a party to become a parent against his or her will are unenforceable and contrary to public policy. The case centered around A.Z. and B.Z., a divorced couple who had previously used in vitro [4] fertilization [5] (IVF) to start a fam...

Journal: :Journal of Computational and Applied Mathematics 2001

2004
Selvarajah Mohanarajah Ray Kemp Elizabeth Kemp

We have been engaged in research towards designing a software system called LOZ for learning the object oriented formal specification notation Object-Z. Initially, we conducted a survey to analyse the effectiveness of traditional methodologies for learning Z notation. In LOZ, the semiformal model UML is used in the intermediate phase between informal textual description and formal Object-Z desc...

Journal: :Kwartalnik Filmowy 2020

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید