Verfügbarkeit: CASL user manual

CASL user manual: introduction to using the common algebraic specification language

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bidoit, Michel (VerfasserIn), Mosses, Peter D. 1948- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Berlin u.a. Springer 2004
Schriftenreihe:	Lecture notes in computer science 2900 : Tutorial
Schlagworte:	CASL (Langage de programmation) CASL (Computer program language) CD-ROM CASL
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	XIII, 240 S. CD-ROM (12 cm)
ISBN:	354020766X

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV017828465
003	DE-604
005	20181011
007	t
008	040203s2004 gw \|\|\|\| 00\|\|\| eng d
016	7		\|a 969607571 \|2 DE-101
020			\|a 354020766X \|9 3-540-20766-X
035			\|a (OCoLC)54046553
035			\|a (DE-599)BVBBV017828465
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-91G \|a DE-384 \|a DE-739 \|a DE-706 \|a DE-11
050		0	\|a QA76.73.C158
082	0		\|a 005.13/3 \|2 22
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 358f \|2 stub
084			\|a DAT 335f \|2 stub
100	1		\|a Bidoit, Michel \|e Verfasser \|4 aut
245	1	0	\|a CASL user manual \|b introduction to using the common algebraic specification language \|c Michel Bidoit ; Peter D. Mosses
264		1	\|a Berlin u.a. \|b Springer \|c 2004
300			\|a XIII, 240 S. \|e CD-ROM (12 cm)
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 2900 : Tutorial
650		4	\|a CASL (Langage de programmation)
650		7	\|a CASL (Langage de programmation) \|2 rasuqam
650		4	\|a CASL (Computer program language)
650	0	7	\|a CD-ROM \|0 (DE-588)4139307-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a CASL \|0 (DE-588)4769218-2 \|2 gnd \|9 rswk-swf
689	0	0	\|a CASL \|0 (DE-588)4769218-2 \|D s
689	0		\|5 DE-604
689	1	0	\|a CASL \|0 (DE-588)4769218-2 \|D s
689	1	1	\|a CD-ROM \|0 (DE-588)4139307-7 \|D s
689	1		\|5 DE-604
700	1		\|a Mosses, Peter D. \|d 1948- \|e Verfasser \|0 (DE-588)1089492286 \|4 aut
830		0	\|a Lecture notes in computer science \|v 2900 : Tutorial \|w (DE-604)BV000000607 \|9 2900
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=010701558&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-010701558

Datensatz im Suchindex

