logo

Home

|

Products

|

9789356962026

Image of - Specification and Development of Interactive Systems FOCUS on Streams | Interfaces and Refinement (Monographs in Computer Science)
Specification and Development of Interactive Systems FOCUS on Streams | Interfaces and Refinement (Monographs in Computer Science)

Specification and Development of Interactive Systems FOCUS on Streams | Interfaces and Refinement (Monographs in Computer Science)

by Broy

Today's distributed systems are characterized by interactions, often complex, between many different hardware/software components cooperating and exchanging information. To reduce the complexity of the development of interactive systems, experts employ descriptions, or specifications, of a given system's behavior and/or structure. This book provides a mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on the model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinementS.

Highlights

  • binding-icon

    9780387950730

    ISBN:

  • binding-icon

    Broy

    Author:

  • binding-icon

    348

    Pages:

  • binding-icon

    210 gm

    Weight:

  • langauage-icon

    English

    Language:

  • date-icon

    2001

    Year:

  • edition-icon

    Standard Edition

    Edition:

  • binding-icon

    Hardcover

    Binding:

₹956

₹1195

Today's distributed systems are characterized by interactions, often complex, between many different hardware/software components cooperating and exchanging information. To reduce the complexity of the development of interactive systems, experts employ descriptions, or specifications, of a given system's behavior and/or structure. This book provides a mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on the model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinementS.

Loading...

Online store of medical books

Discover a comprehensive range of medical books at our online store. From anatomy and physiology to the latest clinical guidelines, we've got you covered.

Trusted by students, educators, and healthcare professionals worldwide. Browse top publishers and expert-authored titles in every medical specialty. Enjoy fast shipping, secure payments, and easy returns. Your one-stop destination for quality medical knowledge at your fingertips.

Whether you're preparing for exams or expanding your clinical expertise, our curated collection ensures you have the right resources at hand. Dive into detailed illustrations, case studies, and up-to-date research that enhance your understanding and practical skills.

We regularly update our inventory to include the latest editions and newly released titles, helping you stay current in the ever-evolving medical field. Our advanced search and filtering tools make finding the perfect book quick and hassle-free.

Join our community of lifelong learners and medical enthusiasts. Sign up for exclusive discounts, early access to new arrivals, and personalized book recommendations tailored to your professional interests.