skip to content
View online Deriving Formal Specifications from Informal Requirements Preview this item
ClosePreview this item

Deriving Formal Specifications from Informal Requirements

Author: Ilic, Dubravka
Publisher: IEEE Computer Society 2007-07
Edition/Format:   Downloadable archival material

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

Find a copy online

Links to this item

Find a copy in the library

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


Material Type: Internet resource
Document Type: Internet Resource, Archival Material
All Authors / Contributors: Ilic, Dubravka
OCLC Number: 722940128


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


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

<> # Deriving Formal Specifications from Informal Requirements
    a schema:MediaObject, library:ArchiveMaterial, schema:CreativeWork ;
    library:oclcnum "722940128" ;
    schema:creator <> ; # Ilic, Dubravka
    schema:datePublished "2007/07" ;
    schema:exampleOfWork <> ;
    schema:name "Deriving Formal Specifications from Informal Requirements" ;
    schema:productID "722940128" ;
    schema:publication <> ;
    schema:publisher <> ; # IEEE Computer Society
    schema:url <> ;
    wdrs:describedby <> ;

Related Entities

<> # IEEE Computer Society
    a bgn:Agent ;
    schema:name "IEEE Computer Society" ;

<> # Ilic, Dubravka
    a bgn:Agent ;
    schema:name "Ilic, Dubravka" ;

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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