Experience report: evolution of a web‐integrated software development and verification environment. (24th February 2014)
- Record Type:
- Journal Article
- Title:
- Experience report: evolution of a web‐integrated software development and verification environment. (24th February 2014)
- Main Title:
- Experience report: evolution of a web‐integrated software development and verification environment
- Authors:
- Cook, Charles T.
Sun, Yu‐Shan
Sitaraman, Murali - Abstract:
- <abstract abstract-type="main"> <title>Summary</title> <p>This paper summarizes our experiences over the last 4 years in creating a web‐integrated software development and verification environment. The environment has been used for both research experimentation and education. It has been used in undergraduate computer science courses to teach modular software development and analytical reasoning principles at multiple institutions. In the process, the environment has undergone many refinements to meet demands for improved functionality and to leverage rapidly changing underlying technology for the improvements. The environment is tailored to present formal specifications and alternative implementations of components, and enable correctness checking through a server‐side verifying compiler. This paper presents a detailed account of the development and evolution of the environment—its functionality, user interface, and underlying technology—that we hope will serve as a model for others, especially as the benefits of online learning systems are becoming increasingly obvious. Copyright © 2014 John Wiley & Sons, Ltd.</p> </abstract>
- Is Part Of:
- Software, practice & experience. Volume 45:Number 6(2015)
- Journal:
- Software, practice & experience
- Issue:
- Volume 45:Number 6(2015)
- Issue Display:
- Volume 45, Issue 6 (2015)
- Year:
- 2015
- Volume:
- 45
- Issue:
- 6
- Issue Sort Value:
- 2015-0045-0006-0000
- Page Start:
- 857
- Page End:
- 872
- Publication Date:
- 2014-02-24
- Subjects:
- Computer software -- Periodicals
Computer programming -- Periodicals
Computer programs -- Periodicals
005.3 - Journal URLs:
- http://onlinelibrary.wiley.com/ ↗
- DOI:
- 10.1002/spe.2259 ↗
- Languages:
- English
- ISSNs:
- 0038-0644
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - 8321.453000
British Library DSC - BLDSS-3PM
British Library STI - ELD Digital store - Ingest File:
- 4063.xml