{"product_id":"9780792397786","title":"Object-Oriented Behavioral Specifications","description":"\u003ch1\u003eObject-Oriented Behavioral Specifications\u003c\/h1\u003e \u003ch2\u003eKilov, Haim; Harvey, William\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eObject-Oriented Behavioral Specifications\u003c\/em\u003e encourages  builders of complex information systems to accelerate their move to  using the approach of a scientific discipline in analysis rather than  the approach of a craft. The focus is on understanding customers'  needs and on precise specification of understanding gained through  analysis. Specifications must bridge any gaps in understanding about  business rules among customers, Subject Matter Experts, and `computer  people', must inform decisions about reuse of software and systems,  and must enable review of semantics over time. Specifications need to  describe semantics rather than syntax, and to do that in an  \u003cem\u003eabstract\u003c\/em\u003e and \u003cem\u003eprecise\u003c\/em\u003e manner, in order to create software  systems that satisfy business rules. \u003cbr\u003e  The papers in this book show various ways of designing elegant and  clear specifications which are reusable, lead to savings of  intellectual effort, time, and money, and which contribute to the  reliability of software and systems. \u003cbr\u003e  \u003cem\u003eObject-Oriented Behavioral Specifications\u003c\/em\u003e offers a fresh  treatment of the object-oriented paradigm by examining the limitations  of traditional OO methodologies and by describing the significance of  competing trends in OO modeling. The book builds on four years of  successful OOPSLA workshops (1991-1995) on behavior semantics.  \u003cbr\u003e  This book deals with precise specifications of `what' is accomplished  by the business and `what' is to be done by a system. The book  includes descriptions of successful use of abstract and precise  specification in industry. It draws on the experience of experts from  industrial and academic settings and benefits from international  participation. Collective behavior, neglected in some treatment of the  OO paradigm, is addressed explicitly in this book. The book does not  take `reuse' of specifications or software for granted, but furnishes  a foundation for taking as rigorous an approach to reuse decisions as  to precise specifications in original developments.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1996-09-30\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792397786\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/b102296\u003c\/p\u003e \u003cp\u003eDimensions: 235.0cm x155.0cm\u003c\/p\u003e \u003cp\u003ePages: 316.0\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45578422911116,"sku":"9780792397786","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792397786.jpg?v=1767146835","url":"https:\/\/lateknightbooks.com\/products\/9780792397786","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}