Software engineering: 2 Specification of systems and languages
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2006
|
| Schriftenreihe: | Texts in theoretical computer science
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XXIV, 777 S. graph. Darst. |
| ISBN: | 3540211500 9783540211501 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV019685993 | ||
| 003 | DE-604 | ||
| 005 | 20060901 | ||
| 007 | t | ||
| 008 | 050204s2006 d||| |||| 00||| eng d | ||
| 020 | |a 3540211500 |9 3-540-21150-0 | ||
| 020 | |a 9783540211501 |9 978-3-540-21150-1 | ||
| 035 | |a (OCoLC)255193197 | ||
| 035 | |a (DE-599)BVBBV019685993 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-824 |a DE-1050 |a DE-573 |a DE-1051 |a DE-703 |a DE-473 |a DE-83 |a DE-634 |a DE-11 | ||
| 050 | 0 | |a QA76.758 | |
| 082 | 0 | |a 005.1 |2 22 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Bjørner, Dines |d 1937- |e Verfasser |0 (DE-588)10903046X |4 aut | |
| 245 | 1 | 0 | |a Software engineering |n 2 |p Specification of systems and languages |c Dines Bjørner |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2006 | |
| 300 | |a XXIV, 777 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Texts in theoretical computer science | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Software engineering | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 773 | 0 | 8 | |w (DE-604)BV019685982 |g 2 |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013013889&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-013013889 | ||
Datensatz im Suchindex
| _version_ | 1804133128844869632 |
|---|---|
| adam_text | Preface
The present volume is the second of three volumes on the engineering princi¬
ples and techniques of software engineering. We refer to the Preface of Vol. 1,
as well as to Chap. 1 of that same volume, for a proper preface and over¬
all introduction to all volumes in this series. We assume that the reader has
studied Vol. 1.
Overview
The present volume focuses on principles and techniques for specifying lan¬
guages and systems. It uses the abstraction and modelling principles, tech¬
niques and tools covered in Vol. 1, and it supplements those principles, tech¬
niques and tools with additional ones. In particular the present volume em¬
phasises the following four aspects:
• advanced specification facets:
• hierarchies and composition Chap. 2
• denotations and computations Chap. 3
• configurations: contexts and states Chap. 4
• time, space and space/time Chap. 5
• modularisation and Chap. 10
• automata and machines Chap. 11
• linguistics:
• pragmatics Chap. 6
• semantics Chap. 7
• syntax and Chap. 8
• semiotics Chap. 9
• concurrency and temporality:
• Petri nets Chap. 12
• message sequence charts and live sequence charts Chap. 13
• statecharts and Chap. 14
VIII
* quantitative models of time Chap. 15
• interpreter and compiler definitions:
* applicative programming languages Chap. 16
* imperative programming languages Chap. 17
* modular programming languages and Chap. 18
* parallel programming languages Chap. 19
UML Msing Formal Techniques
Some notable features should be emphasised here. The concurrency aspect,
Chaps. 12 14, also illustrates diagrammatic specifications, as does Sect. 10.3
(UML class diagrams). Together this material illustrates that popular features
of the Unified Modeling Language (UML [59,237,382,440]) can simply and
elegantly be included, Le., used, with RSL. Christian Krog Madsen is the main
author of Chaps. 12 14.
The RAISE Specification Language: RSL
As in Vol. 1, we use RSL extensively in the present volume. Hence we in¬
sert, in Chap. 1, an RSL Primer — and otherwise refer to the RAISE URL:
http://www.iist.unu.edu/raise/.
Acknowledgments
The preface of Vol. 1 contained an extensive acknowledgment section.
Combining RSL with Petri nets (Chap. 12), with message or live sequence
charts (Chap. 13), and with statecharts (Chap. 14) is due primarily to Chris¬
tian Krog Madsen [316,317]. Very many and dear thanks are therefore ex¬
tended to Christian. Combining RSL with UML like class diagrams (Sect. 10.3)
is due primarily to Steffen Holmslykke [9,10]. Similar thanks are therefore gra¬
ciously extended to Steffen. Martin Penicka is likewise dearly acknowledged
for having provided Examples 12.8 (Sect. 12.3.4), 14.7 (Sect. 14.4.1) and 14.8
(Sect. 14.4.2).
Colleagues at the National University of Singapore, Andrei Stefan and
Yang ShaoFa, studied and proofread Chaps. 12 15. It was with Yang ShaoFa,
as the leading person, that I decided to work out the model of CTP (Commu¬
nicating Transaction Processes) of Sect. 13.6. Their comments and work are
much appreciated.
A main source of academic joy has been the 30 years I have been at the
Technical University of Denmark, 1976 till now.
Last, but not least, I acknowledge the tremendous support received from
the Springer editor, Ronan Nugent.
|
| any_adam_object | 1 |
| author | Bjørner, Dines 1937- |
| author_GND | (DE-588)10903046X |
| author_facet | Bjørner, Dines 1937- |
| author_role | aut |
| author_sort | Bjørner, Dines 1937- |
| author_variant | d b db |
| building | Verbundindex |
| bvnumber | BV019685993 |
| 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 |
| ctrlnum | (OCoLC)255193197 (DE-599)BVBBV019685993 |
| 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>01535nam a2200397 cc4500</leader><controlfield tag="001">BV019685993</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060901 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050204s2006 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540211500</subfield><subfield code="9">3-540-21150-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540211501</subfield><subfield code="9">978-3-540-21150-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255193197</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019685993</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</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">22</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="100" ind1="1" ind2=" "><subfield code="a">Bjørner, Dines</subfield><subfield code="d">1937-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)10903046X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software engineering</subfield><subfield code="n">2</subfield><subfield code="p">Specification of systems and languages</subfield><subfield code="c">Dines Bjørner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIV, 777 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">Texts in theoretical computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</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">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="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="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV019685982</subfield><subfield code="g">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=013013889&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013013889</subfield></datafield></record></collection> |
| id | DE-604.BV019685993 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T20:03:48Z |
| institution | BVB |
| isbn | 3540211500 9783540211501 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013013889 |
| oclc_num | 255193197 |
| open_access_boolean | |
| owner | DE-824 DE-1050 DE-573 DE-1051 DE-703 DE-473 DE-BY-UBG DE-83 DE-634 DE-11 |
| owner_facet | DE-824 DE-1050 DE-573 DE-1051 DE-703 DE-473 DE-BY-UBG DE-83 DE-634 DE-11 |
| physical | XXIV, 777 S. graph. Darst. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Springer |
| record_format | marc |
| series2 | Texts in theoretical computer science |
| spelling | Bjørner, Dines 1937- Verfasser (DE-588)10903046X aut Software engineering 2 Specification of systems and languages Dines Bjørner Berlin [u.a.] Springer 2006 XXIV, 777 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Texts in theoretical computer science Computer programming Software engineering Software Engineering (DE-588)4116521-4 gnd rswk-swf Software Engineering (DE-588)4116521-4 s DE-604 (DE-604)BV019685982 2 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013013889&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bjørner, Dines 1937- Software engineering Computer programming Software engineering Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 |
| title | Software engineering |
| title_auth | Software engineering |
| title_exact_search | Software engineering |
| title_full | Software engineering 2 Specification of systems and languages Dines Bjørner |
| title_fullStr | Software engineering 2 Specification of systems and languages Dines Bjørner |
| title_full_unstemmed | Software engineering 2 Specification of systems and languages Dines Bjørner |
| title_short | Software engineering |
| title_sort | software engineering specification of systems and languages |
| topic | Computer programming Software engineering Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Computer programming Software engineering Software Engineering |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013013889&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV019685982 |
| work_keys_str_mv | AT bjørnerdines softwareengineering2 |