_version_	1804130516395360256
adam_text	CONTENTS PART I BACKGROUND 1 INTRODUCTION ............................................... 3 1.1 COFI ................................................. 3 1.2 C ASL ................................................. 7 2 UNDERLYING CONCEPTS ...................................... 11 2.1 BASICSPECIFICATIONS..................................... 11 2.2 STRUCTUREDSPECIFICATIONS ................................ 15 2.3 ARCHITECTURALSPECIFICATIONS.............................. 19 2.4 LIBRARIESOFSPECIFICATIONS ............................... 20 PART II C ASL SPECIFICATIONS 3 GETTING STARTED ............................................ 23 3.1 LOOSESPECIFICATIONS .................................... 24 3.2 GENERATEDSPECIFICATIONS ................................ 33 3.3 FREESPECIFICATIONS...................................... 36 4 PARTIAL FUNCTIONS .......................................... 47 4.1 DECLARINGPARTIALFUNCTIONS.............................. 47 4.2 SPECIFYINGDOMAINSOFDEFINITION ......................... 50 4.3 PARTIALSELECTORSANDCONSTRUCTORS........................ 54 4.4 EXISTENTIALEQUALITY .................................... 55 5 SUBSORTING ................................................. 57 5.1 SUBSORT DECLARATIONS AND DEFINITIONS . . . . . . . . . . . . . . . . . . . . . . 57 5.2 SUBSORTS AND OVERLOADING . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 5.3 SUBSORTS AND PARTIALITY . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 XII CONTENTS 6 STRUCTURING SPECIFICATIONS .................................. 67 6.1 UNIONANDEXTENSION ................................... 67 6.2 RENAMING ............................................. 69 6.3 HIDING ................................................ 71 6.4 LOCALSPECIFICATIONS..................................... 73 6.5 NAMEDSPECIFICATIONS ................................... 75 7 GENERIC SPECIFICATIONS ..................................... 77 7.1 PARAMETERSANDINSTANTIATION ............................ 78 7.2 COMPOUNDSYMBOLS .................................... 85 7.3 GENERICSPECIFICATIONSWITHIMPORTS....................... 88 7.4 VIEWS................................................. 90 8 SPECIFYING THE ARCHITECTURE OF IMPLEMENTATIONS ............ 93 8.1 ARCHITECTURALSPECIFICATIONS.............................. 95 8.2 GENERICCOMPONENTS....................................100 8.3 WRITING MEANINGFUL ARCHITECTURAL SPECIFICATIONS . . . . . . . . . . . . 106 9 LIBRARIES ................................................... 111 9.1 LOCALLIBRARIES.........................................112 9.2 DISTRIBUTEDLIBRARIES....................................116 9.3 VERSIONCONTROL ........................................120 PART III CARRYING ON 10 FOUNDATIONS ............................................... 125 11 TOOLS ...................................................... 131 11.1 THE HETEROGENEOUS TOOL SET (H ETS ) ......................132 11.2 H OL -C ASL .............................................138 11.3 A SF +S DF PARSERANDSYNTAX-DIRECTEDEDITOR ..............139 11.4 OTHERTOOLS ...........................................140 12 BASIC LIBRARIES ............................................ 143 12.1 LIBRARY BASIC/NUMBERS ...............................144 12.2 LIBRARY BASIC/STRUCTUREDDATATYPES ..................147 13 CASE STUDY: THE STEAM-BOILER CONTROL SYSTEM ............ 155 13.1 INTRODUCTION...........................................156 13.2 GETTINGSTARTED ........................................157 13.3 CARRYINGON...........................................161 13.4 SPECIFYINGTHEMODEOFOPERATION ........................163 13.5 SPECIFYING THE DETECTION OF EQUIPMENT FAILURES . . . . . . . . . . . . 167 13.6 PREDICTINGTHEBEHAVIOROFTHESTEAM-BOILER ...............176 13.7 SPECIFYINGTHEMESSAGESTOSEND..........................182 CONTENTS XIII 13.8 THESTEAM-BOILERCONTROLSYSTEMSPECIFICATION.............183 13.9 VALIDATION OF THE C ASL REQUIREMENTS SPECIFICATION . . . . . . . . . . 184 13.10 DESIGNINGTHEARCHITECTURE ..............................186 APPENDICES AC ASL QUICK REFERENCE ..................................... 193 A.1 BASICSPECIFICATIONS.....................................194 A.2 STRUCTUREDSPECIFICATIONS ................................199 A.3 ARCHITECTURALSPECIFICATIONS..............................200 A.4 LIBRARIES ..............................................201 BPO I N T S T O B E A R I N M I N D ................................ .... 203 B.1 INTRODUCTION...........................................203 B.2 UNDERLYINGCONCEPTS....................................203 B.3 GETTINGSTARTED ........................................204 B.4 PARTIALFUNCTIONS.......................................205 B.5 SUBSORTING . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206 B.6 STRUCTURINGSPECIFICATIONS ...............................206 B.7 GENERICSPECIFICATIONS...................................207 B.8 SPECIFYINGTHEARCHITECTUREOFIMPLEMENTATIONS ............207 B.9 LIBRARIES ..............................................208 B.10 FOUNDATIONS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209 B.11 TOOLS .................................................209 B.12 BASICLIBRARIES.........................................210 C THE STEAM-BOILER CONTROL SPECIFICATION PROBLEM .......... 211 C.1 INTRODUCTION...........................................211 C.2 PHYSICALENVIRONMENT...................................212 C.3 THEOVERALLOPERATIONOFTHEPROGRAM....................214 C.4 OPERATIONMODESOFTHEPROGRAM.........................214 C.5 MESSAGESSENTBYTHEPROGRAM...........................216 C.6 MESSAGES RECEIVED BY THE PROGRAM . . . . . . . . . . . . . . . . . . . . . . . 217 C.7 DETECTIONOFEQUIPMENTFAILURES..........................219 REFERENCES ..................................................... 221 LIST OF NAMED SPECIFICATIONS ................................... 225 INDEX OF LIBRARY AND SPECIFICATION NAMES ..................... 231 CONCEPT INDEX ................................................. 235
any_adam_object	1
author	Bidoit, Michel Mosses, Peter D. 1948-
author_GND	(DE-588)1089492286
author_facet	Bidoit, Michel Mosses, Peter D. 1948-
author_role	aut aut
author_sort	Bidoit, Michel
author_variant	m b mb p d m pd pdm
building	Verbundindex
bvnumber	BV017828465
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.73.C158
callnumber-search	QA76.73.C158
callnumber-sort	QA 276.73 C158
callnumber-subject	QA - Mathematics
classification_rvk	SS 4800
classification_tum	DAT 358f DAT 335f
ctrlnum	(OCoLC)54046553 (DE-599)BVBBV017828465
dewey-full	005.13/3
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.13/3
dewey-search	005.13/3
dewey-sort	15.13 13
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>01947nam a2200505zcb4500</leader><controlfield tag="001">BV017828465</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181011 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">040203s2004 gw \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">969607571</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354020766X</subfield><subfield code="9">3-540-20766-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)54046553</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017828465</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.73.C158</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 358f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bidoit, Michel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">CASL user manual</subfield><subfield code="b">introduction to using the common algebraic specification language</subfield><subfield code="c">Michel Bidoit ; Peter D. Mosses</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 240 S.</subfield><subfield code="e">CD-ROM (12 cm)</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">2900 : Tutorial</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">CASL (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">CASL (Langage de programmation)</subfield><subfield code="2">rasuqam</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">CASL (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CASL</subfield><subfield code="0">(DE-588)4769218-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">CASL</subfield><subfield code="0">(DE-588)4769218-2</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">CASL</subfield><subfield code="0">(DE-588)4769218-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">CD-ROM</subfield><subfield code="0">(DE-588)4139307-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mosses, Peter D.</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1089492286</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">2900 : Tutorial</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2900</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=010701558&sequence=000001&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-010701558</subfield></datafield></record></collection>
id	DE-604.BV017828465
illustrated	Not Illustrated
indexdate	2024-07-09T19:22:16Z
institution	BVB
isbn	354020766X
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-010701558
oclc_num	54046553
open_access_boolean
owner	DE-91G DE-BY-TUM DE-384 DE-739 DE-706 DE-11
owner_facet	DE-91G DE-BY-TUM DE-384 DE-739 DE-706 DE-11
physical	XIII, 240 S. CD-ROM (12 cm)
publishDate	2004
publishDateSearch	2004
publishDateSort	2004
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Bidoit, Michel Verfasser aut CASL user manual introduction to using the common algebraic specification language Michel Bidoit ; Peter D. Mosses Berlin u.a. Springer 2004 XIII, 240 S. CD-ROM (12 cm) txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2900 : Tutorial CASL (Langage de programmation) CASL (Langage de programmation) rasuqam CASL (Computer program language) CD-ROM (DE-588)4139307-7 gnd rswk-swf CASL (DE-588)4769218-2 gnd rswk-swf CASL (DE-588)4769218-2 s DE-604 CD-ROM (DE-588)4139307-7 s Mosses, Peter D. 1948- Verfasser (DE-588)1089492286 aut Lecture notes in computer science 2900 : Tutorial (DE-604)BV000000607 2900 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010701558&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Bidoit, Michel Mosses, Peter D. 1948- CASL user manual introduction to using the common algebraic specification language Lecture notes in computer science CASL (Langage de programmation) CASL (Langage de programmation) rasuqam CASL (Computer program language) CD-ROM (DE-588)4139307-7 gnd CASL (DE-588)4769218-2 gnd
subject_GND	(DE-588)4139307-7 (DE-588)4769218-2
title	CASL user manual introduction to using the common algebraic specification language
title_auth	CASL user manual introduction to using the common algebraic specification language
title_exact_search	CASL user manual introduction to using the common algebraic specification language
title_full	CASL user manual introduction to using the common algebraic specification language Michel Bidoit ; Peter D. Mosses
title_fullStr	CASL user manual introduction to using the common algebraic specification language Michel Bidoit ; Peter D. Mosses
title_full_unstemmed	CASL user manual introduction to using the common algebraic specification language Michel Bidoit ; Peter D. Mosses
title_short	CASL user manual
title_sort	casl user manual introduction to using the common algebraic specification language
title_sub	introduction to using the common algebraic specification language
topic	CASL (Langage de programmation) CASL (Langage de programmation) rasuqam CASL (Computer program language) CD-ROM (DE-588)4139307-7 gnd CASL (DE-588)4769218-2 gnd
topic_facet	CASL (Langage de programmation) CASL (Computer program language) CD-ROM CASL
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010701558&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT bidoitmichel caslusermanualintroductiontousingthecommonalgebraicspecificationlanguage AT mossespeterd caslusermanualintroductiontousingthecommonalgebraicspecificationlanguage

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge