Proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif. u.a.
IEEE Computer Society Press.
1995
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010500344 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t| | ||
| 008 | 951129s1995 xx d||| |||| 10||| eng d | ||
| 020 | |a 081867119X |9 0-8186-7119-X | ||
| 035 | |a (OCoLC)33144621 | ||
| 035 | |a (DE-599)BVBBV010500344 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-83 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.3 | |
| 084 | |a SS 1800 |0 (DE-625)143376: |2 rvk | ||
| 084 | |a SS 1995 |0 (DE-625)143432: |2 rvk | ||
| 111 | 2 | |a International Computer Software & Applications Conference |n 19 |d 1995 |c Dallas, Tex. |j Verfasser |0 (DE-588)1400849-X |4 aut | |
| 245 | 1 | 0 | |a Proceedings |c the nineteenth annual International Computer Software & Applications Conference (COMPSAC '95); August 9 - 11, 1995 ; Dallas, Texas |
| 264 | 1 | |a Los Alamitos, Calif. u.a. |b IEEE Computer Society Press. |c 1995 | |
| 300 | |a XVIII, 431 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Logiciels - Congrès |2 ram | |
| 650 | 7 | |a Ordinateurs - Programmation - Congrès |2 ram | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Computer software |v Congresses | |
| 650 | 4 | |a Electronic data processing |v Congresses | |
| 650 | 0 | 7 | |a Maschinelles Sehen |0 (DE-588)4129594-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Bildverstehen |0 (DE-588)4202022-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mustererkennung |0 (DE-588)4040936-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Bildverstehen |0 (DE-588)4202022-0 |D s |
| 689 | 0 | 1 | |a Maschinelles Sehen |0 (DE-588)4129594-8 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Mustererkennung |0 (DE-588)4040936-3 |D s |
| 689 | 1 | 1 | |a Maschinelles Sehen |0 (DE-588)4129594-8 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 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=006997270&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006997270 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 300f 2001 B 1166 |
|---|---|
| DE-BY-TUM_katkey | 665723 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010322075 |
| _version_ | 1820874647393009664 |
| adam_text | Table
of
Contents
СОМРЅАСвб
Foreword
....................................................................................................................................xiii
Preface
........................................................................................................................................xiv
Program Overview
....................................................................................................................xv
Committees
................................................................................................................................xvi
Reviewers
................................................................................................................................xviii
Keynote Address I
Information Technology: The Future is Here Today
Steve Mills, IBM Software Solutions, USA
| Session
1;
Advances in Formal Methods I
Chair: Mark E. Davis, IBM Corporation, USA
Temporal Event Analysis and Program Understanding
.............................................................4
W.E. Howden and G.M. Shi
FunZ Designs
—
A Bridge Between
Z
Specifications
and Haskell Implementations
...................................................................................................12
L.B. Sherrell and D.L. Carver
Automatic Generation of
C++
Code from an ESCRO2 Specification
........................................18
P.C.
Grabów
and L. Liu
Session
2:
Knowledge-Based Systems
Chair: A. Hawkes, CMT, Inc., USA
A Multi-Dimensional Data Visualization Tool for
Knowledge Discovery in Databases
...........................................................................................26
H.-Y. Lee, H.-L. Ong, E.-W. Toh, and S.-K. Chan
A Knowledge-Based Approach for Worst-Case
Timing Analysis of Microprocessor Systems
............................................................................32
S.M. Yuen and
K.P.
Lam
Knowledge Reuse through the Application of the
Object Knowledge Canonical Form
...........................................................................................40
K. Huarng and D.B. Simmons
Session
3:
Panel: Software Industry Growth: Funding Based on Software Valuation
Software Industry Growth: Funding Based on Software Valuation
.........................................48
Chair: Hugh Ching, Post-Scientific Institute, Berkeley, USA
Panelists: Damon Matteo, Lawrence Livermore National Laboratory, USA
Ray Paul, Department of Defense, USA
Nicholas Petreley, Info World, USA
Chitoor V. Ramamoorthy, University of California at Berkeley, USA
Stephen S. Yau, Arizona State University, USA
Raymond Yeh, International Software Systems, Inc., USA
I
Session 4:
Advances in Formal Methods
Π
Chair: John D. Provence, Texas Instruments, Inc., USA
A Method for Analyzing Properties of Hierarchical Predicate Transition Nets
.......................50
X.He
Mechanical Synthesis of a Unification Algorithm in PowerEpsilon
.........................................56
M.-Y.ZhuandX.-B.Mo
Expressing JSD in
Ζ
.....................................................................................................................62
J.
Lee,
W.
T.
Huang,
C-K.
Chang, and
J.
-I. Pan
Session
5:
Modeling Techniques
Chair: Rene
Klösch,
Vienna University of Technology, Austria
Design and Implementation of Multiple Type Objects
in a Persistent Programming Language
...................................................................................70
M. Aritsugi and A. Makinouchi
An Expanded View of Domain Modeling for Software Analogy
................................................77
C.-H. Lung and J.E. Urban
Dynamic Hierarchy for Multiagent Air Combat
.........................................................................83
B. Stilman
Session
6;
Panel: Software Technology
iá
the 21st Century; A Technology Forecast
Software Technology in the 21st Centurey: A Technology Forecast
.........................................90
Chair: Joseph P.
Cavano, Rome
Laboratory, U.S. Air Force
(Position Paper) Improving Software Process to Implement
a Wireless Mobile Network
........................................................................................................91
Panelist: Kimberly A. Gibson, Motorola, Inc., USA
(Position Paper) Parallel Software Engineering
—
Goals
2000................................................93
Panelist: Carl Murphy, Accord Solutions, Inc., USA
Panelist: Jim Browne, University of Texas, Austin, USA
Panelist: Jeffrey Mohr, Information Technology Solutions, USA
Session
7;
Software Support Leverage for Formal Methods
Chair: Ming-Yuan Zhu, Beijing Institute of Systems Engineering, China
Requirement Specification in Pseudo-Natural Language in
PROMIS
.....................................96
ir.
Lu,
Z.
Jin, and R. Wan
Checking Program Proofs Made Easy
.......................................................................................102
M.
Schollmeyer
and B. McMillin
An Approach to Animating
Z
Specifications
.............................................................................108
X. Jia
vi
Static
Semantics and Priority Schemes for
Statecharts..........................................................114
H.S. Hong, J.H. Kim,
S.D.
Cha,
and Y.R. Kwon
Session
8:
Database Applications
Chair: Susan D. Urban, Arizona State University, USA
A Study on Developing a Distributed Problem-Solving System
..............................................122
E.G. Kim
Using Constraints for Distributed Query Processing
..............................................................128
J. Yoon
Management of Flexible Transactions Using
Semantics in Multidatabase Systems
.....................................................................................134
S.M. Chung,
P.S.
Mah,
and J.L. Kim
Session
9:
Performance Evaluation and Optimization
Chair: Tohru Kikuno, Osaka University, Japan
Performance Evaluation of Dynamic Signature File Methods
................................................144
J.S. Yoo, M.H. Kim, Y.J. Lee, and B.M.
Im
Applying Dynamic Buffer Allocation to Predictive Load Control
...........................................150
S. Lee and S. Lee
Lagrangian Techniques for Solving a Class of
Zero-One Integer Linear Programs
.........................................................................................156
Y.J. Chang and
B.W.
Wah
A Simple Tree Pattern Matching Algorithm for Code Generator
...........................................162
T.-S. Chen, F. Lai, and R.-J. Shang
Thursday Plenary Session; Keynote Address
Д
Department of Defense Information Technology Initiatives
...................................................170
Margaret E. Myers, Department of Defense, USA
Session
10:
Software Development Tools
Chair: S. Venkatasan, University of Texas at Dallas, USA
The Object-Inferencing Framework: A Prolog-Based
Approach for Extracting Structure from Computer Graphics
...............................................172
D.J. Russomanno
User Interface Design: The WHO, the WHAT, and the HOW Revisited
................................178
C. Story
LISTEN: A Tool to Investigate the Use of Sound
for the Analysis of Program Behavior
.....................................................................................184
D.B. Boardman,
G.
Greene,
V. Khandelwal, and A.P. Mathur
vii
|
| any_adam_object | 1 |
| author_corporate | International Computer Software & Applications Conference Dallas, Tex |
| author_corporate_role | aut |
| author_facet | International Computer Software & Applications Conference Dallas, Tex |
| author_sort | International Computer Software & Applications Conference Dallas, Tex |
| building | Verbundindex |
| bvnumber | BV010500344 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1800 SS 1995 |
| ctrlnum | (OCoLC)33144621 (DE-599)BVBBV010500344 |
| dewey-full | 005.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.3 |
| dewey-search | 005.3 |
| dewey-sort | 15.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02543nam a2200577 c 4500</leader><controlfield tag="001">BV010500344</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">951129s1995 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">081867119X</subfield><subfield code="9">0-8186-7119-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33144621</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010500344</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-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1800</subfield><subfield code="0">(DE-625)143376:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1995</subfield><subfield code="0">(DE-625)143432:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Computer Software & Applications Conference</subfield><subfield code="n">19</subfield><subfield code="d">1995</subfield><subfield code="c">Dallas, Tex.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1400849-X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="c">the nineteenth annual International Computer Software & Applications Conference (COMPSAC '95); August 9 - 11, 1995 ; Dallas, Texas</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. u.a.</subfield><subfield code="b">IEEE Computer Society Press.</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 431 S.</subfield><subfield code="b">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">Logiciels - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Maschinelles Sehen</subfield><subfield code="0">(DE-588)4129594-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bildverstehen</subfield><subfield code="0">(DE-588)4202022-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mustererkennung</subfield><subfield code="0">(DE-588)4040936-3</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Bildverstehen</subfield><subfield code="0">(DE-588)4202022-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Maschinelles Sehen</subfield><subfield code="0">(DE-588)4129594-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mustererkennung</subfield><subfield code="0">(DE-588)4040936-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Maschinelles Sehen</subfield><subfield code="0">(DE-588)4129594-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</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=006997270&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006997270</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV010500344 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T14:00:36Z |
| institution | BVB |
| institution_GND | (DE-588)1400849-X |
| isbn | 081867119X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006997270 |
| oclc_num | 33144621 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-83 |
| physical | XVIII, 431 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | IEEE Computer Society Press. |
| record_format | marc |
| spellingShingle | Proceedings Logiciels - Congrès ram Ordinateurs - Programmation - Congrès ram Datenverarbeitung Computer programming Congresses Computer software Congresses Electronic data processing Congresses Maschinelles Sehen (DE-588)4129594-8 gnd Software (DE-588)4055382-6 gnd Bildverstehen (DE-588)4202022-0 gnd Mustererkennung (DE-588)4040936-3 gnd |
| subject_GND | (DE-588)4129594-8 (DE-588)4055382-6 (DE-588)4202022-0 (DE-588)4040936-3 (DE-588)1071861417 |
| title | Proceedings |
| title_auth | Proceedings |
| title_exact_search | Proceedings |
| title_full | Proceedings the nineteenth annual International Computer Software & Applications Conference (COMPSAC '95); August 9 - 11, 1995 ; Dallas, Texas |
| title_fullStr | Proceedings the nineteenth annual International Computer Software & Applications Conference (COMPSAC '95); August 9 - 11, 1995 ; Dallas, Texas |
| title_full_unstemmed | Proceedings the nineteenth annual International Computer Software & Applications Conference (COMPSAC '95); August 9 - 11, 1995 ; Dallas, Texas |
| title_short | Proceedings |
| title_sort | proceedings |
| topic | Logiciels - Congrès ram Ordinateurs - Programmation - Congrès ram Datenverarbeitung Computer programming Congresses Computer software Congresses Electronic data processing Congresses Maschinelles Sehen (DE-588)4129594-8 gnd Software (DE-588)4055382-6 gnd Bildverstehen (DE-588)4202022-0 gnd Mustererkennung (DE-588)4040936-3 gnd |
| topic_facet | Logiciels - Congrès Ordinateurs - Programmation - Congrès Datenverarbeitung Computer programming Congresses Computer software Congresses Electronic data processing Congresses Maschinelles Sehen Software Bildverstehen Mustererkennung Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006997270&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT internationalcomputersoftwareapplicationsconferencedallastex proceedings |