Specification case studies in RAISE:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong
Springer
2002
|
| Series: | Formal approaches to computing and information technology
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XV, 405 S. graph. Darst. |
| ISBN: | 1852333596 |
Staff View
MARC
| LEADER | 00000nam a22000008c 4500 | ||
|---|---|---|---|
| 001 | BV014140013 | ||
| 003 | DE-604 | ||
| 005 | 20020619 | ||
| 007 | t | ||
| 008 | 020205s2002 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 963165909 |2 DE-101 | |
| 020 | |a 1852333596 |9 1-85233-359-6 | ||
| 035 | |a (OCoLC)48629033 | ||
| 035 | |a (DE-599)BVBBV014140013 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G | ||
| 050 | 0 | |a QA76.758 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Specification case studies in RAISE |c Hung Dang Van ... (ed.) |
| 264 | 1 | |a London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong |b Springer |c 2002 | |
| 300 | |a XV, 405 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 | 4 | |a Software engineering | |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |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 Entwurfsmuster |0 (DE-588)4546895-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Anwendungssystem |0 (DE-588)4139375-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationssprache |0 (DE-588)4182217-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Anwendungssystem |0 (DE-588)4139375-2 |D s |
| 689 | 0 | 1 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 2 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | 3 | |a Entwurfsmuster |0 (DE-588)4546895-3 |D s |
| 689 | 0 | 4 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 0 | 5 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Van, Hung Dang |d 1950- |e Sonstige |0 (DE-588)123369134 |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=009689414&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009689414 | |
Record in the Search Index
| _version_ | 1808227122745966592 |
|---|---|
| adam_text |
CONTENTS
1.
THEMATIC
INTRODUCTION
.
1
1.1
SPECIFICATIONS
IN
INDUSTRY
.
2
1.2
SPECIFICATION-BASED
DEVELOPMENT
.
3
1.3
OVERVIEW
OF
FORMAL
METHODS
.
4
1.3.1
SPECIFICATION
LANGUAGES
.
4
1.3.2
METHODS
AND
TOOLS
.
6
1.3.3
RAISE
.
6
1.4
SPECIFICATION
CASE
STUDIES
IN
RAISE
.
7
1.5
EXEMPLIFIED
THEMES
.
11
1.5.1
DEVELOPMENT
FROM
REQUIREMENTS
.
11
1.5.2
REQUIREMENTS
ELICITATION
.
12
1.5.3
DOMAIN
MODELLING
.
13
1.5.4
SOFTWARE
VERIFICATION
.
14
1.5.5
SUPPORT
FOR
SOFTWARE
DESIGN
AND
ANALYSIS
.
15
1.6
LESSONS
LEARNED
.
16
2.
INTRODUCTION
TO
RAISE
.
19
2.1
THE
RAISE
SPECIFICATION
LANGUAGE
.
19
2.1.1
BASIC
CLASS
EXPRESSIONS
.
20
2.1.2
TYPES
.
20
2.1.3
VALUES
.
28
2.1.4
LOGIC
.
31
2.1.5
VALUE
EXPRESSIONS
.
34
2.1.6
AXIOMS
.
36
2.1.7
TEST
CASES
.
37
2.1.8
IMPERATIVE
CONSTRUCTS
.
38
2.1.9
CONCURRENCY
.
41
2.1.10
MODULES
.
46
2.1.11
PARAMETERISED
SCHEMES
.
47
2.1.12
OBJECT
DECLARATIONS
.
50
2.1.13
COMMENTS
.
50
2.2
THE
RAISE
METHOD:
WRITING
INITIAL
SPECIFICATIONS
.
51
2.2.1
KINDS
OF
MODULE
.
54
2.2.2
ABSTRACT
AND
CONCRETE
MODULES
.
55
X
CONTENTS
2.2.3
MODULE
HIERARCHIES
.
60
2.2.4
SHARING
CHILD
MODULES
.
61
2.3
THE
RAISE
METHOD:
DEVELOPING
SPECIFICATIONS
.
62
2.3.1
IMPERATIVE
MODULES
.
62
2.3.2
CONCURRENT
MODULES
.
67
2.3.3
DEVELOPMENT
ROUTE
.
69
2.3.4
ASYNCHRONOUS
SYSTEMS
.
69
2.3.5
VALIDATION
AND
VERIFICATION
.
70
2.3.6
REFINEMENT
.
72
2.3.7
LIGHTWEIGHT
FORMAL
METHODS
.
73
2.3.8
CONFIDENCE
CONDITIONS
.
74
2.3.9
GENERATING
THE
EXECUTABLE
PROGRAM
.
77
2.4
WHEN
NOT
TO
USE
RAISE
.
78
2.4.1
THERE
IS
A
SPECIAL-PURPOSE
FORMALISM
.
78
2.4.2
THE
EFFORT
IS
NOT
WORTH
THE
GAIN
.
79
3.
A
UNIVERSITY
LIBRARY
MANAGEMENT
SYSTEM
.
81
3.1
INTRODUCTION
.
81
3.2
REQUIREMENTS
.
81
3.3
DOMAIN
ANALYSIS
.
82
3.3.1
DOMAIN
MODELLING
.
82
3.3.2
RESERVATIONS
.
86
3.3.3
LOANS
.
89
3.3.4
POLICY
.
89
3.3.5
SEARCHING
.
92
3.4
CONSISTENCY
.
92
3.5
FUNCTIONS
.
94
3.6
CONCLUSIONS
.
97
4.
DEVELOPMENT
OF
A
DISTRIBUTED
TELEPHONE
SWITCH
.
99
4.1
INTRODUCTION
.
99
4.1.1
CHAPTER
STRUCTURE
.
102
4.1.2
DEVELOPMENT
APPROACH
.
102
4.2
THE
MONOLITHIC
VIEW
.
103
4.2.1
PHONE
STATES
.
103
4.2.2
PHONE
ACTIONS
.
105
4.3
VALIDATION
.
107
4.4
DECOMPOSITION
INTO
PHONES
AND
NETWORK
.
108
4.4.1
CONNECTIONS
.
109
4.4.2
PHONES
.
ILL
4.4.3
VERIFICATION
.
113
4.5
REFINING
THE
NETWORK
.
113
4.5.1
PARTITIONING
OF
NUMBERS
.
114
4.5.2
TRUNKS
.
115
4.5.3
ADDING
TRUNKS
.
116
CONTENTS
XI
4.5.4
INTRODUCING
REMOTE
STATIONS
.
118
4.6
DECOMPOSING
THE
NETWORK
.
119
4.6.1
MESSAGES
AND
TRANSMISSION
.
120
4.6.2
ASSUMPTIONS
ABOUT
THE
PUBLIC
NETWORK
.
122
4.6.3
REMOTE
STATIONS
.
122
4.6.4
TRUNKS
.
123
4.6.5
CONNECTIONS
.
124
4.6.6
VERIFICATION
.
127
4.7
INTEGRATION
.
128
4.8
IMPLEMENTATION
.
128
4.9
RELATED
WORK
.
129
4.10
CONCLUSIONS
.
129
4.10.1
FUTURE
WORK
.
130
5.
DEVELOPING
A
NATIONAL
FINANCIAL
INFORMATION
SYSTEM
.
131
5.1
INTRODUCTION
.
131
5.1.1
MINISTRY
OF
FINANCE
.
131
5.2
TAX
INFORMATION
SYSTEM
.
133
5.2.1
TAXPAYERS
.
133
5.2.2
TAX
SYSTEM
STRUCTURE
.
137
5.2.3
TAX
ACCOUNTING
.
138
5.2.4
TAX
PAYER
MANAGEMENT
.
140
5.2.5
REPORTS
.
142
5.2.6
GROUPS
.
142
5.2.7
TAX
OFFICES
.
143
5.3
PROTOTYPE
.
144
5.3.1
TESTING
.
145
5.3.2
TEST
RESULTS
.
145
5.3.3
OPTIMISATION
.
146
5.4
SPECIFYING
A
DISTRIBUTED
SYSTEM
.
146
5.4.1
MESSAGES
.
147
5.4.2
ASYNCHRONOUS
COMMUNICATION
.
148
5.4.3
SECRETARIES
.
149
5.4.4
STUB
MODULES
.
150
5.4.5
ENCODING
AND
DECODING
MESSAGES
.
150
5.4.6
MODULE
STRUCTURE
.
151
5.4.7
GRADUAL
AUTOMATION
.
151
5.5
CONCLUSION
.
152
5.5.1
SUMMARY
.
152
5.5.2
DISCUSSION
.
153
XII
CONTENTS
6.
MULTI-LINGUAL
DOCUMENT
PROCESSING
.
155
6.1
INTRODUCTION
.
155
6.2
MULTI-LINGUAL
DOCUMENTS:
DOMAIN
ANALYSIS
.
159
6.2.1
EMBEDDED
TEXT
.
163
6.2.2
SEPARATED
TEXT
.
165
6.2.3
THE
GENERAL
CASE
.
166
6.2.4
DOCUMENTS
AND
LIBRARIES
.
167
6.3
THE
FORMAL
MODEL
OF
MULTI-LINGUAL
DOCUMENTS
.
168
6.3.1
THE
BASIC
DEFINITIONS
.
168
6.3.2
POSITIONING
WITHIN
A
DOCUMENT
.
171
6.4
OPERATIONS
FOR
EDITING
MULTI-LINGUAL
DOCUMENTS
.
172
6.4.1
AN
EDITING
ENVIRONMENT
FOR
COLLECTIONS
OF
DOCUMENTS
177
6.4.2
EDITING
DOCUMENTS
IN
THE
USER
ENVIRONMENT
.
180
6.4.3
THE
MULTISCRIPT
SYSTEM
.
183
6.5
CONCLUSIONS
.
185
7.
FORMALISING
PRODUCTION
PROCESSES
.
187
7.1
INTRODUCTION
.
187
7.2
MODELLING
PRODUCTS
.
189
7.3
DESCRIPTIVE
PRODUCTION
MODELLING
.
191
7.3.1
PRODUCTION
CELL
.
191
7.3.2
OPERATIONS
ON
STOCKS
.
192
7.3.3
PRODUCTION
OPERATIONS
.
194
7.3.4
PRODUCTION
OPERATIONS:
FEASIBILITY
.
197
7.3.5
PRODUCTION
OPERATIONS:
EXECUTION
.
200
7.3.6
PRODUCTION
OPERATIONS:
CONCURRENCY
.
201
7.3.7
PRODUCTION
PROCESSES
.
203
7.3.8
PRODUCTION
PROCESSES:
CONCURRENCY
.
205
7.3.9
PRODUCTION
WITH
SEVERAL
PRODUCTION
CELLS
.
207
7.4
PRESCRIPTIVE
PRODUCTION
MODELLING
.
209
7.5
RELATING
DESCRIPTIVE
AND
PRESCRIPTIVE
MODELS
.
210
7.5.1
SEQUENTIAL
PRODUCTION
.
211
7.5.2
CONCURRENT
PRODUCTION
.
213
7.5.3
DISTRIBUTED
PRODUCTION
.
214
7.5.4
REAL-TIME
PRODUCTION
.
215
7.6
CONCLUSIONS
.
215
8.
MODEL-BASED
TRAVEL
PLANNING
.
219
8.1
INTRODUCTION
.
219
8.2
BASIC
CONCEPTS
.
220
8.3
MODELLING
FOR
TRAVEL
PLANNING
.
222
8.3.1
HOME
.
222
8.3.2
PLACES
.
223
8.3.3
ORDERING
.
223
8.3.4
SEQUENCING
.
225
CONTENTS
XIII
8.3.5
DURATIONS
.
226
8.3.6
ARRIVALS
.
227
8.4
CORRECTNESS:
RELATING
LYAVEL
PLANS
.
230
8.5
DEVELOPMENT:
BUILDING
TRAVEL
PLANS
.
231
8.5.1
EMPTY
PLAN
.
232
8.5.2
ADDING
PLACES
.
232
8.5.3
ADDING
ORDER
CONSTRAINTS
.
233
8.5.4
CHOOSING
SUCCESSORS
.
235
8.5.5
ADDING
DURATIONS
.
235
8.5.6
ADDING
ARRIVALS
.
236
8.5.7
EXTENDING
DURATIONS
.
238
8.5.8
ADVANCING
ARRIVALS
.
239
8.6
MODEL-BASED
TRAVEL
ASSISTANT
.
240
8.7
CONCLUSIONS
.
241
9.
PROVING
SAFETY
OF
AUTHENTICATION
PROTOCOLS
.
243
9.1
INTRODUCTION
.
243
9.2
THE
NEEDHAM-SCHROEDER
PROTOCOL
.
244
9.3
FORMALISATION
.
246
9.3.1
ASSUMPTIONS
.
247
9.3.2
RULES
OF
THE
PROTOCOL
.
250
9.3.3
SAFETY
OF
THE
PROTOCOL
.
251
9.3.4
PROOF
OF
SAFETY
.
251
9.3.5
VALIDATION
.
252
9.4
THE
SSL
PROTOCOL
.
253
9.5
PRINCIPLES
.
256
9.6
RELATED
WORK
.
257
10.
FORMALISATION
OF
REALM-BASED
SPATIAL
DATA
TYPES
.
259
10.1
INTRODUCTION
.
259
10.2
BASIC
TYPES:
GRID,
GRID
POINT,
AND
GRID
SEGMENT
.
261
10.3
POLYGONAL
LINES
AND
SEGMENT
ENVELOPES
.
264
10.4
REALMS
.
273
10.5
REALM-BASED
GEOMETRY
.
276
10.5.1
CYCLES
.
277
10.5.2
FACES
.
281
10.5.3
R-UNITS
.
283
10.5.4
BLOCKS
.
284
10.6
CONCLUSION
.
285
11.
OBJECT-ORIENTED
DESIGN
PATTERNS
.
287
11.1
INTRODUCTION
.
287
11.2
A
FORMAL
MODEL
OF
OBJECT-ORIENTED
DESIGN
.
288
11.2.1
THE
EXTENDED
OMT
NOTATION
.
288
11.2.2
FORMALISING
THE
COMPONENTS
OF
THE
MODEL
.
291
XIV
CONTENTS
11.2.3
A
FORMAL
MODEL
OF
AN
OBJECT-ORIENTED
DESIGN
.
301
11.3
LINKING
DESIGNS
TO
PATTERNS
.
301
11.4
SPECIFYING
PROPERTIES
OF
PATTERNS
.
305
11.5
EXTENDING
TO
MULTIPLE
PATTERNS
.
310
11.6
CONCLUSIONS
.
313
12.
AUTOMATED
RESULT
VERIFICATION
WITH
AWK
.
315
12.1
INTRODUCTION
.
315
12.2
MODELLING
A
PROGRAM
.
317
12.3
PROGRAM
EXECUTION
RECORD
.
319
12.3.1
OPERATIONS
AND
EXECUTION
.
319
12.3.2
OBSERVATIONS,
RECORDS
AND
WRAPPING
.
320
12.3.3
RECORD-BASED
ERROR
DETECTION
.
322
12.4
RESULT
VERIFICATION
.
322
12.4.1
VERIFIERS
AS
TOTAL
FUNCTIONS
.
323
12.4.2
VERIFIERS
AS
PARTIAL
FUNCTIONS
.
325
12.4.3
STRUCTURE
OF
A
VERIFIER
PROGRAM
.
327
12.5
RESULT
SPECIFICATIONS
.
328
12.5.1
SYNTAX
OF
RESULT
SPECIFICATIONS
.
328
12.5.2
EXAMPLES
OF
RESULT
SPECIFICATIONS
.
329
12.5.3
SEMANTICS
OF
RESULT
SPECIFICATIONS
.
330
12.6
COMPOSITION
OF
RESULT
SPECIFICATIONS
.
331
12.6.1
BINARY
CHECKING
.
331
12.6.2
OBSERVATION-BASED
CHECKING
.
332
12.7
SPECIFICATION-TO-VERIFIER
GENERATOR
.
334
12.7.1
VERIFIER
GENERATOR
.
334
12.7.2
VERIFICATION
WITH
GENERATED
VERIFIERS
.
336
12.8
APPLICATION:
WWW
ACCESS
LOG
.
337
12.9
CONCLUSIONS
.
338
13.
FAIL-STOP
COMPONENTS
BY
PATTERN
MATCHING
.
341
13.1
INTRODUCTION
.
341
13.2
COMPONENTS
.
343
13.3
FAULT-FREE
VERSUS
FAIL-STOP
COMPONENTS
.
344
13.4
FAIL-STOP
COMPONENTS
BY
PATTERN
MATCHING
.
347
13.4.1
INVARIANTS
.
347
13.4.2
ACTIONS
.
348
13.4.3
PATTERNS
.
348
13.4.4
FIRST
ORDER
PATTERNS
.
351
13.4.5
HIGHER
ORDER
PATTERNS
.
352
13.5
EXAMPLE:
LINE
EDITOR
.
353
13.6
SPECIFYING
THE
WRAPPER
GENERATOR
.
355
13.6.1
COMPONENTS
.
355
13.6.2
INVARIANTS
AND
ACTIONS
.
358
13.6.3
PATTERNS
.
359
CONTENTS
XV
13.6.4
WRAPPING
.
361
13.7
IMPLEMENTING
THE
WRAPPER
GENERATOR
.
365
13.8
CONCLUSIONS
.
367
14.
AN
INFRASTRUCTURE
FOR
SOFTWARE
REUSE
.
369
14.1
INTRODUCTION
.
369
14.2
THE
REUSE
INFRASTRUCTURE
.
370
14.3
THE
QUERY
SYSTEM
.
380
14.3.1
STRUCTURAL
KEYWORD
QUERIES
.
381
14.3.2
STRUCTURAL
ATTRIBUTE
QUERIES
.
381
14.3.3
FUNCTIONAL
FACET
QUERIES
.
385
14.3.4
SIGNATURE
MATCHING
.
387
14.3.5
PROCESSING
AND
REFINING
QUERIES
.
390
14.4
CONCLUSIONS
.
392
ABOUT
THE
EDITORS
.
393
ABOUT
THE
WEB
SITE
.
395
REFERENCES
.
397 |
| any_adam_object | 1 |
| author_GND | (DE-588)123369134 |
| building | Verbundindex |
| bvnumber | BV014140013 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758 |
| callnumber-search | QA76.758 |
| callnumber-sort | QA 276.758 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)48629033 (DE-599)BVBBV014140013 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| 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 a22000008c 4500</leader><controlfield tag="001">BV014140013</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020619</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020205s2002 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">963165909</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1852333596</subfield><subfield code="9">1-85233-359-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48629033</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014140013</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.758</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">21</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">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specification case studies in RAISE</subfield><subfield code="c">Hung Dang Van ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong</subfield><subfield code="b">Springer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 405 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="4"><subfield code="a">Software engineering</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">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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">Entwurfsmuster</subfield><subfield code="0">(DE-588)4546895-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Anwendungssystem</subfield><subfield code="0">(DE-588)4139375-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Anwendungssystem</subfield><subfield code="0">(DE-588)4139375-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Entwurfsmuster</subfield><subfield code="0">(DE-588)4546895-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Van, Hung Dang</subfield><subfield code="d">1950-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)123369134</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=009689414&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-009689414</subfield></datafield></record></collection> |
| id | DE-604.BV014140013 |
| illustrated | Illustrated |
| indexdate | 2024-08-24T00:36:02Z |
| institution | BVB |
| isbn | 1852333596 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009689414 |
| oclc_num | 48629033 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | XV, 405 S. graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer |
| record_format | marc |
| series2 | Formal approaches to computing and information technology |
| spelling | Specification case studies in RAISE Hung Dang Van ... (ed.) London ; Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong Springer 2002 XV, 405 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Formal approaches to computing and information technology Software engineering Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf Entwurfsmuster (DE-588)4546895-3 gnd rswk-swf Anwendungssystem (DE-588)4139375-2 gnd rswk-swf Spezifikationssprache (DE-588)4182217-1 gnd rswk-swf Anwendungssystem (DE-588)4139375-2 s Softwareentwicklung (DE-588)4116522-6 s Softwarespezifikation (DE-588)4056186-0 s Entwurfsmuster (DE-588)4546895-3 s Spezifikationssprache (DE-588)4182217-1 s Formale Spezifikationstechnik (DE-588)4299725-2 s DE-604 Van, Hung Dang 1950- Sonstige (DE-588)123369134 oth DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009689414&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Specification case studies in RAISE Software engineering Softwareentwicklung (DE-588)4116522-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Entwurfsmuster (DE-588)4546895-3 gnd Anwendungssystem (DE-588)4139375-2 gnd Spezifikationssprache (DE-588)4182217-1 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4056186-0 (DE-588)4299725-2 (DE-588)4546895-3 (DE-588)4139375-2 (DE-588)4182217-1 |
| title | Specification case studies in RAISE |
| title_auth | Specification case studies in RAISE |
| title_exact_search | Specification case studies in RAISE |
| title_full | Specification case studies in RAISE Hung Dang Van ... (ed.) |
| title_fullStr | Specification case studies in RAISE Hung Dang Van ... (ed.) |
| title_full_unstemmed | Specification case studies in RAISE Hung Dang Van ... (ed.) |
| title_short | Specification case studies in RAISE |
| title_sort | specification case studies in raise |
| topic | Software engineering Softwareentwicklung (DE-588)4116522-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd Entwurfsmuster (DE-588)4546895-3 gnd Anwendungssystem (DE-588)4139375-2 gnd Spezifikationssprache (DE-588)4182217-1 gnd |
| topic_facet | Software engineering Softwareentwicklung Softwarespezifikation Formale Spezifikationstechnik Entwurfsmuster Anwendungssystem Spezifikationssprache |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009689414&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT vanhungdang specificationcasestudiesinraise |