Proceedings: 12th International Conference Software Engineering, March 26 - 30, 1990, Nice, France
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif. [u.a.]
IEEE Computer Soc. Press
1990
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XVII, 337 S. graph. Darst. |
| ISBN: | 0818620269 0818660260 0897913493 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006584572 | ||
| 003 | DE-604 | ||
| 005 | 20150114 | ||
| 007 | t| | ||
| 008 | 930210s1990 xx d||| |||| 10||| eng d | ||
| 020 | |a 0818620269 |9 0-8186-2026-9 | ||
| 020 | |a 0818660260 |9 0-8186-6026-0 | ||
| 020 | |a 0897913493 |9 0-89791-349-3 | ||
| 035 | |a (OCoLC)311291970 | ||
| 035 | |a (DE-599)BVBBV006584572 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-83 |a DE-188 | ||
| 084 | |a SD 1990 |0 (DE-625)142724: |2 rvk | ||
| 111 | 2 | |a International Conference on Software Engineering |n 12 |d 1990 |c Nizza |j Verfasser |0 (DE-588)5046105-9 |4 aut | |
| 245 | 1 | 0 | |a Proceedings |b 12th International Conference Software Engineering, March 26 - 30, 1990, Nice, France |
| 264 | 1 | |a Los Alamitos, Calif. [u.a.] |b IEEE Computer Soc. Press |c 1990 | |
| 300 | |a XVII, 337 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Mikroelektronik |0 (DE-588)4039207-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Bildverstehen |0 (DE-588)4202022-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Testen |0 (DE-588)4367264-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Elektronik |0 (DE-588)4014346-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computerunterstütztes Verfahren |0 (DE-588)4139030-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computersimulation |0 (DE-588)4148259-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mustererkennung |0 (DE-588)4040936-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entwurf |0 (DE-588)4121208-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Maschinelles Sehen |0 (DE-588)4129594-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a VLSI |0 (DE-588)4117388-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitungssystem |0 (DE-588)4125229-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Integrierte Schaltung |0 (DE-588)4027242-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Telekommunikation |0 (DE-588)4059360-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Medizin |0 (DE-588)4038243-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prüftechnik |0 (DE-588)4047610-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Integrierte Schaltung |0 (DE-588)4027242-4 |D s |
| 689 | 0 | 1 | |a Prüftechnik |0 (DE-588)4047610-8 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Datenverarbeitungssystem |0 (DE-588)4125229-9 |D s |
| 689 | 1 | 1 | |a Computersimulation |0 (DE-588)4148259-1 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Telekommunikation |0 (DE-588)4059360-5 |D s |
| 689 | 2 | 1 | |a Computersimulation |0 (DE-588)4148259-1 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Mikroelektronik |0 (DE-588)4039207-7 |D s |
| 689 | 3 | 1 | |a Prüftechnik |0 (DE-588)4047610-8 |D s |
| 689 | 3 | |8 4\p |5 DE-604 | |
| 689 | 4 | 0 | |a Elektronik |0 (DE-588)4014346-6 |D s |
| 689 | 4 | 1 | |a Testen |0 (DE-588)4367264-4 |D s |
| 689 | 4 | |8 5\p |5 DE-604 | |
| 689 | 5 | 0 | |a VLSI |0 (DE-588)4117388-0 |D s |
| 689 | 5 | 1 | |a Entwurf |0 (DE-588)4121208-3 |D s |
| 689 | 5 | |8 6\p |5 DE-604 | |
| 689 | 6 | 0 | |a Computerunterstütztes Verfahren |0 (DE-588)4139030-1 |D s |
| 689 | 6 | 1 | |a Medizin |0 (DE-588)4038243-6 |D s |
| 689 | 6 | |8 7\p |5 DE-604 | |
| 689 | 7 | 0 | |a Integrierte Schaltung |0 (DE-588)4027242-4 |D s |
| 689 | 7 | 1 | |a Testen |0 (DE-588)4367264-4 |D s |
| 689 | 7 | |8 8\p |5 DE-604 | |
| 689 | 8 | 0 | |a Bildverstehen |0 (DE-588)4202022-0 |D s |
| 689 | 8 | 1 | |a Maschinelles Sehen |0 (DE-588)4129594-8 |D s |
| 689 | 8 | |8 9\p |5 DE-604 | |
| 689 | 9 | 0 | |a Mustererkennung |0 (DE-588)4040936-3 |D s |
| 689 | 9 | 1 | |a Maschinelles Sehen |0 (DE-588)4129594-8 |D s |
| 689 | 9 | |8 10\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=004202716&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 | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 6\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 7\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 8\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 9\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 10\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-004202716 | |
Datensatz im Suchindex
| _version_ | 1820868159027019776 |
|---|---|
| adam_text |
Table
of Contents
Foreword
.
.v
General Conference Committee
.
.vii
Program Committee
.ix
Plenary Sessions
.xi
Session
1:
Process Models
1
(Chair: D. Perry, AT&T Bell Laboratories)
TRWs Ada Process Model for Incremental Development of Large Software Systems
.2
W.
Royce
Software Process
à
la Algebra: OBJ for OBJ
.12
A.T. Nakagawa andK. Futatsugi
Session
2:
Formal Verification
(Chair: J.-P. Finance,
CRIN)
Evaluation Criteria for Functional Specifications
.26
S. Cardenas and M. V. Zelkowitz
An Experiment in Formal Software Development: Using the
В
Theorem
Prover
on a VDM Case Study
.34
C.
Lafontaine,
Y. Ledru, andP.-Y.
Schobbens
Spedai
Session 1 :
Recent Advances in Metrics
(Chair: M. Lehman, Imperial College
-
London)
Recent Advances in Software Measurement (Abstract and References for
Так)
.44
Speaker:
V.R.
Basili
Session
3:
Real-Time end Reactive Systems
(Chair: A van Tilborg, U.S. Office of Naval Research)
Multi-Level Specification and Verification of
Real-Time
Software
.52
A. Gabrielian and M.K. Franklin
Object-Oriented Specification of Reactive Systems
.63
H.-M.
Jârvinen,
R.
Kurki-Suonk),
M.
Sakkinen, andK.
Systă
Session* Environments
(Chair. H. Weber,
Universität
Dortmund)
Specification Level Interoperability
.74
J.C.
mieden,
A.L. Wolf, W.R. Rosenblatt, and P.L. Tan
Design Decisions for the Incremental Adage Framework
.86
J.-L. Giavitto, G. Rosuel, A. Devarenne, and A. Mauboussin
Xlii
Session 5: MeMcs
and Reliability
(Chain
E. Girard,
TÍTN)
Practice of Quality Modeling and Measurement on Software Life-Cycle
.98
M. Hirayama, H. Sato, andJ. Tsuda
Application of Software Reliability Modeling to Product
Quality and Test Process
.108
W.K.
Ehrlich, J.P.
Stampfel, andJ.R.
Wu
Panel
1:
Software Re-Engineering
(Organizer: G.M.E. Lafue, Andersen Consulting)
Panel on Software Re-engineering
.118
G.M.E. Lafue
The "Catch
22"
of Re-engineering
.119
W. Kozaczynski
Human-Oriented Conceptual Abstractions in the Re-engineering of Software
.120
T. Biggerstaff
Software Re-engineering Position Statement
.121
E. Bush
CASE
&
Reengineering:
From Archeology to Software
Perestroika.122
EJ. Chikofsky
Reengineering:
Can a Program Put Intelligence in Stupid Programs?
.123
M. Maiocchi
Session
6:
Experience Reports I
(Chair D. Berry. UCLA)
Experience Report: Use of Video for Program Documentation
.126
T.
DeMarco
and C. Geertgens
Using Object-Oriented Development for Support Prototyping
.129
L.
Zucconi,
G.
Mack, and
LG.
Williams
Getting Started on Metrics-JPL Productivity and Quality
.133
M. Bush
Session
7:
Tools for Formal Verification
(Chain D. Coleman, Hewlett Packard)
Logical Animation
.144
M.C. Costa,
RJ.
Cunningham, andJ. Booth
System Support for Modular Order-Sorted Horn Clause Specifications
.150
H.
Ganzinger
and R.
Schäfers
Spedai
Session
2:
Recent Advances in Object-Management Systems
(Chain R. Morton, Institute for Defense Analyses)
Speaker:
E Bancilhon, GIP
Altair
Sessione:
Prototyping
(Chair:
С.
Ghezzi, Politechnico
di Milano)
An Environment for Specifying and Executing Hierarchical
Petri
Nets
.164
H. Oswald, R.
Esser,
and
R.
Mattmann
Mixing Abstract and Concrete Modules: Specification, Development and Prototyping
.173
C. Choppy and S. Kaplan
Session
9:
Experience Reports
2
(Chair. K. Reed, La Trobe University)
SACEM Software Validation
.186
6.
Guiho and
C. Hennebert
Experience Using the Graphite
Meta-Tool
.192
M.Dowson
Improving Software Quality: The Use of Formal Inspections at the JPL
.196
M. Bush
Session
10:
Design and Architecture
(Chain A.
von
Staa,
Pontifícia Universidade Catolica/RJ)
A Rule-Based Approach to Modular System Design
.202
F. Parisi-Preskxe
An Object-Oriented Software Application Architecture
.212
M. Ganti, P. Goyal, andS.
Podar
Panel
2:
Real-life Safety-Critical Software
(Organizer: J.-C. Laprie,
LAAS)
On the Assessment of Safety-Critical Software Systems
.222
J.-C. Laprie
Evaluation of Software Safety
.223
N.B.
Leveson
Some Experiences of Critical Software Development
.
22S
£
Pilaud
Assessing Failure Probabilities in Safety-Critical Systems Containing Software
.227
M.Thomas
Special Session
3:
Workshop Reports
(Organizer:
D.E.
Perry, AT&T Bell Laboratories)
ISPW5: Experience with Software Process Models
.230
D.E.
Perry
FM 89:
Assessment of Formal Methods for Trustworthy Computer Systems
.233
D. Craigen
XV
Session 11 : AI
Applications to Software Engineering
(Chair: A. van Lamsweerde, University of Namur)
Building an Evolution Transformation Library
.238
W.L Johnson andM. Feather
LaSSIE~a Knowledge-based Software Information System
.249
P.T. Devanbu,
RJ.
Brachman, P.G. Selfridge,
and
B.W.
Bailara
Panel
3:
Industrial
Experience with Formal Methods
(Organizers: D.
Björner, Dansk Datamatik
Center; and
L Druffel,
Software Engineering Institute)
Position Statement: ICSE-^ Workshop on Industrial
Experience Using Formal Methods
.264
D.
Björner
and L. Druffel
Session
12:
Process Models
2
(Chair: B. Lepape,
CEC)
Negotiation Behavior During Requirements Specification
.268
W.N. Robinson
Prism
»
Methodology
+
Process-oriented Environment
.277
N.H. Madhavji, V. Gruhn, W.
Deiters,
and W.
Schäfer
Session
13:
Technology Transfer
(Chain ft Fairtey, George Mason University)
The Evolution of Technology Transfer at MCC's Software Technology Program:
From Didactic to Dialectic
.290
J.D. Babcock, LA. Beiady, andN.C. Gore
Implementing Faceted Classification for Software Reuse (Experience Report)
.300
R. Prieto-Diaz
Spedai
Session
4:
Systems Engineering
(Organizer:
D.E.
Jabot, Commission of the European Communities)
Towards Systems Engineering
-А
Personal View of Progress
. 306
D.E.
Tatoot
Session U: Configuration Management
(Chair. M.
Penedo, TRW)
Automatic Maintenance of Routine Programming Tasks Based on a
Declarative Description (Experience Report)
.310
D. Bernstein andR. Farrow
A Decision-Based Configuration Process Model
. 316
T. Rose andM.
Jarke
XVt
Panel
4:
Experience Using Defined Processes for Technology Transfer
(Organizer: K.F. Fischer,
Contei)
Experience in Using Defined Processes for Technology Transfer
.328
K.F. Fischer
Position Paper on Technology Transfer
.329
R.
Alonzo
CEFRIEL: an Innovative Approach to University-Industry
Cooperation in Information Technologies
.330
M.
Decina
Technology Transfer as Collaboration: the Receptor Group
.332
P.J. Fowler
Semi Formal Process Model for Technology Transfer
.334
G. Glynn
Technology Transfer Aspects of Environment Construction
.336
K. Kishida
Author Index
.337
XVII |
| any_adam_object | 1 |
| author_corporate | International Conference on Software Engineering Nizza |
| author_corporate_role | aut |
| author_facet | International Conference on Software Engineering Nizza |
| author_sort | International Conference on Software Engineering Nizza |
| building | Verbundindex |
| bvnumber | BV006584572 |
| classification_rvk | SD 1990 |
| ctrlnum | (OCoLC)311291970 (DE-599)BVBBV006584572 |
| discipline | Mathematik |
| 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">BV006584572</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150114</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930210s1990 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818620269</subfield><subfield code="9">0-8186-2026-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818660260</subfield><subfield code="9">0-8186-6026-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897913493</subfield><subfield code="9">0-89791-349-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)311291970</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006584572</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1990</subfield><subfield code="0">(DE-625)142724:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Software Engineering</subfield><subfield code="n">12</subfield><subfield code="d">1990</subfield><subfield code="c">Nizza</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5046105-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">12th International Conference Software Engineering, March 26 - 30, 1990, Nice, France</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. [u.a.]</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 337 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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mikroelektronik</subfield><subfield code="0">(DE-588)4039207-7</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">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Elektronik</subfield><subfield code="0">(DE-588)4014346-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computerunterstütztes Verfahren</subfield><subfield code="0">(DE-588)4139030-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</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="650" ind1="0" ind2="7"><subfield code="a">Entwurf</subfield><subfield code="0">(DE-588)4121208-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitungssystem</subfield><subfield code="0">(DE-588)4125229-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Integrierte Schaltung</subfield><subfield code="0">(DE-588)4027242-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Telekommunikation</subfield><subfield code="0">(DE-588)4059360-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Medizin</subfield><subfield code="0">(DE-588)4038243-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prüftechnik</subfield><subfield code="0">(DE-588)4047610-8</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">Integrierte Schaltung</subfield><subfield code="0">(DE-588)4027242-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Prüftechnik</subfield><subfield code="0">(DE-588)4047610-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">Datenverarbeitungssystem</subfield><subfield code="0">(DE-588)4125229-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</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">Telekommunikation</subfield><subfield code="0">(DE-588)4059360-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Computersimulation</subfield><subfield code="0">(DE-588)4148259-1</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="689" ind1="3" ind2="0"><subfield code="a">Mikroelektronik</subfield><subfield code="0">(DE-588)4039207-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Prüftechnik</subfield><subfield code="0">(DE-588)4047610-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Elektronik</subfield><subfield code="0">(DE-588)4014346-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2="1"><subfield code="a">Entwurf</subfield><subfield code="0">(DE-588)4121208-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="8">6\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="6" ind2="0"><subfield code="a">Computerunterstütztes Verfahren</subfield><subfield code="0">(DE-588)4139030-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="6" ind2="1"><subfield code="a">Medizin</subfield><subfield code="0">(DE-588)4038243-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="6" ind2=" "><subfield code="8">7\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="7" ind2="0"><subfield code="a">Integrierte Schaltung</subfield><subfield code="0">(DE-588)4027242-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="7" ind2="1"><subfield code="a">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="7" ind2=" "><subfield code="8">8\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="8" 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="8" 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="8" ind2=" "><subfield code="8">9\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="9" 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="9" 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="9" ind2=" "><subfield code="8">10\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=004202716&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="883" ind1="1" ind2=" "><subfield code="8">4\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">5\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">6\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">7\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">8\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">9\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">10\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-004202716</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV006584572 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:19:56Z |
| institution | BVB |
| institution_GND | (DE-588)5046105-9 |
| isbn | 0818620269 0818660260 0897913493 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004202716 |
| oclc_num | 311291970 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-83 DE-188 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-83 DE-188 |
| physical | XVII, 337 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | IEEE Computer Soc. Press |
| record_format | marc |
| spelling | International Conference on Software Engineering 12 1990 Nizza Verfasser (DE-588)5046105-9 aut Proceedings 12th International Conference Software Engineering, March 26 - 30, 1990, Nice, France Los Alamitos, Calif. [u.a.] IEEE Computer Soc. Press 1990 XVII, 337 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Mikroelektronik (DE-588)4039207-7 gnd rswk-swf Bildverstehen (DE-588)4202022-0 gnd rswk-swf Testen (DE-588)4367264-4 gnd rswk-swf Elektronik (DE-588)4014346-6 gnd rswk-swf Computerunterstütztes Verfahren (DE-588)4139030-1 gnd rswk-swf Computersimulation (DE-588)4148259-1 gnd rswk-swf Mustererkennung (DE-588)4040936-3 gnd rswk-swf Entwurf (DE-588)4121208-3 gnd rswk-swf Maschinelles Sehen (DE-588)4129594-8 gnd rswk-swf VLSI (DE-588)4117388-0 gnd rswk-swf Datenverarbeitungssystem (DE-588)4125229-9 gnd rswk-swf Integrierte Schaltung (DE-588)4027242-4 gnd rswk-swf Telekommunikation (DE-588)4059360-5 gnd rswk-swf Medizin (DE-588)4038243-6 gnd rswk-swf Prüftechnik (DE-588)4047610-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Integrierte Schaltung (DE-588)4027242-4 s Prüftechnik (DE-588)4047610-8 s 1\p DE-604 Datenverarbeitungssystem (DE-588)4125229-9 s Computersimulation (DE-588)4148259-1 s 2\p DE-604 Telekommunikation (DE-588)4059360-5 s 3\p DE-604 Mikroelektronik (DE-588)4039207-7 s 4\p DE-604 Elektronik (DE-588)4014346-6 s Testen (DE-588)4367264-4 s 5\p DE-604 VLSI (DE-588)4117388-0 s Entwurf (DE-588)4121208-3 s 6\p DE-604 Computerunterstütztes Verfahren (DE-588)4139030-1 s Medizin (DE-588)4038243-6 s 7\p DE-604 8\p DE-604 Bildverstehen (DE-588)4202022-0 s Maschinelles Sehen (DE-588)4129594-8 s 9\p DE-604 Mustererkennung (DE-588)4040936-3 s 10\p DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004202716&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 6\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 7\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 8\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 9\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 10\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Proceedings 12th International Conference Software Engineering, March 26 - 30, 1990, Nice, France Mikroelektronik (DE-588)4039207-7 gnd Bildverstehen (DE-588)4202022-0 gnd Testen (DE-588)4367264-4 gnd Elektronik (DE-588)4014346-6 gnd Computerunterstütztes Verfahren (DE-588)4139030-1 gnd Computersimulation (DE-588)4148259-1 gnd Mustererkennung (DE-588)4040936-3 gnd Entwurf (DE-588)4121208-3 gnd Maschinelles Sehen (DE-588)4129594-8 gnd VLSI (DE-588)4117388-0 gnd Datenverarbeitungssystem (DE-588)4125229-9 gnd Integrierte Schaltung (DE-588)4027242-4 gnd Telekommunikation (DE-588)4059360-5 gnd Medizin (DE-588)4038243-6 gnd Prüftechnik (DE-588)4047610-8 gnd |
| subject_GND | (DE-588)4039207-7 (DE-588)4202022-0 (DE-588)4367264-4 (DE-588)4014346-6 (DE-588)4139030-1 (DE-588)4148259-1 (DE-588)4040936-3 (DE-588)4121208-3 (DE-588)4129594-8 (DE-588)4117388-0 (DE-588)4125229-9 (DE-588)4027242-4 (DE-588)4059360-5 (DE-588)4038243-6 (DE-588)4047610-8 (DE-588)1071861417 |
| title | Proceedings 12th International Conference Software Engineering, March 26 - 30, 1990, Nice, France |
| title_auth | Proceedings 12th International Conference Software Engineering, March 26 - 30, 1990, Nice, France |
| title_exact_search | Proceedings 12th International Conference Software Engineering, March 26 - 30, 1990, Nice, France |
| title_full | Proceedings 12th International Conference Software Engineering, March 26 - 30, 1990, Nice, France |
| title_fullStr | Proceedings 12th International Conference Software Engineering, March 26 - 30, 1990, Nice, France |
| title_full_unstemmed | Proceedings 12th International Conference Software Engineering, March 26 - 30, 1990, Nice, France |
| title_short | Proceedings |
| title_sort | proceedings 12th international conference software engineering march 26 30 1990 nice france |
| title_sub | 12th International Conference Software Engineering, March 26 - 30, 1990, Nice, France |
| topic | Mikroelektronik (DE-588)4039207-7 gnd Bildverstehen (DE-588)4202022-0 gnd Testen (DE-588)4367264-4 gnd Elektronik (DE-588)4014346-6 gnd Computerunterstütztes Verfahren (DE-588)4139030-1 gnd Computersimulation (DE-588)4148259-1 gnd Mustererkennung (DE-588)4040936-3 gnd Entwurf (DE-588)4121208-3 gnd Maschinelles Sehen (DE-588)4129594-8 gnd VLSI (DE-588)4117388-0 gnd Datenverarbeitungssystem (DE-588)4125229-9 gnd Integrierte Schaltung (DE-588)4027242-4 gnd Telekommunikation (DE-588)4059360-5 gnd Medizin (DE-588)4038243-6 gnd Prüftechnik (DE-588)4047610-8 gnd |
| topic_facet | Mikroelektronik Bildverstehen Testen Elektronik Computerunterstütztes Verfahren Computersimulation Mustererkennung Entwurf Maschinelles Sehen VLSI Datenverarbeitungssystem Integrierte Schaltung Telekommunikation Medizin Prüftechnik Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004202716&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT internationalconferenceonsoftwareengineeringnizza proceedings12thinternationalconferencesoftwareengineeringmarch26301990nicefrance |