Specification and reasoning in SE projects using a Web IDE
A key goal of our research is to introduce an approach that involves at the outset using analytical reasoning as a method for developing high quality software. This paper summarizes our experiences in introducing mathematical reasoning and formal specification-based development using a web-integrate...
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 238 |
|---|---|
| container_issue | |
| container_start_page | 229 |
| container_title | |
| container_volume | |
| creator | Cook, Charles T. Drachova-Strang, Svetlana V. Yu-Shan Sun Sitaraman, Murali Carver, Jeffrey C. Hollingsworth, Joseph |
| description | A key goal of our research is to introduce an approach that involves at the outset using analytical reasoning as a method for developing high quality software. This paper summarizes our experiences in introducing mathematical reasoning and formal specification-based development using a web-integrated environment in an undergraduate software engineering course at two institutions at different levels, with the goal that they will serve as models for other educators. At Alabama, the reasoning topics are introduced over a two-week period and are followed by a project. At Clemson, the topics are covered in more depth over a five-week period and are followed by specification-based software development and reasoning assignments. The courses and project assignments have been offered for multiple semesters. Evaluation of student performance indicates that the learning goals were met. |
| doi_str_mv | 10.1109/CSEET.2013.6595254 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_6595254</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6595254</ieee_id><sourcerecordid>6595254</sourcerecordid><originalsourceid>FETCH-LOGICAL-c224t-e886fe452c5a276f2d2145708735d833455802442f07abba4b55dc0666ef60023</originalsourceid><addsrcrecordid>eNotj0FLxDAUhKMouLv6B_SSP9D68pKXdL1Jrbqw4KErelvSNJEs2pamHvz3VtzTwDAzfMPYtYBcCFjflnVV7XIEIXNNa0JSJ2wplDaShAJzyhYojcnIwPsZW8wNmYEwdMGWKR0AEObQgt3Vg3cxRGen2Hfcdi0fvU19F7sPHjteV3wY-4N3U-Lf6c-0_M03fPNQXbLzYD-Tvzrqir0-VrvyOdu-PG3K-23mENWU-aLQwStCRxaNDtiiUDNVMYO2hZSKqABUCgMY2zRWNUStA621D3rmlCt2878bvff7YYxfdvzZHz_LX6UJRoU</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Specification and reasoning in SE projects using a Web IDE</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Cook, Charles T. ; Drachova-Strang, Svetlana V. ; Yu-Shan Sun ; Sitaraman, Murali ; Carver, Jeffrey C. ; Hollingsworth, Joseph</creator><creatorcontrib>Cook, Charles T. ; Drachova-Strang, Svetlana V. ; Yu-Shan Sun ; Sitaraman, Murali ; Carver, Jeffrey C. ; Hollingsworth, Joseph</creatorcontrib><description>A key goal of our research is to introduce an approach that involves at the outset using analytical reasoning as a method for developing high quality software. This paper summarizes our experiences in introducing mathematical reasoning and formal specification-based development using a web-integrated environment in an undergraduate software engineering course at two institutions at different levels, with the goal that they will serve as models for other educators. At Alabama, the reasoning topics are introduced over a two-week period and are followed by a project. At Clemson, the topics are covered in more depth over a five-week period and are followed by specification-based software development and reasoning assignments. The courses and project assignments have been offered for multiple semesters. Evaluation of student performance indicates that the learning goals were met.</description><identifier>ISSN: 1093-0175</identifier><identifier>EISSN: 2377-570X</identifier><identifier>EISBN: 1467351407</identifier><identifier>EISBN: 9781467351409</identifier><identifier>DOI: 10.1109/CSEET.2013.6595254</identifier><language>eng</language><publisher>IEEE</publisher><subject>Cognition ; Computer science ; Contracts ; Educational institutions ; Mathematical model ; Software ; Software engineering</subject><ispartof>2013 26th International Conference on Software Engineering Education and Training (CSEE&T), 2013, p.229-238</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c224t-e886fe452c5a276f2d2145708735d833455802442f07abba4b55dc0666ef60023</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6595254$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6595254$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Cook, Charles T.</creatorcontrib><creatorcontrib>Drachova-Strang, Svetlana V.</creatorcontrib><creatorcontrib>Yu-Shan Sun</creatorcontrib><creatorcontrib>Sitaraman, Murali</creatorcontrib><creatorcontrib>Carver, Jeffrey C.</creatorcontrib><creatorcontrib>Hollingsworth, Joseph</creatorcontrib><title>Specification and reasoning in SE projects using a Web IDE</title><title>2013 26th International Conference on Software Engineering Education and Training (CSEE&T)</title><addtitle>CSEET</addtitle><description>A key goal of our research is to introduce an approach that involves at the outset using analytical reasoning as a method for developing high quality software. This paper summarizes our experiences in introducing mathematical reasoning and formal specification-based development using a web-integrated environment in an undergraduate software engineering course at two institutions at different levels, with the goal that they will serve as models for other educators. At Alabama, the reasoning topics are introduced over a two-week period and are followed by a project. At Clemson, the topics are covered in more depth over a five-week period and are followed by specification-based software development and reasoning assignments. The courses and project assignments have been offered for multiple semesters. Evaluation of student performance indicates that the learning goals were met.</description><subject>Cognition</subject><subject>Computer science</subject><subject>Contracts</subject><subject>Educational institutions</subject><subject>Mathematical model</subject><subject>Software</subject><subject>Software engineering</subject><issn>1093-0175</issn><issn>2377-570X</issn><isbn>1467351407</isbn><isbn>9781467351409</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2013</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj0FLxDAUhKMouLv6B_SSP9D68pKXdL1Jrbqw4KErelvSNJEs2pamHvz3VtzTwDAzfMPYtYBcCFjflnVV7XIEIXNNa0JSJ2wplDaShAJzyhYojcnIwPsZW8wNmYEwdMGWKR0AEObQgt3Vg3cxRGen2Hfcdi0fvU19F7sPHjteV3wY-4N3U-Lf6c-0_M03fPNQXbLzYD-Tvzrqir0-VrvyOdu-PG3K-23mENWU-aLQwStCRxaNDtiiUDNVMYO2hZSKqABUCgMY2zRWNUStA621D3rmlCt2878bvff7YYxfdvzZHz_LX6UJRoU</recordid><startdate>201305</startdate><enddate>201305</enddate><creator>Cook, Charles T.</creator><creator>Drachova-Strang, Svetlana V.</creator><creator>Yu-Shan Sun</creator><creator>Sitaraman, Murali</creator><creator>Carver, Jeffrey C.</creator><creator>Hollingsworth, Joseph</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201305</creationdate><title>Specification and reasoning in SE projects using a Web IDE</title><author>Cook, Charles T. ; Drachova-Strang, Svetlana V. ; Yu-Shan Sun ; Sitaraman, Murali ; Carver, Jeffrey C. ; Hollingsworth, Joseph</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c224t-e886fe452c5a276f2d2145708735d833455802442f07abba4b55dc0666ef60023</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2013</creationdate><topic>Cognition</topic><topic>Computer science</topic><topic>Contracts</topic><topic>Educational institutions</topic><topic>Mathematical model</topic><topic>Software</topic><topic>Software engineering</topic><toplevel>online_resources</toplevel><creatorcontrib>Cook, Charles T.</creatorcontrib><creatorcontrib>Drachova-Strang, Svetlana V.</creatorcontrib><creatorcontrib>Yu-Shan Sun</creatorcontrib><creatorcontrib>Sitaraman, Murali</creatorcontrib><creatorcontrib>Carver, Jeffrey C.</creatorcontrib><creatorcontrib>Hollingsworth, Joseph</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 Electronic Library (IEL)</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>Cook, Charles T.</au><au>Drachova-Strang, Svetlana V.</au><au>Yu-Shan Sun</au><au>Sitaraman, Murali</au><au>Carver, Jeffrey C.</au><au>Hollingsworth, Joseph</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Specification and reasoning in SE projects using a Web IDE</atitle><btitle>2013 26th International Conference on Software Engineering Education and Training (CSEE&T)</btitle><stitle>CSEET</stitle><date>2013-05</date><risdate>2013</risdate><spage>229</spage><epage>238</epage><pages>229-238</pages><issn>1093-0175</issn><eissn>2377-570X</eissn><eisbn>1467351407</eisbn><eisbn>9781467351409</eisbn><abstract>A key goal of our research is to introduce an approach that involves at the outset using analytical reasoning as a method for developing high quality software. This paper summarizes our experiences in introducing mathematical reasoning and formal specification-based development using a web-integrated environment in an undergraduate software engineering course at two institutions at different levels, with the goal that they will serve as models for other educators. At Alabama, the reasoning topics are introduced over a two-week period and are followed by a project. At Clemson, the topics are covered in more depth over a five-week period and are followed by specification-based software development and reasoning assignments. The courses and project assignments have been offered for multiple semesters. Evaluation of student performance indicates that the learning goals were met.</abstract><pub>IEEE</pub><doi>10.1109/CSEET.2013.6595254</doi><tpages>10</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1093-0175 |
| ispartof | 2013 26th International Conference on Software Engineering Education and Training (CSEE&T), 2013, p.229-238 |
| issn | 1093-0175 2377-570X |
| language | eng |
| recordid | cdi_ieee_primary_6595254 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Cognition Computer science Contracts Educational institutions Mathematical model Software Software engineering |
| title | Specification and reasoning in SE projects using a Web IDE |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-02T18%3A40%3A11IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Specification%20and%20reasoning%20in%20SE%20projects%20using%20a%20Web%20IDE&rft.btitle=2013%2026th%20International%20Conference%20on%20Software%20Engineering%20Education%20and%20Training%20(CSEE&T)&rft.au=Cook,%20Charles%20T.&rft.date=2013-05&rft.spage=229&rft.epage=238&rft.pages=229-238&rft.issn=1093-0175&rft.eissn=2377-570X&rft_id=info:doi/10.1109/CSEET.2013.6595254&rft_dat=%3Cieee_6IE%3E6595254%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=1467351407&rft.eisbn_list=9781467351409&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6595254&rfr_iscdi=true |