Using temporal logic to specify adaptive program semantics

Gespeichert in:

Autor*in:	Zhang, Ji [verfasserIn] Cheng, Betty H.C.

Format:	Artikel

Erschienen:	2006

Umfang:	9

Übergeordnetes Werk:	Enthalten in: The journal of systems and software - New York, NY : Elsevier : North-Holland, 1979, 79(2006), 10, Seite 1361-1369
Übergeordnetes Werk:	volume:79 ; year:2006 ; number:10 ; pages:1361-1369 ; extent:9

Katalog-ID:	OLC1724255606

Internformat


LEADER	01000caa a22002652 4500
001	OLC1724255606
003	DE-627
005	20220220184509.0
007	tu
008	060905s2006 xx \|\|\|\|\| 00\| \|\|und c
028	5	2	\|a sw060905
035			\|a (DE-627)OLC1724255606
035			\|a (DE-599)GBVOLC1724255606
040			\|a DE-627 \|b ger \|c DE-627 \|e rakwb
082	0	4	\|a 004
084			\|a 54.52 \|2 bkl
100	1		\|a Zhang, Ji \|e verfasserin \|4 aut
245	1	0	\|a Using temporal logic to specify adaptive program semantics
264		1	\|c 2006
300			\|a 9
336			\|a Text \|b txt \|2 rdacontent
337			\|a ohne Hilfsmittel zu benutzen \|b n \|2 rdamedia
338			\|a Band \|b nc \|2 rdacarrier
700	1		\|a Cheng, Betty H.C. \|4 oth
773	0	8	\|i Enthalten in \|t The journal of systems and software \|d New York, NY : Elsevier : North-Holland, 1979 \|g 79(2006), 10, Seite 1361-1369 \|w (DE-627)130490520 \|w (DE-600)756161-1 \|w (DE-576)016075153 \|x 0164-1212 \|7 nnns
773	1	8	\|g volume:79 \|g year:2006 \|g number:10 \|g pages:1361-1369 \|g extent:9
912			\|a GBV_USEFLAG_A
912			\|a SYSFLAG_A
912			\|a GBV_OLC
912			\|a SSG-OLC-MAT
912			\|a GBV_ILN_21
912			\|a GBV_ILN_22
912			\|a GBV_ILN_70
912			\|a GBV_ILN_4307
912			\|a GBV_ILN_4314
912			\|a GBV_ILN_4318
936	b	k	\|a 54.52 \|q AVZ
951			\|a AR
952			\|d 79 \|j 2006 \|e 10 \|h 1361-1369 \|g 9

Indexfelder

