Multi-Level Assertion-Based Design

Assertions are advocated as a means to specify high-level models of a design. Assertions are translated into executable behavioral models ("cando-objects"). The cando-objects reflect the intended non-determinism of assertions as well as the non-determnism caused by the incompleteness of a...

Full description

Saved in:
Bibliographic Details
Main Authors: Eveking, Hans, Braun, Martin, Schickel, Martin, Schweikert, Martin, Nimbler, Volker
Format: Conference Proceeding
Language:English
Subjects:
Design methodology
Software and its engineering > Software creation and management > Designing software
Software and its engineering > Software creation and management > Designing software > Requirements analysis
Software and its engineering > Software creation and management > Designing software > Software implementation planning > Software design techniques
Software and its engineering > Software creation and management > Software development process management
Theory of computation > Semantics and reasoning > Program reasoning > Program specifications
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 86
container_issue
container_start_page 85
container_title
container_volume
creator Eveking, Hans
Braun, Martin
Schickel, Martin
Schweikert, Martin
Nimbler, Volker
description Assertions are advocated as a means to specify high-level models of a design. Assertions are translated into executable behavioral models ("cando-objects"). The cando-objects reflect the intended non-determinism of assertions as well as the non-determnism caused by the incompleteness of a set of assertions. The approach supports significant design methodological concepts like refinement and compositionality.
doi_str_mv 10.1109/MEMCOD.2007.371244
format conference_proceeding
fullrecord <record><control><sourceid>acm_6IE</sourceid><recordid>TN_cdi_acm_books_10_1109_MEMCOD_2007_371244_brief</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>4231777</ieee_id><sourcerecordid>acm_books_10_1109_MEMCOD_2007_371244</sourcerecordid><originalsourceid>FETCH-LOGICAL-a253t-dd05b1bd22e994fd5e88780e1e09ab72eb6d0d49529a6c5acecdc8915f74cc053</originalsourceid><addsrcrecordid>eNqNj8tOwzAURC0hJKD0B2BTsUUp9zp2HS9LWh5Som5gbflxgwxpg-KAxN-TKnwAs5nFaEZzGLtCWCKCvqu3dbnbLDmAWuYKuRAn7ALF6AgS9Bmbp_QOo4QUPJfn7Kb-aoeYVfRN7WKdEvVD7A7ZvU0UFhtK8e1wyU4b2yaa__mMvT5sX8qnrNo9PpfrKrNc5kMWAkiHLnBOWosmSCoKVQAhgbZOcXKrAEFoybVdeWk9-eALjbJRwnuQ-YxdT7uRiMxnH_e2_zHjTVRKjSlOqfV747ruIxkEc4Q2E7Q5QpsJ2rg-UjN2bv_fyX8BayZYPw</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Multi-Level Assertion-Based Design</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Eveking, Hans ; Braun, Martin ; Schickel, Martin ; Schweikert, Martin ; Nimbler, Volker</creator><creatorcontrib>Eveking, Hans ; Braun, Martin ; Schickel, Martin ; Schweikert, Martin ; Nimbler, Volker</creatorcontrib><description>Assertions are advocated as a means to specify high-level models of a design. Assertions are translated into executable behavioral models ("cando-objects"). The cando-objects reflect the intended non-determinism of assertions as well as the non-determnism caused by the incompleteness of a set of assertions. The approach supports significant design methodological concepts like refinement and compositionality.</description><identifier>ISBN: 1424410509</identifier><identifier>ISBN: 9781424410507</identifier><identifier>DOI: 10.1109/MEMCOD.2007.371244</identifier><language>eng</language><publisher>Washington, DC, USA: IEEE Computer Society</publisher><subject>Design methodology ; Software and its engineering -- Software creation and management -- Designing software ; Software and its engineering -- Software creation and management -- Designing software -- Requirements analysis ; Software and its engineering -- Software creation and management -- Designing software -- Software implementation planning -- Software design techniques ; Software and its engineering -- Software creation and management -- Software development process management ; Theory of computation -- Semantics and reasoning -- Program reasoning -- Program specifications</subject><ispartof>2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007), 2007, p.85-86</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/4231777$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,27901,54894</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/4231777$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Eveking, Hans</creatorcontrib><creatorcontrib>Braun, Martin</creatorcontrib><creatorcontrib>Schickel, Martin</creatorcontrib><creatorcontrib>Schweikert, Martin</creatorcontrib><creatorcontrib>Nimbler, Volker</creatorcontrib><title>Multi-Level Assertion-Based Design</title><title>2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)</title><addtitle>MEMCOD</addtitle><description>Assertions are advocated as a means to specify high-level models of a design. Assertions are translated into executable behavioral models ("cando-objects"). The cando-objects reflect the intended non-determinism of assertions as well as the non-determnism caused by the incompleteness of a set of assertions. The approach supports significant design methodological concepts like refinement and compositionality.</description><subject>Design methodology</subject><subject>Software and its engineering -- Software creation and management -- Designing software</subject><subject>Software and its engineering -- Software creation and management -- Designing software -- Requirements analysis</subject><subject>Software and its engineering -- Software creation and management -- Designing software -- Software implementation planning -- Software design techniques</subject><subject>Software and its engineering -- Software creation and management -- Software development process management</subject><subject>Theory of computation -- Semantics and reasoning -- Program reasoning -- Program specifications</subject><isbn>1424410509</isbn><isbn>9781424410507</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2007</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNqNj8tOwzAURC0hJKD0B2BTsUUp9zp2HS9LWh5Som5gbflxgwxpg-KAxN-TKnwAs5nFaEZzGLtCWCKCvqu3dbnbLDmAWuYKuRAn7ALF6AgS9Bmbp_QOo4QUPJfn7Kb-aoeYVfRN7WKdEvVD7A7ZvU0UFhtK8e1wyU4b2yaa__mMvT5sX8qnrNo9PpfrKrNc5kMWAkiHLnBOWosmSCoKVQAhgbZOcXKrAEFoybVdeWk9-eALjbJRwnuQ-YxdT7uRiMxnH_e2_zHjTVRKjSlOqfV747ruIxkEc4Q2E7Q5QpsJ2rg-UjN2bv_fyX8BayZYPw</recordid><startdate>20070530</startdate><enddate>20070530</enddate><creator>Eveking, Hans</creator><creator>Braun, Martin</creator><creator>Schickel, Martin</creator><creator>Schweikert, Martin</creator><creator>Nimbler, Volker</creator><general>IEEE Computer Society</general><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>20070530</creationdate><title>Multi-Level Assertion-Based Design</title><author>Eveking, Hans ; Braun, Martin ; Schickel, Martin ; Schweikert, Martin ; Nimbler, Volker</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a253t-dd05b1bd22e994fd5e88780e1e09ab72eb6d0d49529a6c5acecdc8915f74cc053</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Design methodology</topic><topic>Software and its engineering -- Software creation and management -- Designing software</topic><topic>Software and its engineering -- Software creation and management -- Designing software -- Requirements analysis</topic><topic>Software and its engineering -- Software creation and management -- Designing software -- Software implementation planning -- Software design techniques</topic><topic>Software and its engineering -- Software creation and management -- Software development process management</topic><topic>Theory of computation -- Semantics and reasoning -- Program reasoning -- Program specifications</topic><toplevel>online_resources</toplevel><creatorcontrib>Eveking, Hans</creatorcontrib><creatorcontrib>Braun, Martin</creatorcontrib><creatorcontrib>Schickel, Martin</creatorcontrib><creatorcontrib>Schweikert, Martin</creatorcontrib><creatorcontrib>Nimbler, Volker</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Xplore</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Eveking, Hans</au><au>Braun, Martin</au><au>Schickel, Martin</au><au>Schweikert, Martin</au><au>Nimbler, Volker</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Multi-Level Assertion-Based Design</atitle><btitle>2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007)</btitle><stitle>MEMCOD</stitle><date>2007-05-30</date><risdate>2007</risdate><spage>85</spage><epage>86</epage><pages>85-86</pages><isbn>1424410509</isbn><isbn>9781424410507</isbn><abstract>Assertions are advocated as a means to specify high-level models of a design. Assertions are translated into executable behavioral models ("cando-objects"). The cando-objects reflect the intended non-determinism of assertions as well as the non-determnism caused by the incompleteness of a set of assertions. The approach supports significant design methodological concepts like refinement and compositionality.</abstract><cop>Washington, DC, USA</cop><pub>IEEE Computer Society</pub><doi>10.1109/MEMCOD.2007.371244</doi><tpages>2</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISBN: 1424410509
ispartof 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007), 2007, p.85-86
issn
language eng
recordid cdi_acm_books_10_1109_MEMCOD_2007_371244_brief
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Design methodology
Software and its engineering -- Software creation and management -- Designing software
Software and its engineering -- Software creation and management -- Designing software -- Requirements analysis
Software and its engineering -- Software creation and management -- Designing software -- Software implementation planning -- Software design techniques
Software and its engineering -- Software creation and management -- Software development process management
Theory of computation -- Semantics and reasoning -- Program reasoning -- Program specifications
title Multi-Level Assertion-Based Design
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-24T13%3A58%3A53IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-acm_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Multi-Level%20Assertion-Based%20Design&rft.btitle=2007%205th%20IEEE/ACM%20International%20Conference%20on%20Formal%20Methods%20and%20Models%20for%20Codesign%20(MEMOCODE%202007)&rft.au=Eveking,%20Hans&rft.date=2007-05-30&rft.spage=85&rft.epage=86&rft.pages=85-86&rft.isbn=1424410509&rft.isbn_list=9781424410507&rft_id=info:doi/10.1109/MEMCOD.2007.371244&rft_dat=%3Cacm_6IE%3Eacm_books_10_1109_MEMCOD_2007_371244%3C/acm_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-a253t-dd05b1bd22e994fd5e88780e1e09ab72eb6d0d49529a6c5acecdc8915f74cc053%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=4231777&rfr_iscdi=true