skip to content
Specification and development of interactive systems : focus on streams, interfaces, and refinement Preview this item
ClosePreview this item
Checking...

Specification and development of interactive systems : focus on streams, interfaces, and refinement

Author: M Broy; Ketil Stølen
Publisher: New York : Springer, ©2001.
Series: Monographs in computer science.
Edition/Format:   Print book : Document   Computer File : EnglishView all editions and formats
Summary:

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.

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: M Broy; Ketil Stølen
ISBN: 0387950737 9780387950730
OCLC Number: 45024470
Description: xv, 348 pages : illustrations ; 24 cm.
Contents: 1. Introduction --
2. A Guided Tour --
3. Basics --
4. Streams --
5. Specifications --
6. Examples --
7. Properties of Specifications --
8. Equational Specification of State Transitions --
9. Access Control System --
10. Tables and Diagrams --
11. Abracadabra Protocol --
12. A/G Specifications --
13. Memory with Locking --
14. Refinement --
15. Behavioral Refinement --
16. Interface Refinement --
17. Conditional Refinement --
18. Final Remarks --
A. Operators for Stream Tuples.
Series Title: Monographs in computer science.
Responsibility: Manfred Broy, Ketil Stølen.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/45024470> # Specification and development of interactive systems : focus on streams, interfaces, and refinement
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "45024470" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/837078489#Topic/ein_ausgabe> ; # Ein-Ausgabe
   schema:about <http://experiment.worldcat.org/entity/work/data/837078489#Topic/systems_engineering> ; # Systems engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/837078489#Topic/softwarespezifikation> ; # Softwarespezifikation
   schema:about <http://experiment.worldcat.org/entity/work/data/837078489#Topic/genie_logiciel> ; # Génie logiciel
   schema:about <http://id.worldcat.org/fast/1141455> ; # Dialogsystem
   schema:about <http://experiment.worldcat.org/entity/work/data/837078489#Topic/verfeinerung> ; # Verfeinerung
   schema:about <http://dewey.info/class/003/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/837078489#Topic/dialogsystem> ; # Dialogsystem
   schema:about <http://experiment.worldcat.org/entity/work/data/837078489#Topic/systementwurf> ; # Systementwurf
   schema:about <http://experiment.worldcat.org/entity/work/data/837078489#Topic/software_engineering> ; # Software engineering
   schema:about <http://id.worldcat.org/fast/1124185> ; # Datenstrom
   schema:about <http://experiment.worldcat.org/entity/work/data/837078489#Topic/datenstrom> ; # Datenstrom
   schema:about <http://experiment.worldcat.org/entity/work/data/837078489#Topic/ingenierie_des_systemes> ; # Ingénierie des systèmes
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/46145971388032330405> ; # Ketil Stølen
   schema:copyrightYear "2001" ;
   schema:creator <http://viaf.org/viaf/91721734> ; # M. Broy
   schema:datePublished "2001" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/837078489> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/837078489#Series/monographs_in_computer_science> ; # Monographs in computer science.
   schema:name "Specification and development of interactive systems : focus on streams, interfaces, and refinement"@en ;
   schema:productID "45024470" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/45024470#PublicationEvent/new_york_springer_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/837078489#Agent/springer> ; # Springer
   schema:url <http://nbn-resolving.de/urn/resolver.pl?urn=urn:nbn:de:bvb:12-bsb00057176-8> ;
   schema:workExample <http://worldcat.org/isbn/9780387950730> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA201598> ;
   umbel:isLike <http://d-nb.info/961890533> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/45024470> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/837078489#Series/monographs_in_computer_science> # Monographs in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/45024470> ; # Specification and development of interactive systems : focus on streams, interfaces, and refinement
   schema:name "Monographs in computer science." ;
   schema:name "Monographs in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/837078489#Topic/ingenierie_des_systemes> # Ingénierie des systèmes
    a schema:Intangible ;
   schema:name "Ingénierie des systèmes"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/837078489#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/837078489#Topic/softwarespezifikation> # Softwarespezifikation
    a schema:Intangible ;
   schema:name "Softwarespezifikation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/837078489#Topic/systems_engineering> # Systems engineering
    a schema:Intangible ;
   schema:name "Systems engineering"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Datenstrom
    a schema:Intangible ;
   schema:name "Datenstrom"@en ;
    .

<http://id.worldcat.org/fast/1141455> # Dialogsystem
    a schema:Intangible ;
   schema:name "Dialogsystem"@en ;
    .

<http://viaf.org/viaf/46145971388032330405> # Ketil Stølen
    a schema:Person ;
   schema:familyName "Stølen" ;
   schema:givenName "Ketil" ;
   schema:name "Ketil Stølen" ;
    .

<http://viaf.org/viaf/91721734> # M. Broy
    a schema:Person ;
   schema:birthDate "1949" ;
   schema:familyName "Broy" ;
   schema:givenName "M." ;
   schema:name "M. Broy" ;
    .

<http://worldcat.org/isbn/9780387950730>
    a schema:ProductModel ;
   schema:isbn "0387950737" ;
   schema:isbn "9780387950730" ;
    .

<http://www.worldcat.org/title/-/oclc/45024470>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/45024470> ; # Specification and development of interactive systems : focus on streams, interfaces, and refinement
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.