Fundamental approaches to software engineering: first international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1998
|
| Schriftenreihe: | Lecture notes in computer science
1382 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 329 S. graph. Darst. |
| ISBN: | 3540643036 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011801650 | ||
| 003 | DE-604 | ||
| 005 | 20070424 | ||
| 007 | t| | ||
| 008 | 980223s1998 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 952934426 |2 DE-101 | |
| 020 | |a 3540643036 |9 3-540-64303-6 | ||
| 035 | |a (OCoLC)38550678 | ||
| 035 | |a (DE-599)BVBBV011801650 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-20 |a DE-384 |a DE-739 |a DE-29T |a DE-19 |a DE-824 |a DE-634 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.758.F37 1998 | |
| 082 | 0 | |a 005.1 21 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Fundamental approaches to software engineering |b first international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings |c Egidio Astesiano (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1998 | |
| 300 | |a XII, 329 S. |b 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 1382 | |
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 4 | |a Génie logiciel - Congrès | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 4 | |a Software engineering -- Congresses | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1998 |z Lissabon |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Astesiano, Egidio |d 1939- |e Sonstige |0 (DE-588)11815351X |4 oth | |
| 711 | 2 | |a FASE |n 1 |d 1998 |c Lissabon |j Sonstige |0 (DE-588)2168736-5 |4 oth | |
| 711 | 2 | |a ETAPS |n 1 |d 1998 |c Lissabon |j Sonstige |0 (DE-588)2168738-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1382 |w (DE-604)BV000000607 |9 1382 | |
| 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=007968208&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007968208 | |
Datensatz im Suchindex
| _version_ | 1820874872276910080 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
PAPERS
K.
BECK
EXTREME
PROGRAMMING:
A
HUMANISTIC
DISCIPLINE
OF
SOFTWARE
DEVELOPMENT
1
C.
B.
JONES
SOME
MISTAKES
I
HAVE
MADE
AND
WHAT
I
HAVE
LEARNED
FROM
THEM
7
CONTRIBUTED
PAPERS
R.
ALLEN,
R.
DOUENCE,
D.
GARLAN
SPECIFYING
AND
ANALYZING
DYNAMIC
SOFTWARE
ARCHITECTURES
21
N.
BERREGEB,
A.
BOUHOULA,
M.
RUSINOWITCH
OBSERVATIONAL
PROOFS
WITH
CRITICAL
CONTEXTS
38
S.
BRADLEY,
W.
HENDERSON,
D.
KENDALL,
A.
ROBSON
INTEGRATING
AORTA
WITH
MODEL-BASED
DATA
SPECIFICATION
LANGUAGES
54
R.
BIISSOW,
R.
GEISLER,
M.
KLAR
SPECIFYING
SAFETY-CRITICAL
EMBEDDED
SYSTEMS
WITH
STATECHARTS
AND
Z:
A
CASE
STUDY
71
W.
GRIESKAMP,
M.
HEISEI,
H.
DOERR
SPECIFYING
EMBEDDED
SYSTEMS
WITH
STATECHARTS
AND
Z:
AN
AGENDA
FOR
CYCLIC
SOFTWARE
COMPONENTS
88
M.
GROFIE-RHODE
ALGEBRA
TRANSFORMATION
SYSTEMS
AND
THEIR
COMPOSITION
107
A.
HAMIE,
J.
HOWSE,
S.
KENT
NAVIGATION
EXPRESSIONS
IN
OBJECT-ORIENTED
MODELLING
123
R.
HECKEL
COMPOSITIONAL
VERIFICATION
OF
REACTIVE
SYSTEMS
SPECIFIED
BY
GRAPH
TRANSFORMATION
138
S.
KAHRS,
D.
SANNELLA
REFLECTIONS
ON
THE
DESIGN
OF
A
SPECIFICATION
LANGUAGE
154
U.
LECHNER
CONSTRUCTS,
CONCEPTS
AND
CRITERIA
FOR
REUSE
IN
CONCURRENT
OBJECT-ORIENTED
LANGUAGES
171
XII
T.
MARGARIA,
B.
STEFFEN
BACKTRACKING-FREE
DESIGN
PLANNING
BY
AUTOMATIC
SYNTHESIS
IN
METAFRAME
188
A.
MOTA,
A.
SAMPAIO
MODEL-CHECKING
CSP-Z
205
J.
PADBERG,
M.
GAJEWSKY,
C.
ERMEL
RULE-BASED
REFINEMENT
OF
HIGH-LEVEL
NETS
PRESERVING
SAFETY
PROPERTIES
221
J.N.
REED,
D.M.
JACKSON,
B.
DEIANOV,
G.M.
REED
AUTOMATED
FORMAL
ANALYSIS
OF
NETWORKS:
FDR
MODELS
OF
ARBITRARY
TOPOLOGIES
AND
FLOW-CONTROL
MECHANISMS
239
H.
RIIS
NIELSON,
T.
AMTOFT,
F.
NIELSON
BEHAVIOUR
ANALYSIS
AND
SAFETY
CONDITIONS:
A
CASE
STUDY
IN
CML
255
A.
SANDHOLM,
M.I.
SCHWARTZBACH
DISTRIBUTED
SAFETY
CONTROLLERS
FOR
WEB
SERVICES
270
P.
SCHOLZ
A
REFINEMENT
CALCULUS
FOR
STATECHARTS
285
B.E.
SUCROW
REFINING
FORMAL
SPECIFICATIONS
OF
HUMAN
COMPUTER
INTERACTION
BY
GRAPH
REWRITE
RULES
302
DEMOS
R.
BEHNKE,
R.
BERGHAMMER,
E.
MEYER,
P.
SCHNEIDER
RELVIEW
-
A
SYSTEM
FOR
CALCULATING
WITH
RELATIONS
AND
RELATIONAL
PROGRAMMING
318
E.
DUBOIS
ALBERT:
A
FORMAL
LANGUAGE
AND
ITS
SUPPORTING
TOOLS
FOR
REQUIREMENTS
ENGINEERING
322
J.
TAPKEN
MOBY/PLC
-
A
DESIGN
TOOL
FOR
HIERARCHICAL
REAL-TIME
AUTOMATA
326
AUTHOR
INDEX
331 |
| any_adam_object | 1 |
| author_GND | (DE-588)11815351X |
| building | Verbundindex |
| bvnumber | BV011801650 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758.F37 1998 |
| callnumber-search | QA76.758.F37 1998 |
| callnumber-sort | QA 276.758 F37 41998 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | DAT 510f DAT 310f |
| ctrlnum | (OCoLC)38550678 (DE-599)BVBBV011801650 |
| dewey-full | 005.121 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 21 005.1 |
| dewey-search | 005.1 21 005.1 |
| dewey-sort | 15.1 221 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV011801650</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070424</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980223s1998 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952934426</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540643036</subfield><subfield code="9">3-540-64303-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38550678</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011801650</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><subfield code="a">DE-20</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.758.F37 1998</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1 21</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 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</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">Fundamental approaches to software engineering</subfield><subfield code="b">first international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings</subfield><subfield code="c">Egidio Astesiano (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 329 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="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1382</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Génie logiciel - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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="y">1998</subfield><subfield code="z">Lissabon</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">Astesiano, Egidio</subfield><subfield code="d">1939-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)11815351X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FASE</subfield><subfield code="n">1</subfield><subfield code="d">1998</subfield><subfield code="c">Lissabon</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2168736-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">1</subfield><subfield code="d">1998</subfield><subfield code="c">Lissabon</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2168738-9</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">1382</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1382</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=007968208&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-007968208</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1998 Lissabon gnd-content |
| genre_facet | Konferenzschrift 1998 Lissabon |
| id | DE-604.BV011801650 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:37Z |
| institution | BVB |
| institution_GND | (DE-588)2168736-5 (DE-588)2168738-9 |
| isbn | 3540643036 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007968208 |
| oclc_num | 38550678 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-20 DE-384 DE-739 DE-29T DE-19 DE-BY-UBM DE-824 DE-634 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-20 DE-384 DE-739 DE-29T DE-19 DE-BY-UBM DE-824 DE-634 DE-83 DE-188 DE-706 |
| physical | XII, 329 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Fundamental approaches to software engineering first international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings Egidio Astesiano (ed.) Berlin [u.a.] Springer 1998 XII, 329 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1382 Engenharia de programacao (software) larpcal Génie logiciel - Congrès Programmatuurtechniek gtt Software engineering -- Congresses Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1998 Lissabon gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Astesiano, Egidio 1939- Sonstige (DE-588)11815351X oth FASE 1 1998 Lissabon Sonstige (DE-588)2168736-5 oth ETAPS 1 1998 Lissabon Sonstige (DE-588)2168738-9 oth Lecture notes in computer science 1382 (DE-604)BV000000607 1382 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007968208&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Fundamental approaches to software engineering first international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings Lecture notes in computer science Engenharia de programacao (software) larpcal Génie logiciel - Congrès Programmatuurtechniek gtt Software engineering -- Congresses Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)1071861417 |
| title | Fundamental approaches to software engineering first international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings |
| title_auth | Fundamental approaches to software engineering first international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings |
| title_exact_search | Fundamental approaches to software engineering first international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings |
| title_full | Fundamental approaches to software engineering first international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings Egidio Astesiano (ed.) |
| title_fullStr | Fundamental approaches to software engineering first international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings Egidio Astesiano (ed.) |
| title_full_unstemmed | Fundamental approaches to software engineering first international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings Egidio Astesiano (ed.) |
| title_short | Fundamental approaches to software engineering |
| title_sort | fundamental approaches to software engineering first international conference fase 98 held as part of the joint european conferences on theory and practice of software etaps 98 lisbon portugal march 28 april 4 1998 proceedings |
| title_sub | first international conference, FASE '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 ; proceedings |
| topic | Engenharia de programacao (software) larpcal Génie logiciel - Congrès Programmatuurtechniek gtt Software engineering -- Congresses Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Engenharia de programacao (software) Génie logiciel - Congrès Programmatuurtechniek Software engineering -- Congresses Software Engineering Konferenzschrift 1998 Lissabon |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007968208&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT astesianoegidio fundamentalapproachestosoftwareengineeringfirstinternationalconferencefase98heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps98lisbonportugalmarch28april41998proceedings AT faselissabon fundamentalapproachestosoftwareengineeringfirstinternationalconferencefase98heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps98lisbonportugalmarch28april41998proceedings AT etapslissabon fundamentalapproachestosoftwareengineeringfirstinternationalconferencefase98heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps98lisbonportugalmarch28april41998proceedings |