Computer aided systems theory - CAST '94: 4th international workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1996
|
| Schriftenreihe: | Lecture notes in computer science
1105 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 437 S. Ill., graph. Darst. |
| ISBN: | 3540614788 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010821775 | ||
| 003 | DE-604 | ||
| 005 | 19980626 | ||
| 007 | t| | ||
| 008 | 960617s1996 gw ad|| |||| 10||| eng d | ||
| 016 | 7 | |a 947789383 |2 DE-101 | |
| 020 | |a 3540614788 |9 3-540-61478-8 | ||
| 035 | |a (OCoLC)845184847 | ||
| 035 | |a (DE-599)BVBBV010821775 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-19 |a DE-20 |a DE-12 |a DE-83 |a DE-706 | ||
| 050 | 0 | |a TA345.C642414 1996 | |
| 082 | 0 | |a 003/.3 20 | |
| 082 | 0 | |a 003.3 | |
| 084 | |a MSR 580f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 111 | 2 | |a CAST |n 4 |d 1994 |c Ottawa |j Verfasser |0 (DE-588)2156721-9 |4 aut | |
| 245 | 1 | 0 | |a Computer aided systems theory - CAST '94 |b 4th international workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers |c Tuncer I. Ören ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1996 | |
| 300 | |a IX, 437 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1105 | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Computer-aided engineering -- Congresses | |
| 650 | 4 | |a Computer-aided design -- Congresses | |
| 650 | 4 | |a Systems engineering -- Data processing -- Congresses | |
| 650 | 0 | 7 | |a CAST |0 (DE-588)4234274-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Ottawa |2 gnd-content | |
| 689 | 0 | 0 | |a CAST |0 (DE-588)4234274-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ören, Tuncer I. |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1105 |w (DE-604)BV000000607 |9 1105 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007232260&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007232260 | |
Datensatz im Suchindex
| _version_ | 1820874850777956352 |
|---|---|
| adam_text |
TUNCER I. OREN GEORGE J. KLIR (EDS.) COMPUTER AIDED SYSTEMS THEORY -
CAST '94 4TH INTERNATIONAL WORKSHOP OTTAWA, ONTARIO, CANADA, MAY 16-20,
1994 SELECTED PAPERS SPRINGER CONTENTS 1 FOUNDATIONS OF CAST: THEORY AND
METHODOLOGY SYSTEMS SCIENCE AND SYSTEMS TECHNOLOGY: FROM CONCEPTUAL
FRAMEWORK TO APPLICABLE SOLUTIONS 3 F. PICHLER, H. SCHWMZEL, R.
MORENO-DIAZ SOFT COMPUTER-AIDED SYSTEM THEORY AND TECHNOLOGY (SCAST) 13
G.J. KLIR FUNDAMENTAL SYSTEMS CONCEPTS: "THE RIGHT STUFF FOR 21ST
CENTURY TECHNOLOGY 28 B.P. ZEIGLER SYNERGY: THE DESIGN OF A SYSTEMS
ENGINEERING SYSTEM, I 34 A.W. WYMORE THE CONFIGURATION OF COMPLEX
SYSTEMS 46 G.HILL ON THE EXPRESSIBILITY OF DISCRETE EVENT SPECIFIED
SYSTEMS 65 H. PRAEHOFER, B.P. ZEIGLER AN OBJECT-ORIENTED ARCHITECTURE
FOR POSSIBILISTIC MODELS 80 C. JOSLYN FUZZY EXPERT SYSTEM TECHNOLOGY 95
IB. TURKMEN DECIDING BOUNDEDNESS FOR SYSTEMS OF TWO LINEAR COMMUNICATING
FINITE STATE MACHINES 108 A. BENSLIMANE A FRAMEWORK FOR KNOWLEDGE
INTENSIVE ENGINEERING 123 T. TOMIYAMA, Y. UMEDA, T. KIRIYAMA VIII 2 CAST
METHODS MULTIPARADIGM (KNOWLEDGE-BASED AND NUMERICAL) CONTINUOUS
SIMULATION ENVIRONMENTS: ARCHITECTURAL ISSUES 151 T.I. OREN, N.
GHASEM-AGHAEE A DEVELOPMENT METHODOLOGY FOR SYSTEMS ENGINEERING OF
COMPUTER-BASED SYSTEMS AND ITS ENVIRONMENTAL SUPPORT 161 M. VOSS, G.
SCHWEIZER AN APPROACH TO THE DESIGN OF COMPLEX, HETEROGENEOUS
HARDWARE/SOFTWARE SYSTEMS 176 C. SCHAFFER A STRATEGY FOR REALIZING
TRACEABILITY IN AN OBJECT-ORIENTED DESIGN ENVIRONMENT 191 J.-P.
CORRIVEAU, C. HAYASHI TOWARDS A CAST METHOD FOR A SYSTEMATIC GENERATION
OF NON-ORTHOGONAL COMPLETE TRANSFORMATIONS 205 O. B. TOLEDO, J.C.Q.
LOSADA, R. MORENO-DIAZ, JR., S.C. SOLA TUNING FUZZY LOGIC CONTROLLERS BY
CLASSICAL TECHNIQUES 214 M. SANTOS, S. DORMIDO, A.P. DE MADRID, F.
MORILLA, J.M. DE LA CRUZ COMPUTER AIDED DESIGN OF PROTOCOL CONVERTERS
225 H. URAL, H. ZENG 3 CAST TOOLS AND ENVIRONMENTS MODELLING, ANALYSIS
AND EVALUATION OF SYSTEMS ARCHITECTURES 241 E. SCHMITTER SYSTEMATIC
STRATEGY FOR PERFORMANCE PREDICTION IN IMPROVEMENT OF PARALLEL PROGRAMS
252 R. BLASCO DESIGN AND IMPLEMENTATION OF MULTIMEDIA ENVIRONMENT FOR
SIMULATION 268 F. BUSTIO, P. CORCUERA, E. MORA IX TURBOBRAIN: A NEURAL
NETWORK WITH DIRECT LEARNING BASED ON LINEAR OR NON-LINEAR THRESHOLD
LOGICS 278 D.M. DUBOIS, G. RESCONI, A. RAYMONDI GENIAL: AN EVOLUTIONARY
RECURRENT NEURAL NETWORK DESIGNER AND TRAINER 295 R.J. DURO, J. SANTOS,
A. SARMIENTO DASE: AN ENVIRONMENT FOR SYSTEM LEVEL TELECOMMUNICATION
DESIGN EXPLORATION AND MODELLING 302 O. TANIR, V.K. AGARWAL, P.C.P.
BHATT VOMDRAW - A TOOL FOR VISUAL OBJECT MODELING 319 G. OBERLIK, S.
PREISHUBER, A.M. TJOA, R. WAGNER, K. WOLFMAYR A COMPUTER AIDED SYSTEM
FOR DEVELOPING GRAPHICAL TELEMATIC APPHCATIONS 334 F. ARCIERI, M. FOSSA,
E. NARDELLI A SIMPLE APPROACH TO IMPROVE THE ABSTRACTION LEVEL OF OBJECT
REPRESENTATION 349 C.F. SALVIANO, M.A. NASCIMENTO, M.M. TANIK ON THE
INTEGRATION OF CAST.FSM INTO THE VLSI DESIGN PROCESS 363 T. MUELLER-
WIPPERFUERTH USING LOGIC PROGRAMMING TO TEST MODULE SPECIFICATIONS IN
EARLY STAGES OF SOFTWARE DEVELOPMENT 373 M.A. NASCIMENTO, C.F. SALVIANO,
M.M. TANIK SYSTEMS THEORY AND SYSTEMS IMPLEMENTATION: CASEOFDSS 388 Y.
TAKAHARA, N. SHIBA CASCADE: A COMPUTER-AIDED TOOL FOR LOW-ENERGY
HIGH-PERFORMANCE MULTI-DSP VLSI SYSTEM DESIGN 409 G.K. YEN, J.B. BURR,
K.K. BAGCHI, A.M. PETERSON ILLUSTRATING CONSTRAINT PROGRAMMING SYSTEMS
IN LOGISTIC PLANNING 423 J.-M. THIZY AUTHOR INDEX 439 |
| any_adam_object | 1 |
| author_corporate | CAST Ottawa |
| author_corporate_role | aut |
| author_facet | CAST Ottawa |
| author_sort | CAST Ottawa |
| building | Verbundindex |
| bvnumber | BV010821775 |
| callnumber-first | T - Technology |
| callnumber-label | TA345 |
| callnumber-raw | TA345.C642414 1996 |
| callnumber-search | TA345.C642414 1996 |
| callnumber-sort | TA 3345 C642414 41996 |
| callnumber-subject | TA - General and Civil Engineering |
| classification_rvk | SS 1994 SS 4800 |
| classification_tum | MSR 580f |
| ctrlnum | (OCoLC)845184847 (DE-599)BVBBV010821775 |
| dewey-full | 003/.320 003.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003/.3 20 003.3 |
| dewey-search | 003/.3 20 003.3 |
| dewey-sort | 13 13 220 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010821775</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980626</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960617s1996 gw ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">947789383</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540614788</subfield><subfield code="9">3-540-61478-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845184847</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010821775</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TA345.C642414 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003/.3 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MSR 580f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">CAST</subfield><subfield code="n">4</subfield><subfield code="d">1994</subfield><subfield code="c">Ottawa</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2156721-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer aided systems theory - CAST '94</subfield><subfield code="b">4th international workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers</subfield><subfield code="c">Tuncer I. Ören ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 437 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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1105</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-aided engineering -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-aided design -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering -- Data processing -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CAST</subfield><subfield code="0">(DE-588)4234274-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">1994</subfield><subfield code="z">Ottawa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">CAST</subfield><subfield code="0">(DE-588)4234274-0</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">Ören, Tuncer I.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1105</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1105</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</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=007232260&sequence=000001&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-007232260</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Ottawa gnd-content |
| genre_facet | Konferenzschrift 1994 Ottawa |
| id | DE-604.BV010821775 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:17Z |
| institution | BVB |
| institution_GND | (DE-588)2156721-9 |
| isbn | 3540614788 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007232260 |
| oclc_num | 845184847 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-12 DE-83 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-12 DE-83 DE-706 |
| physical | IX, 437 S. Ill., graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | CAST 4 1994 Ottawa Verfasser (DE-588)2156721-9 aut Computer aided systems theory - CAST '94 4th international workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers Tuncer I. Ören ... (eds.) Berlin [u.a.] Springer 1996 IX, 437 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1105 Datenverarbeitung Computer-aided engineering -- Congresses Computer-aided design -- Congresses Systems engineering -- Data processing -- Congresses CAST (DE-588)4234274-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Ottawa gnd-content CAST (DE-588)4234274-0 s DE-604 Ören, Tuncer I. Sonstige oth Lecture notes in computer science 1105 (DE-604)BV000000607 1105 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007232260&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer aided systems theory - CAST '94 4th international workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers Lecture notes in computer science Datenverarbeitung Computer-aided engineering -- Congresses Computer-aided design -- Congresses Systems engineering -- Data processing -- Congresses CAST (DE-588)4234274-0 gnd |
| subject_GND | (DE-588)4234274-0 (DE-588)1071861417 |
| title | Computer aided systems theory - CAST '94 4th international workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers |
| title_auth | Computer aided systems theory - CAST '94 4th international workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers |
| title_exact_search | Computer aided systems theory - CAST '94 4th international workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers |
| title_full | Computer aided systems theory - CAST '94 4th international workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers Tuncer I. Ören ... (eds.) |
| title_fullStr | Computer aided systems theory - CAST '94 4th international workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers Tuncer I. Ören ... (eds.) |
| title_full_unstemmed | Computer aided systems theory - CAST '94 4th international workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers Tuncer I. Ören ... (eds.) |
| title_short | Computer aided systems theory - CAST '94 |
| title_sort | computer aided systems theory cast 94 4th international workshop ottawa ontario canada may 16 20 1994 selected papers |
| title_sub | 4th international workshop, Ottawa, Ontario, Canada, May 16 - 20, 1994 ; selected papers |
| topic | Datenverarbeitung Computer-aided engineering -- Congresses Computer-aided design -- Congresses Systems engineering -- Data processing -- Congresses CAST (DE-588)4234274-0 gnd |
| topic_facet | Datenverarbeitung Computer-aided engineering -- Congresses Computer-aided design -- Congresses Systems engineering -- Data processing -- Congresses CAST Konferenzschrift 1994 Ottawa |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007232260&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT castottawa computeraidedsystemstheorycast944thinternationalworkshopottawaontariocanadamay16201994selectedpapers AT orentunceri computeraidedsystemstheorycast944thinternationalworkshopottawaontariocanadamay16201994selectedpapers |