author_variant	j z jz
matchkey_str	article:01641212:2006----::sntmoalgcopcfaatvp
hierarchy_sort_str	2006
bklnumber	54.52
publishDate	2006
allfields	sw060905 (DE-627)OLC1724255606 (DE-599)GBVOLC1724255606 DE-627 ger DE-627 rakwb 004 54.52 bkl Zhang, Ji verfasserin aut Using temporal logic to specify adaptive program semantics 2006 9 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Cheng, Betty H.C. oth Enthalten in The journal of systems and software New York, NY : Elsevier : North-Holland, 1979 79(2006), 10, Seite 1361-1369 (DE-627)130490520 (DE-600)756161-1 (DE-576)016075153 0164-1212 nnns volume:79 year:2006 number:10 pages:1361-1369 extent:9 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_21 GBV_ILN_22 GBV_ILN_70 GBV_ILN_4307 GBV_ILN_4314 GBV_ILN_4318 54.52 AVZ AR 79 2006 10 1361-1369 9
spelling	sw060905 (DE-627)OLC1724255606 (DE-599)GBVOLC1724255606 DE-627 ger DE-627 rakwb 004 54.52 bkl Zhang, Ji verfasserin aut Using temporal logic to specify adaptive program semantics 2006 9 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Cheng, Betty H.C. oth Enthalten in The journal of systems and software New York, NY : Elsevier : North-Holland, 1979 79(2006), 10, Seite 1361-1369 (DE-627)130490520 (DE-600)756161-1 (DE-576)016075153 0164-1212 nnns volume:79 year:2006 number:10 pages:1361-1369 extent:9 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_21 GBV_ILN_22 GBV_ILN_70 GBV_ILN_4307 GBV_ILN_4314 GBV_ILN_4318 54.52 AVZ AR 79 2006 10 1361-1369 9
allfields_unstemmed	sw060905 (DE-627)OLC1724255606 (DE-599)GBVOLC1724255606 DE-627 ger DE-627 rakwb 004 54.52 bkl Zhang, Ji verfasserin aut Using temporal logic to specify adaptive program semantics 2006 9 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Cheng, Betty H.C. oth Enthalten in The journal of systems and software New York, NY : Elsevier : North-Holland, 1979 79(2006), 10, Seite 1361-1369 (DE-627)130490520 (DE-600)756161-1 (DE-576)016075153 0164-1212 nnns volume:79 year:2006 number:10 pages:1361-1369 extent:9 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_21 GBV_ILN_22 GBV_ILN_70 GBV_ILN_4307 GBV_ILN_4314 GBV_ILN_4318 54.52 AVZ AR 79 2006 10 1361-1369 9
allfieldsGer	sw060905 (DE-627)OLC1724255606 (DE-599)GBVOLC1724255606 DE-627 ger DE-627 rakwb 004 54.52 bkl Zhang, Ji verfasserin aut Using temporal logic to specify adaptive program semantics 2006 9 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Cheng, Betty H.C. oth Enthalten in The journal of systems and software New York, NY : Elsevier : North-Holland, 1979 79(2006), 10, Seite 1361-1369 (DE-627)130490520 (DE-600)756161-1 (DE-576)016075153 0164-1212 nnns volume:79 year:2006 number:10 pages:1361-1369 extent:9 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_21 GBV_ILN_22 GBV_ILN_70 GBV_ILN_4307 GBV_ILN_4314 GBV_ILN_4318 54.52 AVZ AR 79 2006 10 1361-1369 9
allfieldsSound	sw060905 (DE-627)OLC1724255606 (DE-599)GBVOLC1724255606 DE-627 ger DE-627 rakwb 004 54.52 bkl Zhang, Ji verfasserin aut Using temporal logic to specify adaptive program semantics 2006 9 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Cheng, Betty H.C. oth Enthalten in The journal of systems and software New York, NY : Elsevier : North-Holland, 1979 79(2006), 10, Seite 1361-1369 (DE-627)130490520 (DE-600)756161-1 (DE-576)016075153 0164-1212 nnns volume:79 year:2006 number:10 pages:1361-1369 extent:9 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_21 GBV_ILN_22 GBV_ILN_70 GBV_ILN_4307 GBV_ILN_4314 GBV_ILN_4318 54.52 AVZ AR 79 2006 10 1361-1369 9
source	Enthalten in The journal of systems and software 79(2006), 10, Seite 1361-1369 volume:79 year:2006 number:10 pages:1361-1369 extent:9
sourceStr	Enthalten in The journal of systems and software 79(2006), 10, Seite 1361-1369 volume:79 year:2006 number:10 pages:1361-1369 extent:9
format_phy_str_mv	Article
institution	findex.gbv.de
dewey-raw	004
isfreeaccess_bool	false
container_title	The journal of systems and software
authorswithroles_txt_mv	Zhang, Ji @@aut@@ Cheng, Betty H.C. @@oth@@
publishDateDaySort_date	2006-01-01T00:00:00Z
hierarchy_top_id	130490520
dewey-sort	14
id	OLC1724255606
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1724255606</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220220184509.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">060905s2006 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw060905</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1724255606</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1724255606</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.52</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zhang, Ji</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Using temporal logic to specify adaptive program semantics</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">9</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cheng, Betty H.C.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">The journal of systems and software</subfield><subfield code="d">New York, NY : Elsevier : North-Holland, 1979</subfield><subfield code="g">79(2006), 10, Seite 1361-1369</subfield><subfield code="w">(DE-627)130490520</subfield><subfield code="w">(DE-600)756161-1</subfield><subfield code="w">(DE-576)016075153</subfield><subfield code="x">0164-1212</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:79</subfield><subfield code="g">year:2006</subfield><subfield code="g">number:10</subfield><subfield code="g">pages:1361-1369</subfield><subfield code="g">extent:9</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4314</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4318</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.52</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">79</subfield><subfield code="j">2006</subfield><subfield code="e">10</subfield><subfield code="h">1361-1369</subfield><subfield code="g">9</subfield></datafield></record></collection>
author	Zhang, Ji
spellingShingle	Zhang, Ji ddc 004 bkl 54.52 Using temporal logic to specify adaptive program semantics
authorStr	Zhang, Ji
ppnlink_with_tag_str_mv	@@773@@(DE-627)130490520
format	Article
dewey-ones	004 - Data processing & computer science
delete_txt_mv	keep
author_role	aut
collection	OLC
remote_str	false
illustrated	Not Illustrated
issn	0164-1212
topic_title	004 54.52 bkl Using temporal logic to specify adaptive program semantics
topic	ddc 004 bkl 54.52
topic_unstemmed	ddc 004 bkl 54.52
topic_browse	ddc 004 bkl 54.52
format_facet	Aufsätze Gedruckte Aufsätze
format_main_str_mv	Text Zeitschrift/Artikel
carriertype_str_mv	nc
author2_variant	b h c bh bhc
hierarchy_parent_title	The journal of systems and software
hierarchy_parent_id	130490520
dewey-tens	000 - Computer science, knowledge & systems
hierarchy_top_title	The journal of systems and software
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)130490520 (DE-600)756161-1 (DE-576)016075153
title	Using temporal logic to specify adaptive program semantics
ctrlnum	(DE-627)OLC1724255606 (DE-599)GBVOLC1724255606
title_full	Using temporal logic to specify adaptive program semantics
author_sort	Zhang, Ji
journal	The journal of systems and software
journalStr	The journal of systems and software
isOA_bool	false
dewey-hundreds	000 - Computer science, information & general works
recordtype	marc
publishDateSort	2006
contenttype_str_mv	txt
container_start_page	1361
author_browse	Zhang, Ji
container_volume	79
physical	9
class	004 54.52 bkl
format_se	Aufsätze
author-letter	Zhang, Ji
dewey-full	004
title_sort	using temporal logic to specify adaptive program semantics
title_auth	Using temporal logic to specify adaptive program semantics
collection_details	GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_21 GBV_ILN_22 GBV_ILN_70 GBV_ILN_4307 GBV_ILN_4314 GBV_ILN_4318
container_issue	10
title_short	Using temporal logic to specify adaptive program semantics
remote_bool	false
author2	Cheng, Betty H.C.
author2Str	Cheng, Betty H.C.
ppnlink	130490520
mediatype_str_mv	n
isOA_txt	false
hochschulschrift_bool	false
author2_role	oth
up_date	2024-07-03T20:47:40.629Z
_version_	1803592307192102912
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1724255606</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220220184509.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">060905s2006 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw060905</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1724255606</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1724255606</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.52</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zhang, Ji</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Using temporal logic to specify adaptive program semantics</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">9</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cheng, Betty H.C.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">The journal of systems and software</subfield><subfield code="d">New York, NY : Elsevier : North-Holland, 1979</subfield><subfield code="g">79(2006), 10, Seite 1361-1369</subfield><subfield code="w">(DE-627)130490520</subfield><subfield code="w">(DE-600)756161-1</subfield><subfield code="w">(DE-576)016075153</subfield><subfield code="x">0164-1212</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:79</subfield><subfield code="g">year:2006</subfield><subfield code="g">number:10</subfield><subfield code="g">pages:1361-1369</subfield><subfield code="g">extent:9</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4314</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4318</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">54.52</subfield><subfield code="q">AVZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">79</subfield><subfield code="j">2006</subfield><subfield code="e">10</subfield><subfield code="h">1361-1369</subfield><subfield code="g">9</subfield></datafield></record></collection>
score	7.4011803

Nicht das Richtige dabei?

Schreiben Sie uns!

Using temporal logic to specify adaptive program semantics

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?