{"id":"https://openalex.org/W2075561046","doi":"https://doi.org/10.1109/cseet.2013.6595254","title":"Specification and reasoning in SE projects using a Web IDE","display_name":"Specification and reasoning in SE projects using a Web IDE","publication_year":2013,"publication_date":"2013-05-01","ids":{"openalex":"https://openalex.org/W2075561046","doi":"https://doi.org/10.1109/cseet.2013.6595254","mag":"2075561046"},"language":"en","primary_location":{"id":"doi:10.1109/cseet.2013.6595254","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cseet.2013.6595254","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 26th International Conference on Software Engineering Education and Training (CSEE&T)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016740246","display_name":"Charles T. Cook","orcid":null},"institutions":[{"id":"https://openalex.org/I8078737","display_name":"Clemson University","ror":"https://ror.org/037s24f05","country_code":"US","type":"education","lineage":["https://openalex.org/I8078737"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Charles T. Cook","raw_affiliation_strings":["School of Computing, Clemson University, Clemson, SC, USA","Sch. of Comput., Clemson Univ., Clemson, SC, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Computing, Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]},{"raw_affiliation_string":"Sch. of Comput., Clemson Univ., Clemson, SC, USA#TAB#","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062106395","display_name":"Svetlana V. Drachova-Strang","orcid":null},"institutions":[{"id":"https://openalex.org/I8078737","display_name":"Clemson University","ror":"https://ror.org/037s24f05","country_code":"US","type":"education","lineage":["https://openalex.org/I8078737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Svetlana V. Drachova-Strang","raw_affiliation_strings":["School of Computing, Clemson University, Clemson, SC, USA","Sch. of Comput., Clemson Univ., Clemson, SC, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Computing, Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]},{"raw_affiliation_string":"Sch. of Comput., Clemson Univ., Clemson, SC, USA#TAB#","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101560369","display_name":"Yu\u2010Shan Sun","orcid":"https://orcid.org/0009-0002-5636-2986"},"institutions":[{"id":"https://openalex.org/I8078737","display_name":"Clemson University","ror":"https://ror.org/037s24f05","country_code":"US","type":"education","lineage":["https://openalex.org/I8078737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yu-Shan Sun","raw_affiliation_strings":["School of Computing, Clemson University, Clemson, SC, USA","Sch. of Comput., Clemson Univ., Clemson, SC, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Computing, Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]},{"raw_affiliation_string":"Sch. of Comput., Clemson Univ., Clemson, SC, USA#TAB#","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047326006","display_name":"Murali Sitaraman","orcid":null},"institutions":[{"id":"https://openalex.org/I8078737","display_name":"Clemson University","ror":"https://ror.org/037s24f05","country_code":"US","type":"education","lineage":["https://openalex.org/I8078737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Murali Sitaraman","raw_affiliation_strings":["School of Computing, Clemson University, Clemson, SC, USA","Sch. of Comput., Clemson Univ., Clemson, SC, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Computing, Clemson University, Clemson, SC, USA","institution_ids":["https://openalex.org/I8078737"]},{"raw_affiliation_string":"Sch. of Comput., Clemson Univ., Clemson, SC, USA#TAB#","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005826696","display_name":"Jeffrey C. Carver","orcid":"https://orcid.org/0000-0002-7824-9151"},"institutions":[{"id":"https://openalex.org/I17301866","display_name":"University of Alabama","ror":"https://ror.org/03xrrjk67","country_code":"US","type":"education","lineage":["https://openalex.org/I17301866"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeffrey C. Carver","raw_affiliation_strings":["Computer Science, University of Alabama, Tuscaloosa, AL, USA","[Computer Science, University of Alabama, Tuscaloosa, AL, USA]"],"affiliations":[{"raw_affiliation_string":"Computer Science, University of Alabama, Tuscaloosa, AL, USA","institution_ids":["https://openalex.org/I17301866"]},{"raw_affiliation_string":"[Computer Science, University of Alabama, Tuscaloosa, AL, USA]","institution_ids":["https://openalex.org/I17301866"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108385696","display_name":"Joseph E. Hollingsworth","orcid":null},"institutions":[{"id":"https://openalex.org/I4210117780","display_name":"Indiana University Southeast","ror":"https://ror.org/02eak8n78","country_code":"US","type":"education","lineage":["https://openalex.org/I4210117780","https://openalex.org/I592451"]},{"id":"https://openalex.org/I592451","display_name":"Indiana University","ror":"https://ror.org/01kg8sb98","country_code":"US","type":"education","lineage":["https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joseph Hollingsworth","raw_affiliation_strings":["Computer Science, Indiana University Southeast, New Albany, IN, USA","[Computer Science, Indiana University Southeast, New Albany, IN, USA]"],"affiliations":[{"raw_affiliation_string":"Computer Science, Indiana University Southeast, New Albany, IN, USA","institution_ids":["https://openalex.org/I4210117780"]},{"raw_affiliation_string":"[Computer Science, Indiana University Southeast, New Albany, IN, USA]","institution_ids":["https://openalex.org/I592451"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5016740246"],"corresponding_institution_ids":["https://openalex.org/I8078737"],"apc_list":null,"apc_paid":null,"fwci":7.2805,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.96722662,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"229","last_page":"238"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9909999966621399,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9897000193595886,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7241446375846863},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5724235773086548},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5574945211410522},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4927084743976593},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.45353221893310547},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.43553081154823303},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43295755982398987},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.3255683183670044},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19393333792686462},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14499351382255554}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7241446375846863},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5724235773086548},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5574945211410522},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4927084743976593},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.45353221893310547},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.43553081154823303},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43295755982398987},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.3255683183670044},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19393333792686462},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14499351382255554},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cseet.2013.6595254","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cseet.2013.6595254","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 26th International Conference on Software Engineering Education and Training (CSEE&T)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W561374522","https://openalex.org/W1606142489","https://openalex.org/W2000691319","https://openalex.org/W2040171107","https://openalex.org/W2059429227","https://openalex.org/W2083236745","https://openalex.org/W2097103974","https://openalex.org/W2108578224","https://openalex.org/W2110801107","https://openalex.org/W2111627689","https://openalex.org/W2121106929","https://openalex.org/W2121191865","https://openalex.org/W2133047062","https://openalex.org/W2160573490","https://openalex.org/W2214615446","https://openalex.org/W3022910174","https://openalex.org/W3141735664","https://openalex.org/W3146122321","https://openalex.org/W3147662708","https://openalex.org/W4229933586","https://openalex.org/W4230972777","https://openalex.org/W6636227401","https://openalex.org/W6674754254"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1903167137","https://openalex.org/W2049993111","https://openalex.org/W2045204345","https://openalex.org/W2034589735","https://openalex.org/W2020416949","https://openalex.org/W1999356246","https://openalex.org/W1544097700"],"abstract_inverted_index":{"A":[0],"key":[1],"goal":[2,58],"of":[3,120],"our":[4,30],"research":[5],"is":[6],"to":[7],"introduce":[8],"an":[9,45],"approach":[10],"that":[11,59,124],"involves":[12],"at":[13,50,53],"the":[14,57,70,87,125],"outset":[15],"using":[16,40],"analytical":[17],"reasoning":[18,35,71,106],"as":[19,63],"a":[20,41,76,83,95],"method":[21],"for":[22,65,116],"developing":[23],"high":[24],"quality":[25],"software.":[26],"This":[27],"paper":[28],"summarizes":[29],"experiences":[31],"in":[32,44,91],"introducing":[33],"mathematical":[34],"and":[36,79,98,105,110],"formal":[37],"specification-based":[38,102],"development":[39,104],"web-integrated":[42],"environment":[43],"undergraduate":[46],"software":[47,103],"engineering":[48],"course":[49],"two":[51],"institutions":[52],"different":[54],"levels,":[55],"with":[56],"they":[60],"will":[61],"serve":[62],"models":[64],"other":[66],"educators.":[67],"At":[68,85],"Alabama,":[69],"topics":[72,88],"are":[73,80,89,99],"introduced":[74],"over":[75,94],"two-week":[77],"period":[78,97],"followed":[81,100],"by":[82,101],"project.":[84],"Clemson,":[86],"covered":[90],"more":[92],"depth":[93],"five-week":[96],"assignments.":[107],"The":[108],"courses":[109],"project":[111],"assignments":[112],"have":[113],"been":[114],"offered":[115],"multiple":[117],"semesters.":[118],"Evaluation":[119],"student":[121],"performance":[122],"indicates":[123],"learning":[126],"goals":[127],"were":[128],"met.":[129]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-25T21:42:39.735039","created_date":"2025-10-10T00:00:00"}