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...

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...

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...

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...