Sign in
Intertwining Implementation with the RealSpec Executable Real-Time Specification Language
Conference proceeding

Intertwining Implementation with the RealSpec Executable Real-Time Specification Language

Amir A. Khwaja, Joseph E. Urban and Knowledge Syst Inst
22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), pp.649-652
01/01/2010

Abstract

Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods Science & Technology Technology
Software development is evolutionary in nature. One suggested approach is to incrementally evolve specifications into implementation by intertwining implementation with specifications. This paper presents an evolutionary method by intertwining RealSpec real-time specifications and corresponding C programming implementation that supports joint execution of specifications and intertwined program code.

Metrics

1 Record Views

Details