Premium
Experience report: evolution of a web‐integrated software development and verification environment
Author(s) -
Cook Charles T.,
Sun YuShan,
Sitaraman Murali
Publication year - 2015
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.2259
Subject(s) - computer science , software engineering , correctness , modular design , implementation , software development , leverage (statistics) , development environment , software development process , process (computing) , web application development , compiler , interface (matter) , software , world wide web , web development , the internet , programming language , operating system , bubble , machine learning , maximum bubble pressure method
Summary 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.