Advances in formal design methods for CAD: proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
London u.a.
Chapman & Hall
1996
|
| Edition: | 1. ed. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | VI, 298 S. Ill., graph. Darst. |
| ISBN: | 0412727102 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011105472 | ||
| 003 | DE-604 | ||
| 005 | 20240808 | ||
| 007 | t| | ||
| 008 | 961210s1996 xx ad|| |||| 10||| eng d | ||
| 020 | |a 0412727102 |9 0-412-72710-2 | ||
| 035 | |a (OCoLC)34558550 | ||
| 035 | |a (DE-599)BVBBV011105472 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-91G | ||
| 050 | 0 | |a TA174 | |
| 082 | 0 | |a 620.00420285 |2 20 | |
| 084 | |a ZG 9146 |0 (DE-625)159825: |2 rvk | ||
| 084 | |a DAT 810f |2 stub | ||
| 245 | 1 | 0 | |a Advances in formal design methods for CAD |b proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 |c ed. by John S. Gero ... |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a London u.a. |b Chapman & Hall |c 1996 | |
| 300 | |a VI, 298 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a CAD |2 gtt | |
| 650 | 4 | |a Computer-aided design |v Congresses | |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a CAD |0 (DE-588)4069794-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Mexiko Stadt |2 gnd-content | |
| 689 | 0 | 0 | |a CAD |0 (DE-588)4069794-0 |D s |
| 689 | 0 | 1 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gero, John S. |d 1943- |e Sonstige |0 (DE-588)172095689 |4 oth | |
| 711 | 2 | |a Workshop on Formal Design Methods for Computer Aided Design |d 1995 |c México |j Sonstige |0 (DE-588)5177443-4 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007440587&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007440587 | |
Record in the Search Index
| _version_ | 1820868278062415872 |
|---|---|
| adam_text |
CONTENTS
Preface vii
Author electronic addresses
ix
International program committee
ix
List of participants
x
Part One Evolutionary Methods in Design
1
1
Formalising design exploration as co-evolution:
a combined gene approach
3
Mary Lou
Mäher, Josiah
Poon
and
Sylvie
Boulanger
2
Evolving building blocks for design using genetic engineering:
a formal approach
31
John
Gero
and Vladimir
A. Kazakov
3
DISCUSSION: Evolutionary methods in design
51
Mihály
Lenhart
and Mary Lou Maher
Part Two Generative and Search Methods in Design
57
4
Modified shape annealing for optimally-directed generation:
initial results
59
Ken
N.
Brown and Jon
Cagan
5
Incorporating heuristics and a meta-architecture in a
genetic algorithm for harness design
75
Carlos Zozaya-Gorostiza and Luis F. Estrada
6
DISCUSSION: Generative and search methods in design
97
Ken
N.
Brown
Part Three Performance Evaluation Methods in Design
105
7
A performance-based paradigm of design
107
Yehuda. E. Kalay and
Gianfranco
Carrara
8
A formal method for assessing product performance
at the conceptual stage of the design process
137
Paul Rodgers, Alistair Patterson and Derek Wilson
vi
Contents
9
On a symbolic CAD-front-end for design evaluation based
on the Pi-theorem
165
Stephan
Rudolph
10
DISCUSSION: Performance evaluation methods in design
181
Hans Grabowski
Part Four Formal Support Methods in Design
187
11
Formal concept analysis in design
189
Mihály
Linhart
12
Supporting the design process by an integrated knowledge
based design system
209
Hans Grabowski, Ralph-Stefan Lossack and Clemens
Weis
13
DISCUSSION: Formal support methods in design
231
Stephan
Rudolph
Part Five Design Process Methods
241
14
A logical theory of design
243
Frances Brazier,
Pieter
van
Langen
and
Jan Treur
15
Representing the collaborative design process: a
product model-oriented approach
267
Bangyu Lei, Toshiharu
Тайга
and
Jun Numata
16
DISCUSSION: Design process methods
287
Leo Joskowicz
Closing Discussion
291
Advances in formal design methods for computer-aided design
293
John
Gero
Author Index
299 |
| any_adam_object | 1 |
| author_GND | (DE-588)172095689 |
| building | Verbundindex |
| bvnumber | BV011105472 |
| callnumber-first | T - Technology |
| callnumber-label | TA174 |
| callnumber-raw | TA174 |
| callnumber-search | TA174 |
| callnumber-sort | TA 3174 |
| callnumber-subject | TA - General and Civil Engineering |
| classification_rvk | ZG 9146 |
| classification_tum | DAT 810f |
| ctrlnum | (OCoLC)34558550 (DE-599)BVBBV011105472 |
| dewey-full | 620.00420285 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620.00420285 |
| dewey-search | 620.00420285 |
| dewey-sort | 3620.00420285 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Informatik |
| edition | 1. ed. |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV011105472</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240808</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">961210s1996 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0412727102</subfield><subfield code="9">0-412-72710-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34558550</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011105472</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TA174</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620.00420285</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZG 9146</subfield><subfield code="0">(DE-625)159825:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 810f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in formal design methods for CAD</subfield><subfield code="b">proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995</subfield><subfield code="c">ed. by John S. Gero ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London u.a.</subfield><subfield code="b">Chapman & Hall</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 298 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">CAD</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-aided design</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CAD</subfield><subfield code="0">(DE-588)4069794-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Mexiko Stadt</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">CAD</subfield><subfield code="0">(DE-588)4069794-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gero, John S.</subfield><subfield code="d">1943-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)172095689</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Workshop on Formal Design Methods for Computer Aided Design</subfield><subfield code="d">1995</subfield><subfield code="c">México</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5177443-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007440587&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007440587</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Mexiko Stadt gnd-content |
| genre_facet | Konferenzschrift 1995 Mexiko Stadt |
| id | DE-604.BV011105472 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:21:49Z |
| institution | BVB |
| institution_GND | (DE-588)5177443-4 |
| isbn | 0412727102 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007440587 |
| oclc_num | 34558550 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM |
| owner_facet | DE-384 DE-91G DE-BY-TUM |
| physical | VI, 298 S. Ill., graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Chapman & Hall |
| record_format | marc |
| spelling | Advances in formal design methods for CAD proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 ed. by John S. Gero ... 1. ed. London u.a. Chapman & Hall 1996 VI, 298 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier CAD gtt Computer-aided design Congresses Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf CAD (DE-588)4069794-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Mexiko Stadt gnd-content CAD (DE-588)4069794-0 s Formale Spezifikationstechnik (DE-588)4299725-2 s DE-604 Gero, John S. 1943- Sonstige (DE-588)172095689 oth Workshop on Formal Design Methods for Computer Aided Design 1995 México Sonstige (DE-588)5177443-4 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007440587&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Advances in formal design methods for CAD proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 CAD gtt Computer-aided design Congresses Formale Spezifikationstechnik (DE-588)4299725-2 gnd CAD (DE-588)4069794-0 gnd |
| subject_GND | (DE-588)4299725-2 (DE-588)4069794-0 (DE-588)1071861417 |
| title | Advances in formal design methods for CAD proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 |
| title_auth | Advances in formal design methods for CAD proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 |
| title_exact_search | Advances in formal design methods for CAD proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 |
| title_full | Advances in formal design methods for CAD proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 ed. by John S. Gero ... |
| title_fullStr | Advances in formal design methods for CAD proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 ed. by John S. Gero ... |
| title_full_unstemmed | Advances in formal design methods for CAD proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 ed. by John S. Gero ... |
| title_short | Advances in formal design methods for CAD |
| title_sort | advances in formal design methods for cad proceedings of the ifip wg 5 2 workshop on formal design methods for computer aided design june 1995 |
| title_sub | proceedings of the IFIP WG 5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995 |
| topic | CAD gtt Computer-aided design Congresses Formale Spezifikationstechnik (DE-588)4299725-2 gnd CAD (DE-588)4069794-0 gnd |
| topic_facet | CAD Computer-aided design Congresses Formale Spezifikationstechnik Konferenzschrift 1995 Mexiko Stadt |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007440587&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT gerojohns advancesinformaldesignmethodsforcadproceedingsoftheifipwg52workshoponformaldesignmethodsforcomputeraideddesignjune1995 AT workshoponformaldesignmethodsforcomputeraideddesignmexico advancesinformaldesignmethodsforcadproceedingsoftheifipwg52workshoponformaldesignmethodsforcomputeraideddesignjune1995 |