Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods

Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods

We report on our experiences in teaching lightweight formal methods with Eiffel. In particular, we discuss how we introduce formal methods via Eiffel’s design-by-contract and agent technologies, and how we integrate these techniques with test-driven development, in an approach called specification-d...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Paige, Richard F., Ostroff, Jonathan S.
Format: Buchkapitel
Sprache:eng
Schlagworte:
Applied sciences
Class Diagram
Computer science
control theory
systems
Exact sciences and technology
Formal Method
General aspects
Interaction Diagram
Occupational training. Personnel. Work management
Software
Software Engineering
Unit Test
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 123
container_issue
container_start_page 107
container_title
container_volume 3294
creator Paige, Richard F.
Ostroff, Jonathan S.
description We report on our experiences in teaching lightweight formal methods with Eiffel. In particular, we discuss how we introduce formal methods via Eiffel’s design-by-contract and agent technologies, and how we integrate these techniques with test-driven development, in an approach called specification-driven design. This approach demonstrates how formal methods techniques fit with industrial software engineering practice.
doi_str_mv 10.1007/978-3-540-30472-2_7
format Book Chapter
fullrecord <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_16368285</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3088959_12_115</sourcerecordid><originalsourceid>FETCH-LOGICAL-p271t-b67e1d48668141cd378fa6026ff5ae14722eaea3b418ef2847554532f83ad9fe3</originalsourceid><addsrcrecordid>eNotkMtu3DAMRdUnMk3zBd1o06VaUS9LyyCvFpiii6ZAkI2gsSlbrWO7kpsgfx9NJlyQIHkvAR5CPgH_Apw3X11jmWRacSa5agQTvnlFPsg6eO5vXpMNGAAmpXJvDgsh60C8JZsqEcw1Sr4nR9o4IZxwR-SklD-8htAGuN6Q218LtimmNqxpnth5Tvc40XMsqZ_oQ1oHepFixJGGqaOnPU5roXHO9BpDO6Spp9vUD-sD7jO9nPNdGOkPXIe5Kx_JuxjGgicv9Zj8vry4PvvGtj-vvp-dbtkiGljZzjQInbLGWFDQdrKxMRguTIw6INQ3BQYMcqfAYhRWNVorLUW0MnQuojwmnw93l1DaMMYcpjYVv-R0F_KjByONFVZXHRx0pa6mHrPfzfPf4oH7PWxfYXvpK0L_DNdX2NUjX27n-d9_LKvHvamtHHIY2yEsK-ZSDdY67TwID6DlE7gIfSM</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3088959_12_115</pqid></control><display><type>book_chapter</type><title>Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods</title><source>Springer Books</source><creator>Paige, Richard F. ; Ostroff, Jonathan S.</creator><contributor>Dean, C. Neville ; Boute, Raymond T ; Boute, Raymond T. ; Dean, C. Neville</contributor><creatorcontrib>Paige, Richard F. ; Ostroff, Jonathan S. ; Dean, C. Neville ; Boute, Raymond T ; Boute, Raymond T. ; Dean, C. Neville</creatorcontrib><description>We report on our experiences in teaching lightweight formal methods with Eiffel. In particular, we discuss how we introduce formal methods via Eiffel’s design-by-contract and agent technologies, and how we integrate these techniques with test-driven development, in an approach called specification-driven design. This approach demonstrates how formal methods techniques fit with industrial software engineering practice.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 3540236112</identifier><identifier>ISBN: 9783540236115</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 354030472X</identifier><identifier>EISBN: 9783540304722</identifier><identifier>DOI: 10.1007/978-3-540-30472-2_7</identifier><identifier>OCLC: 56922929</identifier><identifier>LCCallNum: QA75.5-76.95</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Class Diagram ; Computer science; control theory; systems ; Exact sciences and technology ; Formal Method ; General aspects ; Interaction Diagram ; Occupational training. Personnel. Work management ; Software ; Software Engineering ; Unit Test</subject><ispartof>Lecture notes in computer science, 2004, Vol.3294, p.107-123</ispartof><rights>Springer-Verlag Berlin Heidelberg 2004</rights><rights>2005 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://ebookcentral.proquest.com/covers/3088959-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/978-3-540-30472-2_7$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/978-3-540-30472-2_7$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,779,780,784,789,790,793,4049,4050,27924,38254,41441,42510</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=16368285$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Dean, C. Neville</contributor><contributor>Boute, Raymond T</contributor><contributor>Boute, Raymond T.</contributor><contributor>Dean, C. Neville</contributor><creatorcontrib>Paige, Richard F.</creatorcontrib><creatorcontrib>Ostroff, Jonathan S.</creatorcontrib><title>Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods</title><title>Lecture notes in computer science</title><description>We report on our experiences in teaching lightweight formal methods with Eiffel. In particular, we discuss how we introduce formal methods via Eiffel’s design-by-contract and agent technologies, and how we integrate these techniques with test-driven development, in an approach called specification-driven design. This approach demonstrates how formal methods techniques fit with industrial software engineering practice.</description><subject>Applied sciences</subject><subject>Class Diagram</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Formal Method</subject><subject>General aspects</subject><subject>Interaction Diagram</subject><subject>Occupational training. Personnel. Work management</subject><subject>Software</subject><subject>Software Engineering</subject><subject>Unit Test</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>3540236112</isbn><isbn>9783540236115</isbn><isbn>354030472X</isbn><isbn>9783540304722</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2004</creationdate><recordtype>book_chapter</recordtype><recordid>eNotkMtu3DAMRdUnMk3zBd1o06VaUS9LyyCvFpiii6ZAkI2gsSlbrWO7kpsgfx9NJlyQIHkvAR5CPgH_Apw3X11jmWRacSa5agQTvnlFPsg6eO5vXpMNGAAmpXJvDgsh60C8JZsqEcw1Sr4nR9o4IZxwR-SklD-8htAGuN6Q218LtimmNqxpnth5Tvc40XMsqZ_oQ1oHepFixJGGqaOnPU5roXHO9BpDO6Spp9vUD-sD7jO9nPNdGOkPXIe5Kx_JuxjGgicv9Zj8vry4PvvGtj-vvp-dbtkiGljZzjQInbLGWFDQdrKxMRguTIw6INQ3BQYMcqfAYhRWNVorLUW0MnQuojwmnw93l1DaMMYcpjYVv-R0F_KjByONFVZXHRx0pa6mHrPfzfPf4oH7PWxfYXvpK0L_DNdX2NUjX27n-d9_LKvHvamtHHIY2yEsK-ZSDdY67TwID6DlE7gIfSM</recordid><startdate>2004</startdate><enddate>2004</enddate><creator>Paige, Richard F.</creator><creator>Ostroff, Jonathan S.</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>2004</creationdate><title>Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods</title><author>Paige, Richard F. ; Ostroff, Jonathan S.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p271t-b67e1d48668141cd378fa6026ff5ae14722eaea3b418ef2847554532f83ad9fe3</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2004</creationdate><topic>Applied sciences</topic><topic>Class Diagram</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Formal Method</topic><topic>General aspects</topic><topic>Interaction Diagram</topic><topic>Occupational training. Personnel. Work management</topic><topic>Software</topic><topic>Software Engineering</topic><topic>Unit Test</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Paige, Richard F.</creatorcontrib><creatorcontrib>Ostroff, Jonathan S.</creatorcontrib><collection>ProQuest Ebook Central - Book Chapters - Demo use only</collection><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Paige, Richard F.</au><au>Ostroff, Jonathan S.</au><au>Dean, C. Neville</au><au>Boute, Raymond T</au><au>Boute, Raymond T.</au><au>Dean, C. Neville</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods</atitle><btitle>Lecture notes in computer science</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>2004</date><risdate>2004</risdate><volume>3294</volume><spage>107</spage><epage>123</epage><pages>107-123</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>3540236112</isbn><isbn>9783540236115</isbn><eisbn>354030472X</eisbn><eisbn>9783540304722</eisbn><abstract>We report on our experiences in teaching lightweight formal methods with Eiffel. In particular, we discuss how we introduce formal methods via Eiffel’s design-by-contract and agent technologies, and how we integrate these techniques with test-driven development, in an approach called specification-driven design. This approach demonstrates how formal methods techniques fit with industrial software engineering practice.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/978-3-540-30472-2_7</doi><oclcid>56922929</oclcid><tpages>17</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0302-9743
ispartof Lecture notes in computer science, 2004, Vol.3294, p.107-123
issn 0302-9743
1611-3349
language eng
recordid cdi_pascalfrancis_primary_16368285
source Springer Books
subjects Applied sciences
Class Diagram
Computer science
control theory
systems
Exact sciences and technology
Formal Method
General aspects
Interaction Diagram
Occupational training. Personnel. Work management
Software
Software Engineering
Unit Test
title Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-08T11%3A51%3A01IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_pasca&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=Specification-Driven%20Design%20with%20Eiffel%20and%20Agents%20for%20Teaching%20Lightweight%20Formal%20Methods&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=Paige,%20Richard%20F.&rft.date=2004&rft.volume=3294&rft.spage=107&rft.epage=123&rft.pages=107-123&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=3540236112&rft.isbn_list=9783540236115&rft_id=info:doi/10.1007/978-3-540-30472-2_7&rft_dat=%3Cproquest_pasca%3EEBC3088959_12_115%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=354030472X&rft.eisbn_list=9783540304722&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3088959_12_115&rft_id=info:pmid/&rfr_iscdi=true