Holdings: CASL user manual :: THWS Bibkatalog

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

Saved in:

Bibliographic Details
Main Authors:	Bidoit, Michel (Author), Mosses, Peter D. 1948- (Author)
Format:	Book
Language:	English
Published:	Berlin u.a. Springer 2004
Series:	Lecture notes in computer science 2900 : Tutorial
Subjects:	CASL (Langage de programmation) CASL (Computer program language) CASL CD-ROM
Online Access:	Inhaltsverzeichnis
Physical Description:	XIII, 240 S. CD-ROM (12 cm)
ISBN:	354020766X

Staff View

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 DAT 335f \|2 stub
084			\|a DAT 358f \|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 CASL \|0 (DE-588)4769218-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a CD-ROM \|0 (DE-588)4139307-7 \|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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-010701558

Record in the Search Index

_version_	1820874932205125632
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 335f DAT 358f
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>00000nam a2200000zcb4500</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">DAT 335f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 358f</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">CASL</subfield><subfield code="0">(DE-588)4769218-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010701558</subfield></datafield></record></collection>
id	DE-604.BV017828465
illustrated	Not Illustrated
indexdate	2025-01-10T15:07:35Z
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) CASL (DE-588)4769218-2 gnd rswk-swf CD-ROM (DE-588)4139307-7 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) CASL (DE-588)4769218-2 gnd CD-ROM (DE-588)4139307-7 gnd
subject_GND	(DE-588)4769218-2 (DE-588)4139307-7
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) CASL (DE-588)4769218-2 gnd CD-ROM (DE-588)4139307-7 gnd
topic_facet	CASL (Langage de programmation) CASL (Computer program language) CASL CD-ROM
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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items