Formal development of reactive systems: case study production cell
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1995
|
| Schriftenreihe: | Lecture notes in computer science
891 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 394 S. Ill., graph. Darst. |
| ISBN: | 3540588671 0387588671 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009945066 | ||
| 003 | DE-604 | ||
| 005 | 20140228 | ||
| 007 | t| | ||
| 008 | 941205s1995 gw ad|| |||| 00||| eng d | ||
| 016 | 7 | |a 942877713 |2 DE-101 | |
| 020 | |a 3540588671 |9 3-540-58867-1 | ||
| 020 | |a 0387588671 |9 0-387-58867-1 | ||
| 035 | |a (OCoLC)31740407 | ||
| 035 | |a (OCoLC)844957974 | ||
| 035 | |a (DE-599)BVBBV009945066 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-384 |a DE-91G |a DE-19 |a DE-20 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.76.D47F65 1995 | |
| 082 | 0 | |a 670.42/7 |2 20 | |
| 082 | 0 | |a 670.42/7 20 | |
| 084 | |a ST 620 |0 (DE-625)143684: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Formal development of reactive systems |b case study production cell |c Claus Lewerentz ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1995 | |
| 300 | |a XI, 394 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 891 | |
| 650 | 7 | |a CSL |2 inriac | |
| 650 | 7 | |a ESTEREL |2 inriac | |
| 650 | 7 | |a HOL |2 inriac | |
| 650 | 7 | |a LCM |2 inriac | |
| 650 | 7 | |a LUSTRE |2 inriac | |
| 650 | 4 | |a Logiciels - Développement - Cas, Études de | |
| 650 | 7 | |a Logiciels - Développement |2 ram | |
| 650 | 7 | |a MODULA 3 |2 inriac | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 7 | |a RAISE |2 inriac | |
| 650 | 4 | |a Réaction, Systèmes à - Informatique - Cas, Études de | |
| 650 | 7 | |a SDL |2 inriac | |
| 650 | 7 | |a TROLL |2 inriac | |
| 650 | 4 | |a Usines métallurgiques - Automatisation - Informatique - Cas, Études de | |
| 650 | 7 | |a développement logiciel |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a signal |2 inriac | |
| 650 | 7 | |a spectrum |2 inriac | |
| 650 | 4 | |a Computer software -- Development | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konzeptionelle Modellierung |0 (DE-588)4123555-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fertigungsinsel |0 (DE-588)4197691-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisierungssystem |0 (DE-588)4112648-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Flexible Fertigungszelle |0 (DE-588)4199397-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Beschreibungstechnik |0 (DE-588)4351949-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4522595-3 |a Fallstudiensammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Fertigungsinsel |0 (DE-588)4197691-5 |D s |
| 689 | 0 | 1 | |a Formale Beschreibungstechnik |0 (DE-588)4351949-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Fertigungsinsel |0 (DE-588)4197691-5 |D s |
| 689 | 1 | 1 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Flexible Fertigungszelle |0 (DE-588)4199397-4 |D s |
| 689 | 2 | 1 | |a Automatisierungssystem |0 (DE-588)4112648-8 |D s |
| 689 | 2 | 2 | |a Konzeptionelle Modellierung |0 (DE-588)4123555-1 |D s |
| 689 | 2 | 3 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Lewerentz, Claus |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 891 |w (DE-604)BV000000607 |9 891 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006589820&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006589820 | |
Datensatz im Suchindex
| _version_ | 1820874845855940608 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
I.
INTRODUCTION
CLAUS LEWERENTZ,
THOMAS
LINDNER
.
1
1.1
GOAL
AND
CONTEXT
OF
THE
CASE
STUDY
.
1
1.2
PROBLEM
.
2
1.3
REQUIRED
PROPERTIES
.
3
1.4
VALIDATION
ENVIRONMENT:
TOY
MODEL
AND
GRAPHIC
SIMULATION
.
4
II.
TASK
DESCRIPTION
THOMAS
LINDNER
.
7
2.1
DESCRIPTION
OF
THE
PRODUCTION
CELL
.
7
2.2
ACTUATORS
AND
SENSORS
.
13
2.3
REQUIREMENTS
.
15
III.
COMPARATIVE
SURVEY
CLAUS
LEWERENTZ,
THOMAS
LINDNER
.
21
3.1
CRITERIA
.
22
3.2
CONTRIBUTIONS
.
24
3.3
CONCLUSIONS
.
49
IV.
CSL
KLAUS
NOKEL,
KLAUS
WINKELMANN
.
55
4.1
GOALS
OF
THE
CSL
CONTRIBUTION
.
55
4.2
A
FIRST
LOOK
AT
CSL
.56
4.3
MODELLING
THE
PRODUCTION
CELL
.59
4.4
VERIFICATION
USING
MODEL
CHECKING
.
64
4.5
EVALUATION
.
71
4.6
CONCLUSION
.73
V.
ESTEREL
REINHARD
BUDDE
.
75
5.1
A
QUICK
INTRODUCTION
TO
ESTEREL
.75
5.2
THE
PRODUCTION
CELL
IN
ESTEREL
.
83
5.3
STRUCTURE
AND
PROPERTIES
OF
THE
PRODUCTION
CELL
.
87
5.4
REMARK
ABOUT
COLLISIONS
AND
SYSTEMS
ENGINEERING
.
90
5.5
FROM
ESTEREL
PROGRAMS
TO
EXECUTABLE
CODE
.92
5.6
EXPERIENCES
AND
CONCLUSION
.
94
VIII
VI.
LUSTRE
LESZEK
HOLENDERSKI
.
101
6.1
A
QUICK
INTRODUCTION
TO
LUSTRE
.
101
6.2
PRODUCTION
CELL
IN
LUSTRE
.
104
6.3
VERIFICATION
.
109
6.4
EVALUATION
.
ILL
VII.
SIGNAL
TOCHEOU
PASCALIN
AMAGBEGNON,
PAUL
LE
GUEMIC,
HERVE
MARCHAND,
ERIC
RUTTEN
.
113
7.1
A
BRIEF
INTRODUCTION
TO
SIGNAL
.
113
7.2
SPECIFICATION
OF
THE
PRODUCTION
CELL
IN
SIGNAL
.
117
7.3
SPECIFYING
AND
VERIFYING
THE
PROPERTIES
.
123
7.4
EVALUATION
.
128
VIII.
STATECHARTS
WERNER
DAMM,
HARDI
HUNGAR,
PETER
KELB,
RAINER
SCHLBR
.
131
8.1
INTRODUCTION
.
131
8.2
STATECHARTS
.
133
8.3
REQUIREMENT
SPECIFICATIONS
USING
SYMBOLIC
TIMING
DIAGRAMS
.
138
*
8.4
VERIFICATION
BY
SYMBOLIC
MODEL
CHECKING
.
141
8.5
CONCLUSION
.
147
IX.
TLT
JORGE
CUELLAR,
MARTIN
HUBER
.
151
9.1
INTRODUCTION
.
151
9.2
AN
ABSTRACT
CENTRALIZED
CONTROLLER
.
152
9.3
THE
ENVIRONMENT
OF
THE
CONTROLLER:
DEALING
WITH
SENSORS
AND
ACTUATORS
.
158
9.4
DISTRIBUTING
THE
SOLUTION
.
161
9.5
REFINING
THE
PROGRAM:
SAFE
MOVEMENTS
.
164
9.6
RUNNING THE
SIMULATION
.
167
9.7
CONCLUSION
.
167
X.
SDL
STEFAN
HEINKEL,
THOMAS
LINDNER
.
171
10.1
AIM
.
171
10.2
SDL
.
172
10.3
PRODUCTION
CELL
IN
SDL
.
175
10.4
EVALUATION
.
180
10.5
CONCLUSION
.
182
IX
XI.
FOCUS
MAX
FUCHS,
JAN
PHILIPPS
.
185
11.1
INTRODUCTION
.
185
11.2
METHOD
.
186
11.3
APPLICATION
OF
THE
METHOD
.
190
11.4
CONCLUSION
.
195
XII.
SPECTRUM
DIMITRIS
DRANIDIS,
STEFAN
GASTINGER.
.
199
12.1
INTRODUCTION
.
199
12.2
A
CSP
MODELLING
.
201
12.3
A
STREAM
B
ASED
SPECIFICATION
.
212
12.4
EVALUATION
.225
12.5
CONCLUSION
AND
REMARKS
.
227
XIII.
KIV
GERHARD
SCHELLHOM,
AXEL
BURANDT
.
229
13.1
INTRODUCTION
.
229
13.2
THE
INTENDED
MODEL
.
230
13.3
ALGEBRAIC
SPECIFICATION
OF
STATE
ORIENTED
SYSTEMS
.
231
13.4
THE
CONTROL
PROGRAM
AND ITS
CORRECTNESS
.
.*238
13.5
VERIFICATION
.
242
13.6
CONCLUSIONS
AND
FURTHER
WORK
.
244
XIV.
TATZELWURM
STEFAN
KLINGENBECK,
THOMAS
KAUFL
.
247
14.1
INTRODUCTION
.
247
14.2
THE
PROGRAM
VERIFIER
TATZELWURM
.
248
14.3
FORMAL
DESCRIPTION
OF
THE
PRODUCTION
CELL
.
251
14.4
THE
IMPLEMENTATION
.
254
14.5
THE
SAFETY
REQUIREMENTS
.
257
14.6
RESULTS
.
258
14.7
CONCLUSIONS
.
258
XV.
HTTDS
AND HOL
RACHEL
CARDELL-OLIVER
.
261
.15.1
INTRODUCTION
.
261
15.2
METHOD
.
262
15.3
SPECIFICATION
.
264
15.4
VERIFICATION
.
268
15.5
RESULTS
.
272
15.6
CONCLUSIONS
.273
X
XVI.
RAISE
FRANCOIS
ERASMY,
EMIL
SEKERINSKI
.
277
16.1
GOAL
OF
THE
RAISE
CONTRIBUTION
.
277
16.2
INTRODUCTION
TO
RAISE
.
278
16.3
DEVELOPMENT
WITH
RAISE
.
281
16.4
EVALUATION
OF
THE
REFINEMENT
APPROACH
WITH
RAISE
.
289
16.5
CONCLUSION
.
292
XVII.
DEDUCTIVE
SYNTHESIS
JOCHEN
BURGHARDT
.
295
17.1
AIM
.
295
17.2
DEDUCTIVE
PROGRAM
SYNTHESIS
.
296
17.3
MODELLING
THE
PRODUCTION
CELL
.
297
17.4
SYNTHESIS
.
301
17.5
EVALUATION
.
305
17.6
CONCLUSION
.
308
XVIII.
SYMBOLIC
TIMING
DIAGRAMS
FRANZ
KORF,
RAINER
SCHLOR
.
311
*
18.1
INTRODUCTION
.
311
18.2
SYMBOLIC
TIMING
DIAGRAMS
.
315
18.3
SYNTHESIS
PATH
AND
DESIGN
METHODOLOGY
.
319
18.4
USING
ICOS
2
FOR
THE
PRODUCTION
CELL
CASE
STUDY
.
320
18.5
SYNTHESIS
PROCESS
AND
SYNTHESIS
TECHNIQUES
.
323
18.6
DISCUSSION
OF
THE
COMPLEXITY
.
326
18.7
EXPERIMENTAL
RESULTS
OF
THE
PRODUCTION
CELL
.
328
18.8
CONCLUSION
.
329
XIX.
LCMANDMCM
ROEL
WIERINGA
.
333
19.1
INTRODUCTION
.333
19.2
METHOD
FOR
CONCEPTUAL
MODELING
(MCM)
.
:.
334
19.3
LANGUAGE
FOR
CONCEPTUAL
MODELING
(LCM
3.0)
.
341
19.4
VERIFICATION
OF
SAFETY
AND
LIVENESS
.
348
19.5
DISCUSSION
OF
THE
SPECIFICATION
.
350
19.6
CONCLUSIONS
.
353
XI
XX.
MODULA-3
ANDREAS
RUPING,
EMIL
SEKERINSKI
.357
20.1
INTRODUCTION
.357
20.2
MODELLING
.
359
20.3
VERIFICATION
.363
20.4
IMPLEMENTATION
.367
20.5
EVALUATION
AND
CONCLUSIONS
.
369
XXI.
TROLL
LIGHT
RUDOLF
HERZIG,
NIKOLAOS
VLACHANTONIS
.
373
21.1
GOALS
AND
CONCEPTS
OF
TROLL
LIGHT
.
373
21.2
THE
SPECIFICATION
.
376
21.3
EVALUATION
.
'
.
.
379
A.
SIMULATION
ARTUR
BRAUER,
THOMAS
LINDNER
.
383
A.L
PROBLEM
.383
A.2
SIMULATION
.
384
A.3
INSTALLING
THE
SIMULATION
.385
A.4
STARTING
THE
SIMULATION
.
386
A.5
DEFINITION
OF
THE
PROTOCOL
.
386
A.6
OPERATING
THE
CELL
.
*392 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV009945066 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.D47F65 1995 |
| callnumber-search | QA76.76.D47F65 1995 |
| callnumber-sort | QA 276.76 D47 F65 41995 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 620 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)31740407 (OCoLC)844957974 (DE-599)BVBBV009945066 |
| dewey-full | 670.42/7 670.42/720 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 670 - Manufacturing |
| dewey-raw | 670.42/7 670.42/7 20 |
| dewey-search | 670.42/7 670.42/7 20 |
| dewey-sort | 3670.42 17 |
| dewey-tens | 670 - Manufacturing |
| discipline | Informatik Werkstoffwissenschaften / Fertigungstechnik |
| format | 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">BV009945066</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140228</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">941205s1995 gw ad|| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">942877713</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540588671</subfield><subfield code="9">3-540-58867-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387588671</subfield><subfield code="9">0-387-58867-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31740407</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844957974</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009945066</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-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.D47F65 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">670.42/7</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">670.42/7 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 620</subfield><subfield code="0">(DE-625)143684:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal development of reactive systems</subfield><subfield code="b">case study production cell</subfield><subfield code="c">Claus Lewerentz ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 394 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">891</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">CSL</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">ESTEREL</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">HOL</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LCM</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LUSTRE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Développement - Cas, Études de</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Développement</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MODULA 3</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">RAISE</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Réaction, Systèmes à - Informatique - Cas, Études de</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">SDL</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TROLL</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Usines métallurgiques - Automatisation - Informatique - Cas, Études de</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">développement logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">signal</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spectrum</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software -- Development</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konzeptionelle Modellierung</subfield><subfield code="0">(DE-588)4123555-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fertigungsinsel</subfield><subfield code="0">(DE-588)4197691-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisierungssystem</subfield><subfield code="0">(DE-588)4112648-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Flexible Fertigungszelle</subfield><subfield code="0">(DE-588)4199397-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Formale Beschreibungstechnik</subfield><subfield code="0">(DE-588)4351949-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)4522595-3</subfield><subfield code="a">Fallstudiensammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Fertigungsinsel</subfield><subfield code="0">(DE-588)4197691-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Beschreibungstechnik</subfield><subfield code="0">(DE-588)4351949-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Fertigungsinsel</subfield><subfield code="0">(DE-588)4197691-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Flexible Fertigungszelle</subfield><subfield code="0">(DE-588)4199397-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Automatisierungssystem</subfield><subfield code="0">(DE-588)4112648-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Konzeptionelle Modellierung</subfield><subfield code="0">(DE-588)4123555-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="3"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lewerentz, Claus</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">891</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">891</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=006589820&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-006589820</subfield></datafield></record></collection> |
| genre | (DE-588)4522595-3 Fallstudiensammlung gnd-content |
| genre_facet | Fallstudiensammlung |
| id | DE-604.BV009945066 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:13Z |
| institution | BVB |
| isbn | 3540588671 0387588671 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006589820 |
| oclc_num | 31740407 844957974 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | XI, 394 S. Ill., graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal development of reactive systems case study production cell Claus Lewerentz ... (eds.) Berlin u.a. Springer 1995 XI, 394 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 891 CSL inriac ESTEREL inriac HOL inriac LCM inriac LUSTRE inriac Logiciels - Développement - Cas, Études de Logiciels - Développement ram MODULA 3 inriac Programmatuurtechniek gtt RAISE inriac Réaction, Systèmes à - Informatique - Cas, Études de SDL inriac TROLL inriac Usines métallurgiques - Automatisation - Informatique - Cas, Études de développement logiciel inriac méthode formelle inriac signal inriac spectrum inriac Computer software -- Development Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Konzeptionelle Modellierung (DE-588)4123555-1 gnd rswk-swf Fertigungsinsel (DE-588)4197691-5 gnd rswk-swf Automatisierungssystem (DE-588)4112648-8 gnd rswk-swf Flexible Fertigungszelle (DE-588)4199397-4 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Formale Beschreibungstechnik (DE-588)4351949-0 gnd rswk-swf (DE-588)4522595-3 Fallstudiensammlung gnd-content Fertigungsinsel (DE-588)4197691-5 s Formale Beschreibungstechnik (DE-588)4351949-0 s DE-604 Formale Spezifikationstechnik (DE-588)4299725-2 s Flexible Fertigungszelle (DE-588)4199397-4 s Automatisierungssystem (DE-588)4112648-8 s Konzeptionelle Modellierung (DE-588)4123555-1 s Softwareentwicklung (DE-588)4116522-6 s Lewerentz, Claus Sonstige oth Lecture notes in computer science 891 (DE-604)BV000000607 891 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006589820&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal development of reactive systems case study production cell Lecture notes in computer science CSL inriac ESTEREL inriac HOL inriac LCM inriac LUSTRE inriac Logiciels - Développement - Cas, Études de Logiciels - Développement ram MODULA 3 inriac Programmatuurtechniek gtt RAISE inriac Réaction, Systèmes à - Informatique - Cas, Études de SDL inriac TROLL inriac Usines métallurgiques - Automatisation - Informatique - Cas, Études de développement logiciel inriac méthode formelle inriac signal inriac spectrum inriac Computer software -- Development Softwareentwicklung (DE-588)4116522-6 gnd Konzeptionelle Modellierung (DE-588)4123555-1 gnd Fertigungsinsel (DE-588)4197691-5 gnd Automatisierungssystem (DE-588)4112648-8 gnd Flexible Fertigungszelle (DE-588)4199397-4 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Formale Beschreibungstechnik (DE-588)4351949-0 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4123555-1 (DE-588)4197691-5 (DE-588)4112648-8 (DE-588)4199397-4 (DE-588)4299725-2 (DE-588)4351949-0 (DE-588)4522595-3 |
| title | Formal development of reactive systems case study production cell |
| title_auth | Formal development of reactive systems case study production cell |
| title_exact_search | Formal development of reactive systems case study production cell |
| title_full | Formal development of reactive systems case study production cell Claus Lewerentz ... (eds.) |
| title_fullStr | Formal development of reactive systems case study production cell Claus Lewerentz ... (eds.) |
| title_full_unstemmed | Formal development of reactive systems case study production cell Claus Lewerentz ... (eds.) |
| title_short | Formal development of reactive systems |
| title_sort | formal development of reactive systems case study production cell |
| title_sub | case study production cell |
| topic | CSL inriac ESTEREL inriac HOL inriac LCM inriac LUSTRE inriac Logiciels - Développement - Cas, Études de Logiciels - Développement ram MODULA 3 inriac Programmatuurtechniek gtt RAISE inriac Réaction, Systèmes à - Informatique - Cas, Études de SDL inriac TROLL inriac Usines métallurgiques - Automatisation - Informatique - Cas, Études de développement logiciel inriac méthode formelle inriac signal inriac spectrum inriac Computer software -- Development Softwareentwicklung (DE-588)4116522-6 gnd Konzeptionelle Modellierung (DE-588)4123555-1 gnd Fertigungsinsel (DE-588)4197691-5 gnd Automatisierungssystem (DE-588)4112648-8 gnd Flexible Fertigungszelle (DE-588)4199397-4 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Formale Beschreibungstechnik (DE-588)4351949-0 gnd |
| topic_facet | CSL ESTEREL HOL LCM LUSTRE Logiciels - Développement - Cas, Études de Logiciels - Développement MODULA 3 Programmatuurtechniek RAISE Réaction, Systèmes à - Informatique - Cas, Études de SDL TROLL Usines métallurgiques - Automatisation - Informatique - Cas, Études de développement logiciel méthode formelle signal spectrum Computer software -- Development Softwareentwicklung Konzeptionelle Modellierung Fertigungsinsel Automatisierungssystem Flexible Fertigungszelle Formale Spezifikationstechnik Formale Beschreibungstechnik Fallstudiensammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006589820&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT lewerentzclaus formaldevelopmentofreactivesystemscasestudyproductioncell |