Paper Info
Title
Experience report: evolution of a web-integrated software development and verification environment.
Abstract
This paper summarizes our experiences over the last 4years 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.
Year
DOI
Venue
2015
10.1002/spe.2259
Softw., Pract. Exper.
Keywords
DocType
Volume
Education,formal methods,IDE,reusable components,software engineering,verification,web application
Journal
45
Issue
ISSN
Citations 
6
0038-0644
1
PageRank 
References 
Authors
0.35
7
3
Name
Order
Citations
PageRank
Charles T. Cook1202.74
Yu-Shan Sun2115.93
Murali Sitaraman327040.99