The Resource Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement, by Manfred Broy, Ketil Stølen, (electronic resource)

Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement, by Manfred Broy, Ketil Stølen, (electronic resource)

Label
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement
Title
Specification and Development of Interactive Systems
Title remainder
Focus on Streams, Interfaces, and Refinement
Statement of responsibility
by Manfred Broy, Ketil Stølen
Creator
Contributor
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
AU@
http://library.link/vocab/creatorName
Broy, Manfred
Dewey number
005.1015113
Index
no index present
LC call number
  • QA76.9.L63
  • QA76.5913
  • QA76.63
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Stølen, Ketil
Series statement
Monographs in Computer Science,
http://library.link/vocab/subjectName
  • Computer science
  • Logic design
  • Computer science
  • Logic design
Label
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement, by Manfred Broy, Ketil Stølen, (electronic resource)
Link
http://dx.doi.org/10.1007/978-1-4613-0091-5
Instantiates
Publication
Antecedent source
file reproduced from original
Color
mixed
Contents
Introduction -- A Guided Tour -- Basics -- Streams -- Specifications -- Examples -- Properties of Specifications -- Equational Specifications -- Access Control System -- Tables and Diagrams -- Abracadabra Protocol -- A/G-Specifications -- Memory with Locking -- Refinement -- Behavioral Refinement -- Interface Refinement -- Conditional Refinement -- Final Remarks -- A. Operators for Stream Tuples -- B. Glossary of Terms -- C. Bibliography -- D. Glossary -- E. Index
Dimensions
unknown
Extent
1 online resource (xv, 348 p.)
File format
unknown
Form of item
online
Isbn
9781461300915
Isbn Type
(electronic bk.)
Level of compression
uncompressed
Other control number
10.1007/978-1-4613-0091-5
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)852789526
  • (OCoLC)ocn852789526
Label
Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement, by Manfred Broy, Ketil Stølen, (electronic resource)
Link
http://dx.doi.org/10.1007/978-1-4613-0091-5
Publication
Antecedent source
file reproduced from original
Color
mixed
Contents
Introduction -- A Guided Tour -- Basics -- Streams -- Specifications -- Examples -- Properties of Specifications -- Equational Specifications -- Access Control System -- Tables and Diagrams -- Abracadabra Protocol -- A/G-Specifications -- Memory with Locking -- Refinement -- Behavioral Refinement -- Interface Refinement -- Conditional Refinement -- Final Remarks -- A. Operators for Stream Tuples -- B. Glossary of Terms -- C. Bibliography -- D. Glossary -- E. Index
Dimensions
unknown
Extent
1 online resource (xv, 348 p.)
File format
unknown
Form of item
online
Isbn
9781461300915
Isbn Type
(electronic bk.)
Level of compression
uncompressed
Other control number
10.1007/978-1-4613-0091-5
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)852789526
  • (OCoLC)ocn852789526

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...