Formal methods and object technology:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | German |
| Veröffentlicht: |
London [u.a.]
Springer
1996
|
| Schriftenreihe: | Formal approaches to computing and information technology
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XVIII, 368 S. graph. Darst. |
| ISBN: | 3540199772 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010665360 | ||
| 003 | DE-604 | ||
| 005 | 20060118 | ||
| 007 | t | ||
| 008 | 960304s1996 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 946954364 |2 DE-101 | |
| 020 | |a 3540199772 |c kart. : DM 88.00 |9 3-540-19977-2 | ||
| 035 | |a (OCoLC)34115593 | ||
| 035 | |a (DE-599)BVBBV010665360 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-20 |a DE-521 |a DE-634 |a DE-188 | ||
| 050 | 0 | |a QA76.64.F67 1996 | |
| 082 | 0 | |a 005.1/1 20 | |
| 082 | 0 | |a 005.1/1 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 231 |0 (DE-625)143618: |2 rvk | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Formal methods and object technology |c S. J. Goldsack ... (ed.) |
| 264 | 1 | |a London [u.a.] |b Springer |c 1996 | |
| 300 | |a XVIII, 368 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Formal approaches to computing and information technology | |
| 650 | 7 | |a Conception orientée objets (informatique) |2 ram | |
| 650 | 7 | |a D_PARLOG++ |2 inriac | |
| 650 | 7 | |a LOTOS |2 inriac | |
| 650 | 7 | |a Langages formels |2 ram | |
| 650 | 7 | |a Programmation orientée objets (informatique) |2 ram | |
| 650 | 7 | |a VDM++ |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a programmation par objets |2 inriac | |
| 650 | 4 | |a Object-oriented programming (Computer science) | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |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 Objektorientierte Programmierung |0 (DE-588)4233947-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Objektorientierung |0 (DE-588)4346172-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Objektorientierung |0 (DE-588)4346172-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Objektorientierte Programmierung |0 (DE-588)4233947-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 2 | 1 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 2 | 2 | |a Objektorientierung |0 (DE-588)4346172-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Goldsack, Stephen J. |e Sonstige |4 oth | |
| 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=007119478&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007119478 | |
Datensatz im Suchindex
| _version_ | 1807229981574561792 |
|---|---|
| adam_text |
CONTENTS
LIST
OF
CONTRIBUTORS
XV
I
INTRODUCTION
1
1
THE
OBJECT
PARADIGM
3
1.1
THE
UBIQUITOUS
OBJECT
.
3
1.1.1
ACTIVE
OBJECTS
.
4
1.2
DEFINING
THE
OBJECT
CONCEPT
.
5
1.3
OBJECTS
IN
SOFTWARE
.
6
1.4
OBJECT
CLASSES
.
7
1.4.1
CLASS
HIERARCHIES
AND
INHERITANCE
OF
PROPERTIES
.
9
1.4.2
MULTIPLE
INHERITANCE
.
10
1.5
CLIENTSHIP
.
11
1.5.1
POLYMORPHIC
SUBSTITUTABILITY
.
12
1.5.2
ABSTRACT
CLASSES
AND
DYNAMIC
BINDING
.
13
1.5.3
ABSTRACT
INTERFACES
.
14
1.5.4
AGGREGATION
.
15
1.5.5
REUSE
.
15
1.6
CONCLUSION
.
16
2
FORMALITY
IN
OBJECT
TECHNOLOGY
17
2.1
FORMAL
METHODS
CONCEPTS
.
17
2.2
FORMAL
METHODS
IN
OBJECT
TECHNOLOGY
.
21
2.3
OBJECT
TECHNOLOGY
IN
FORMAL
METHODS
.
24
2.4
FORMAL
UNDERPINNINGS
.
26
2.5
CONCURRENCY
.
28
2.6
CONCLUSIONS
.
29
II
FORMAL
METHODS
IN
OBJECT
TECHNOLOGY
31
3
LOTOS
IN
THE
OBJECT-ORIENTED
ANALYSIS
PROCESS
33
3.1
INTRODUCTION
.
33
3.2
REASONS
FOR
CHOOSING
LOTOS
.
34
X
CONTENTS
3.3
THE
ROOA
METHOD
.
35
3.4
STRUCTURING
SPECIFICATIONS
.
41
3.4.1
AGGREGATION
.
41
3.4.2
BEHAVIOURAL
INHERITANCE
.
43
3.5
CONCLUSIONS
.
46
4
THE
IMPACT
OF
INHERITANCE
ON
SOFTWARE
STRUCTURE
47
4.1
INTRODUCTION
.
47
4.2
MULTIPLE
INHERITANCE
HIERARCHIES
.
49
4.3
TYPE-MODULE
HIERARCHIES
.
50
4.4
A
MODEL
OF
MULTIPLE
INHERITANCE
HIERARCHIES
.
51
4.4.1
BASIC
DEFINITIONS
.
51
4.4.2
DISCUSSION:
ASSUMPTIONS
IN
THE
MODEL
.
53
4.5
A
MODEL
OF
TYPE-MODULE
HIERARCHIES
.
53
4.5.1
BASIC
DEFINITIONS
.
53
4.5.2
DISCUSSION:
FROM
INHERITANCE
TO
MODULE
HIERARCHIES
.
.
55
4.5.3
DISCUSSION:
LANGUAGE
ISSUES
.
56
4.6
RELATING
MULTIPLE
INHERITANCE
AND
MODULE
HIERARCHIES
.
57
4.7
SUMMARY
&
CONCLUSIONS
.
58
III
OBJECT
TECHNOLOGY
IN
FORMAL
METHODS
61
5
D_PARLOG
++
:
OBJECT-ORIENTED
LOGIC
PROGRAMMING
WITH
DISTRIBUTED
ACTIVE
CLASSES
63
5.1
INTRODUCTION
.
63
5.2
INFORMAL
COMPUTATION
MODEL
OF
D_PARLOG
++
.
64
5.3
AN
INTRODUCTORY
EXAMPLE
.
66
5.3.1
STATE
DECLARATION
AND
STATE
VARIABLES
.
68
5.3.2
METHOD
DECLARATION
.
70
5.4
COMMUNICATION
BETWEEN
OBJECTS
.
73
5.4.1
ATOMIC
TRANSACTIONS
.
73
5.4.2
SELF
COMMUNICATIONS
.
74
5.5
INHERITANCE
AND
DELEGATION
OF
CLASSES
.
77
5.5.1
SUPER
COMMUNICATION
.
81
5.5.2 SELF
COMMUNICATION
IN
AN
INHERITANCE
HIERARCHY
.
82
5.6
CONCLUDING
REMARKS
.
84
6
CONCURRENCY
AND
REAL-TIME
IN
VDM
++
86
6.1
CONCURRENCY
AND
OBJECT
STRUCTURING
.
86
6.1.1
WHY
CONCURRENCY
.
86
6.2
THE
WORLD
MODEL
.
87
6.3
SYNCHRONISATION
AND
THREADS
IN
VDM
++
.
88
6.4
DESCRIBING
THE
BEHAVIOUR
OF
ACTIVE
OBJECTS
.
88
6.4.1
A
NEW
LOOK
AT
THE
DINING
PHILOSOPHERS
.
90
6.5
CONCURRENCY
AND
CONTENTION
.
91
CONTENTS
XI
6.5.1
DECLARATIVE
SYNCHRONIZATION
CONTROL
(PERMISSION
PREDICATES)
92
6.5.2
EXAMPLE
OF
A
PASSIVE
CLASS
.
95
6.5.3
A
RETURN
TO
THE
DINING
PHILOSOPHERS
.
97
6.6
OTHER
WAYS
OF
EXPRESSING
SYNCHRONISATION
.
99
6.6.1
TRACES
.
99
6.7
FEASIBILITY
AND
THE
PERIODIC
OBLIGATION
.
100
6.8
SPECIFYING
REAL-TIME
SYSTEMS
.
101
6.8.1
REAL-TIME
REQUIREMENTS
ENGINEERING
.
101
6.9
LANGUAGE
FACILITIES
.
102
6.9.1
THE
NOTION
OF
TIME
.
102
6.10
CONTINUOUS
MODELS
.
104
6.10.1
CONTINUOUS
TIME
VARIABLES
.
104
6.11
CONTINUOUS
CLASSES
.
105
6.11.1
AN
EXAMPLE
OF
A
CONTINUOUS
MODEL
.
106
6.11.2
SUBCLASSES
OF
COMPONENT
.
107
6.12
THE
PRINCIPLE
OF
DISCRETISING
.
109
6.12.1
REASONING
ABOUT
SAMPLING
.
112
6.13
SYNCHRONISING
THE
COMPONENTS
.
112
7
INTEGRATING
FORMAL
AND
STRUCTURED
METHODS
IN
OBJECT-ORIENTED
SYSTEM
DEVELOPMENT
113
7.1
B
ABSTRACT
MACHINE
NOTATION
.
114
7.2
REPRESENTATION
OF
DATA
MODELS
.
117
7.3
REPRESENTATION
OF
DYNAMIC
MODELS
.
120
7.3.1
PROCESS
MODEL
FOR
FORMALISATION
.
120
7.4
ALTERNATIVE
STATE
REPRESENTATION
.
122
7.4.1
COMPARISON
.
122
7.4.2
ALARMCLOCKS
.
123
7.5
SHIP
LOAD
PLANNING
.
126
7.5.1
RESULTS
.
145
7.6
FORMALISATION
OF DYNAMIC
MODELS:
A
LIFT
SYSTEM
.
146
7.6.1
FROM
ANALYSIS
TO
SPECIFICATION
.
149
7.6.2
APPLICATIONS
OF
FORMALISATION
.
156
8
INTRODUCING
OBJECT-ORIENTED
CONCEPTS
INTO
A
NET-BASED
HIERARCHICAL
SOFTWARE
DEVELOPMENT
PROCESS
158
8.1
INTRODUCTION
.
158
8.2
CHANNEL/AGENCY
NETS
.
160
8.2.1
GENERAL
PRESENTATION
.
160
8.2.2
TECHNIQUES
FOR
THE
USE
OF
CA
NETS
.
161
8.3
GENERAL
OBJECT
CONCEPTS
AND
CHARACTERISTICS
.
162
8.4
THE
O-CA
NET
MODEL
.
164
8.4.1
INTEGRATION
METHODS
.
165
8.4.2
DESCRIPTION
OF
OBJECT
CONCEPTS
IN
O-CA
NETS
.
165
8.4.3
STRUCTURE
RULES
AND
TRANSFORMATION
RULES
OF
O-CA
NETS
170
8.5
O-CA
NETS
AND
PROOFS
METHOD
.
172
XII
CONTENTS
8.5.1
USE
OF
O-CA
NETS
.
173
8.5.2
LINK
FROM
O-CA
NETS
TO
PNS
AND
CPNS
.
174
8.6
EXAMPLE
.
175
8.7
CONCLUSION
.
179
IV
FORMAL
FOUNDATIONS
OF
OBJECT
TECHNOLOGY
181
9
DESIGN
STRUCTURES
FOR
OBJECT-BASED
SYSTEMS
183
9.1
INTRODUCTION
.
183
9.2
TEMPORAL
SPECIFICATION
OF
OBJECTS
.
185
9.3
INTERCONNECTING
OBJECTS
.
190
9.4
INTERFACING:
ACTION
CALLING
.
193
9.5
ABSTRACTION:
OBJECT
CALLING
.
198
9.6
CONCLUDING
REMARKS
.
203
10
INTERCONNECTION
OF
OBJECT
SPECIFICATIONS
205
10.1
SOME
PRELIMINARIES
.
208
10.1.1
CATEGORIES
.
208
10.1.2
FUNCTORS
AND
NATURAL
TRANSFORMATIONS
.
210
10.1.3
LIMITS
.
211
10.1.4
MONOIDS
.
213
10.1.5
RIGHT
ACTIONS
OF
MONOIDS
.
214
10.1.6
SHEAVES
.
215
10.2
PROCESS
CLASSES
.
217
10.3
OBJECT
SPECIFICATION
.
219
10.4
SYSTEM
SPECIFICATION
.
222
10.5
SOME
SPECULATIONS
.
225
11
REFINEMENT
OF
CONCURRENT
OBJECT-ORIENTED
PROGRAMS
227
11.1
OVERVIEW
OF
FOOPS
.
228
11.1.1
FUNCTIONAL
LEVEL
.
228
11.1.2
OBJECT
LEVEL
.
230
11.2
REFINEMENT
FOR
FOOPS
.
233
11.2.1
SIMULATIONS
.
235
11.2.2
REFINEMENT
OF
STATES
.
239
11.2.3
REFINEMENT
OF
EXPRESSIONS
.
240
11.2.4
REFINEMENT
OF
SPECIFICATIONS
.
241
11.3
PROVING
REFINEMENT
.
242
11.3.1
MEMORY
CELLS
.
242
11.3.2
BUFFERS
.
248
11.3.3
LAWS
OF
FOOPS
METHOD
COMBINERS
.
256
11.4
ASPECTS
CONSIDERED
BY
REFINEMENT
.
258
11.5
CONCLUSIONS
.
259
CONTENTS
XIII
12
STATIC
TYPING
FOR
OBJECT-ORIENTED
LANGUAGES
262
12.1
INTRODUCTION
.
262
12.2
SUBCLASES
AND
SUBTYPES
.
263
12.2.1
TYPE
VS.
CLASS
.
263
12.2.2
SUBTYPE
VS.
SUBCLASS
.
264
12.2.3
ST&T:
AN
EXAMPLE
.
267
12.3
TYPES
IN
ST&T
.
270
12.3.1
SOME
SUBCLASS
RELATIONSHIPS
IN
SMALTALK
.
271
12.3.2
OBJECT
TYPES
.
271
12.3.3
THE
SUBTYPE
RELATIONSHIP
.
272
12.3.4
METHOD
SIGNATURES
.
273
12.3.5
RECEIVER
TYPE,
ARGUMENT
TYPE,
APPLICATION
OF
A
SIGNATURE274
12.3.6
METHOD
TYPES
.
275
12.4
TYPE
RULES
IN
ST&T
.
275
12.4.1
THE
ENVIRONMENT
.
275
12.4.2
TYPE
CHECKING
CLASSES
.
276
12.4.3
TYPES
OF
ASSIGNMENTS
.
277
12.4.4
TYPES
OF
RETURN
EXPRESSIONS
.
277
12.4.5
TYPES
OF
MESSAGE
EXPRESSIONS
.
277
12.5
DISCUSSION,
IMPLEMENTATION,
SOUNDNESS
.
282
12.6
CONCLUSIONS
AND
FURTHER
WORK
.
285
13
A
NOTE
ON
THE
SEMANTICS
OF
INCLUSION
POLYMORPHISM
287
13.1
THE
CONCEPT
OF
INCLUSION
POLYMORPHISM
.
287
13.2
FORMALIZATION
OF
INCLUSION
POLYMORPHISM
.
288
13.2.1
OBJECT
TYPES,
CLASSES
AND
THEORIES
.
288
13.2.2
BEHAVIOURAL
SUBTYPING
-
SIMPLE
CASES
.
290
13.2.3
BEHAVIOURAL
SUBTYPING
-
CONTRAVARIANCE
.
292
13.2.4
BEHAVIOURAL
SUBTYPING
-
GENERAL
CASE
.
294
13.3
INCLUSION
POLYMORPHISM
IN
PRACTICE
.
298
13.3.1
C++
.
298
13.3.2
EIFFEL
.
298
13.3.3
SMALLTALK-80
.
300
13.3.4
OBJECTIVE-C
.
300
13.4
RELATED
WORK
.
300
13.5
CONCLUSIONS
.
301
14
CATEGORICAL
SEMANTICS
FOR
OBJECT-ORIENTED
DATA-SPECIFICATIONS302
14.1
A
CATEGORICAL
SPECIFICATION
MECHANISM
.
303
14.1.1
CLASSES
AND
DEPENDENCIES
.
303
14.1.2
AN
EXTENDED
EXAMPLE
.
304
14.1.3
CONSTRAINTS
.
305
14.1.4
ATTRIBUTES
.
306
14.2
CANONICAL
FORMS
FOR
SPECIFICATIONS
.
307
14.3
VERIFICATION
OF
SPECIFICATIONS
.
308
14.4
A
NOTE
ON
TERMINOLOGY
.
309
XIV
CONTENTS
14.5
SPECIFICATIONS
.
309
14.5.1
SPECIFICATIONS
WITHOUT
ATTRIBUTES
.
309
14.5.2
SPECIFICATIONS
WITH
ATTRIBUTES
.
310
14.5.3
ELIMINATION
OF
ATTRIBUTES
.
311
14.6
CANONICAL
FORMS
FOR
SPECIFICATIONS
.
311
14.7
VERIFICATION
OF
SPECIFICATIONS
.
313
14.7.1
VERIFICATION
OF
THE
UNDERLYING
CATEGORY
.
314
14.7.2
VERIFICATION
OF
SPECIFICATIONS
.
315
14.8
CONCLUSION
.
315
15
A
TYPE-THEORETIC
BASIS
FOR
AN
OBJECT-ORIENTED
REFINEMENT
CALCULUS
317
15.1
INTRODUCTION
.
317
15.2
STATEMENTS
AS
PREDICATE
TRANSFORMERS
.
318
15.3
OBJECTS
AS
PACKED
RECORDS
.
323
15.4
USING
ABSTRACT
AND
CONCRETE
CLASSES
.
329
15.5
RELATED
WORK
AND
CONCLUSIONS
.
331
BIBLIOGRAPHY
336
INDEX
357 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010665360 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.64.F67 1996 |
| callnumber-search | QA76.64.F67 1996 |
| callnumber-sort | QA 276.64 F67 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 ST 231 |
| ctrlnum | (OCoLC)34115593 (DE-599)BVBBV010665360 |
| dewey-full | 005.1/120 005.1/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/1 20 005.1/1 |
| dewey-search | 005.1/1 20 005.1/1 |
| dewey-sort | 15.1 11 220 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | 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">BV010665360</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060118</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960304s1996 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">946954364</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540199772</subfield><subfield code="c">kart. : DM 88.00</subfield><subfield code="9">3-540-19977-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34115593</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010665360</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">ger</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-20</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.64.F67 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/1 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 231</subfield><subfield code="0">(DE-625)143618:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods and object technology</subfield><subfield code="c">S. J. Goldsack ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 368 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="490" ind1="0" ind2=" "><subfield code="a">Formal approaches to computing and information technology</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Conception orientée objets (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">D_PARLOG++</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LOTOS</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages formels</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation orientée objets (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">VDM++</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">programmation par objets</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</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">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">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</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">Objektorientierte Programmierung</subfield><subfield code="0">(DE-588)4233947-9</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="2"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</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">Goldsack, Stephen J.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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=007119478&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-007119478</subfield></datafield></record></collection> |
| id | DE-604.BV010665360 |
| illustrated | Illustrated |
| indexdate | 2024-08-13T00:26:54Z |
| institution | BVB |
| isbn | 3540199772 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007119478 |
| oclc_num | 34115593 |
| open_access_boolean | |
| owner | DE-20 DE-521 DE-634 DE-188 |
| owner_facet | DE-20 DE-521 DE-634 DE-188 |
| physical | XVIII, 368 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series2 | Formal approaches to computing and information technology |
| spelling | Formal methods and object technology S. J. Goldsack ... (ed.) London [u.a.] Springer 1996 XVIII, 368 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Formal approaches to computing and information technology Conception orientée objets (informatique) ram D_PARLOG++ inriac LOTOS inriac Langages formels ram Programmation orientée objets (informatique) ram VDM++ inriac méthode formelle inriac programmation par objets inriac Object-oriented programming (Computer science) Formal methods (Computer science) Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Objektorientierte Programmierung (DE-588)4233947-9 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 s Objektorientierung (DE-588)4346172-4 s DE-604 Objektorientierte Programmierung (DE-588)4233947-9 s Formale Spezifikationstechnik (DE-588)4299725-2 s Goldsack, Stephen J. Sonstige oth DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007119478&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods and object technology Conception orientée objets (informatique) ram D_PARLOG++ inriac LOTOS inriac Langages formels ram Programmation orientée objets (informatique) ram VDM++ inriac méthode formelle inriac programmation par objets inriac Object-oriented programming (Computer science) Formal methods (Computer science) Softwareentwicklung (DE-588)4116522-6 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd Objektorientierung (DE-588)4346172-4 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4299725-2 (DE-588)4233947-9 (DE-588)4346172-4 |
| title | Formal methods and object technology |
| title_auth | Formal methods and object technology |
| title_exact_search | Formal methods and object technology |
| title_full | Formal methods and object technology S. J. Goldsack ... (ed.) |
| title_fullStr | Formal methods and object technology S. J. Goldsack ... (ed.) |
| title_full_unstemmed | Formal methods and object technology S. J. Goldsack ... (ed.) |
| title_short | Formal methods and object technology |
| title_sort | formal methods and object technology |
| topic | Conception orientée objets (informatique) ram D_PARLOG++ inriac LOTOS inriac Langages formels ram Programmation orientée objets (informatique) ram VDM++ inriac méthode formelle inriac programmation par objets inriac Object-oriented programming (Computer science) Formal methods (Computer science) Softwareentwicklung (DE-588)4116522-6 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Objektorientierte Programmierung (DE-588)4233947-9 gnd Objektorientierung (DE-588)4346172-4 gnd |
| topic_facet | Conception orientée objets (informatique) D_PARLOG++ LOTOS Langages formels Programmation orientée objets (informatique) VDM++ méthode formelle programmation par objets Object-oriented programming (Computer science) Formal methods (Computer science) Softwareentwicklung Formale Spezifikationstechnik Objektorientierte Programmierung Objektorientierung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007119478&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT goldsackstephenj formalmethodsandobjecttechnology |