Jeffrey L. Overbey
- Photran: An IDE and Refactoring Tool for Fortran. http://www.eclipse.org/photranGoogle Scholar
- http://jeff.over.bz/papersGoogle Scholar
- International Organization for Standardization and International Electrotechnical Commission. ISO/IEC 1539:1997: Information technology--Programming languages--Fortran. Geneva, 1997.Google Scholar
- Adams, J.C., Brainerd,W.S., Martin, J.T., Smith, B.T., andWagener, J.L. Fortran 95 Handbook: Complete ISO/ANSI Reference. MIT Press, Cambridge, MA, 1997. Google ScholarDigital Library
Recommendations
Refactoring Formal Specifications in Object-Z
CSSE '08: Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 02Software refactoring is to restructure artifacts to improve software quality, especially readability, extensibility, and maintainability, while preserving its external behaviors. Software refactoring has been successfully applied to source code and ...
Refactoring Object-Oriented Specifications with Inheritance-Based Polymorphism
TASE '11: Proceedings of the 2011 Fifth International Conference on Theoretical Aspects of Software EngineeringSpecification notations such as JML and Spec# which are embedded into program code provide a promising approach to formal object-oriented software development. If the program code is refactored, however, the specifications need also to be changed. This ...
Refactoring Real-time Specifications
This paper presents an approach to refactoring real-time specifications written using Real-Time Object-Z. This allows implementation components such as clocks and sensors, not necessarily present in an initial abstract specification, to be introduced ...
Comments