skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Formal design methods for CAD : proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194 Preview this item
ClosePreview this item
Checking...

Formal design methods for CAD : proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194

Author: John S Gero; Ė Kh Tyugu
Publisher: Amsterdam ; New York : Elsevier, 1994.
Series: IFIP transactions., B,, Applications in technology ;, B-18.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

Formal design methods provide the basis for the non-graphical use of computer-aided design. This volume discusses: formal representations in design; design grammars; formalized design processes; and  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD (1994 : Tallinn, Estonia).
Formal design methods for CAD.
Amsterdam ; New York : Elsevier, 1994
(DLC) 94041246
(OCoLC)31374292
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: John S Gero; Ė Kh Tyugu
OCLC Number: 604154626
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (viii, 362 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: Part 1 Formal representations in design: YMIR - a sharable ontology for the formal representation of engineering-design knowledge, L.K. Alberts; attribute models of design objects, E. Tyugu; formal representation of meaning architecture, O. Akin; discussion - what is a formal representation and what is it good for?, L.K. Alberts. Part 2 Shape grammars in design: a tutorial introduction to grammatical programming, C. Carlson; geometric design with boundary solid grammars, J. Heisserman and R. Woodbury; the use of post interpretation for grammar-based generative systems, S.-G. Shih and G. Schmitt; discussion - design space description formalisms, C. Carlson. Part 3 Design grammars: a formal language for the design of manufacturable object, K.N. Brown et al; a vocabulary for conceptual design, K. Andersson; a grammatical approach to network flow synthesis, J. Cagan and W.J. Mitchell; discussion - research issues in the application of design grammars, J. Cagan. Part 4 Formalised design processes: formal specification for design automation, M. Lenart et al; abduction for design, H. Takeda; adaptive design using a genetic algorithm, M.L. Maher and S. Kundu; a constraint-based approach to supporting human negotiation in concurrent engineering, J. Bowen and D. Bahler; discussion - research issues, O. Akin. Part 5 Exploration in design: on computing exploration and solving design problems, T. Smithers et al; towards a model of exploration in computer-aided design, J. Gero; discussion - research issues, T. Smithers. Part 6 Closing discussion: formal design methods for computer-aided design, J.S. Gero.
Series Title: IFIP transactions., B,, Applications in technology ;, B-18.
Responsibility: edited by John S. Gero, Enn Tyugu.

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


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/604154626<\/a>> # Formal design methods for CAD : proceedings of the IFIP TC5\/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:MediaObject<\/a>, schema:CreativeWork<\/a>, schema:Book<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"604154626<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/ne<\/a>> ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Place\/amsterdam<\/a>> ; # Amsterdam<\/span>\n\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/dbpedia.org\/resource\/New_York_City<\/a>> ; # New York<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Topic\/cad<\/a>> ; # CAD<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/id.worldcat.org\/fast\/872701<\/a>> ; # Computer-aided design<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/620.00420285\/e20\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Topic\/aplicacoes_de_computadores<\/a>> ; # Aplicacoes de computadores<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Topic\/computer_aided_design<\/a>> ; # Computer-aided design<\/span>\n\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> schema:EBook<\/a> ;\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/viaf.org\/viaf\/47393307<\/a>> ; # John S. Gero<\/span>\n\u00A0\u00A0\u00A0\nschema:contributor<\/a> <http:\/\/viaf.org\/viaf\/109632079<\/a>> ; # \u0116nn Kharal\u02B9dovich Tyugu<\/span>\n\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Meeting\/ifip_tc5_wg5_2_workshop_on_formal_design_methods_for_cad_1994_tallinn_estonia<\/a>> ; # IFIP TC5\/WG5.2 Workshop on Formal Design Methods for CAD (1994 : Tallinn, Estonia)<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"1994<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/33356507<\/a>> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference publication<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:genre<\/a> \"Conference papers and proceedings<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isPartOf<\/a> <http:\/\/worldcat.org\/issn\/0926-5481<\/a>> ; # IFIP transactions.<\/span>\n\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/31374292<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Formal design methods for CAD : proceedings of the IFIP TC5\/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"604154626<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/604154626#PublicationEvent\/amsterdam_new_york_elsevier_1994<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Agent\/elsevier<\/a>> ; # Elsevier<\/span>\n\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/books.google.com\/books?id=o5RRAAAAMAAJ<\/a>> ;\u00A0\u00A0\u00A0\nschema:url<\/a> <http:\/\/catalog.hathitrust.org\/api\/volumes\/oclc\/31374292.html<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/604154626<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dbpedia.org\/resource\/New_York_City<\/a>> # New York<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"New York<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/dewey.info\/class\/620.00420285\/e20\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Agent\/elsevier<\/a>> # Elsevier<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Elsevier<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Meeting\/ifip_tc5_wg5_2_workshop_on_formal_design_methods_for_cad_1994_tallinn_estonia<\/a>> # IFIP TC5\/WG5.2 Workshop on Formal Design Methods for CAD (1994 : Tallinn, Estonia)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Meeting<\/a>, schema:Event<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Place\/tallinn_estonia<\/a>> ; # Tallinn, Estonia)<\/span>\n\u00A0\u00A0\u00A0\nschema:name<\/a> \"IFIP TC5\/WG5.2 Workshop on Formal Design Methods for CAD (1994 : Tallinn, Estonia)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Place\/amsterdam<\/a>> # Amsterdam<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Amsterdam<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Place\/tallinn_estonia<\/a>> # Tallinn, Estonia)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Tallinn, Estonia)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Topic\/aplicacoes_de_computadores<\/a>> # Aplicacoes de computadores<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Aplicacoes de computadores<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Topic\/cad<\/a>> # CAD<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"CAD<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Topic\/computer_aided_design<\/a>> # Computer-aided design<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nrdfs:seeAlso<\/a> <http:\/\/id.loc.gov\/authorities\/subjects\/sh2008101464<\/a>> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer-aided design<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/ne<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"ne<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.worldcat.org\/fast\/872701<\/a>> # Computer-aided design<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Computer-aided design<\/span>\"@en<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/109632079<\/a>> # \u0116nn Kharal\u02B9dovich Tyugu<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:birthDate<\/a> \"1935<\/span>\" ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Tyugu<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"\u0116nn Kharal\u02B9dovich<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"\u0116. Kh<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"\u0116nn Kharal\u02B9dovich Tyugu<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/47393307<\/a>> # John S. Gero<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Gero<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"John S.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"John S. Gero<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/issn\/0926-5481<\/a>> # IFIP transactions.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:PublicationSeries<\/a> ;\u00A0\u00A0\u00A0\nschema:hasPart<\/a> <http:\/\/www.worldcat.org\/oclc\/604154626<\/a>> ; # Formal design methods for CAD : proceedings of the IFIP TC5\/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194<\/span>\n\u00A0\u00A0\u00A0\nschema:issn<\/a> \"0926-5481<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"IFIP transactions.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"IFIP transactions. B, Applications in technology,<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/oclc\/31374292<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a> ;\u00A0\u00A0\u00A0\nrdfs:label<\/a> \"Formal design methods for CAD.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Print version:<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isSimilarTo<\/a> <http:\/\/www.worldcat.org\/oclc\/604154626<\/a>> ; # Formal design methods for CAD : proceedings of the IFIP TC5\/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/604154626<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/604154626<\/a>> ; # Formal design methods for CAD : proceedings of the IFIP TC5\/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-02-09<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/604154626#PublicationEvent\/amsterdam_new_york_elsevier_1994<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/dbpedia.org\/resource\/New_York_City<\/a>> ; # New York<\/span>\n\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Place\/amsterdam<\/a>> ; # Amsterdam<\/span>\n\u00A0\u00A0\u00A0\nschema:organizer<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/33356507#Agent\/elsevier<\/a>> ; # Elsevier<\/span>\n\u00A0\u00A0\u00A0\nschema:startDate<\/a> \"1994<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n