A formal approach to requirements-based programming

Proceedings - 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECS 2005

Volumn , Issue , 2005, Pages 339-345

  Hinchey, Michael G ^a   Rash, James L ^a   Rouff, Christopher A ^b  

^a NASA GODDARD SPACE FLIGHT CENTER   (United States)

^b SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

Author keywords

Automatic code generation; Formal methods; Requirements based programming; Validation; Verification

Indexed keywords

AUTOMATIC CODE GENERATION; FORMAL METHODS; REQUIREMENTS-BASED PROGRAMMING; VALIDATION; VERIFICATION;

FORMAL LANGUAGES; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SYSTEMS ENGINEERING;

COMPUTER PROGRAMMING;

EID: 28344448081     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. F. L. Bauer. A trend for the next ten years of software engineering. In H. Freeman and P. M. Lewis, editors. Software Engineering, pages 1-23. Academic Press. 1980.
2. J. P. Bowen and M. G. Hinchey. Seven more myths of formal methods. IEEE Software, 12(4):34-41, 1995.
3. M. J. Butler. csp2B: A Practical Approach To Combining CSP and B. Declarative Systems and Software Engineering Group. Department of Electronics and Computer Science. University of Southampton. February 1999.
4. S. A. Curtis, J. Mica, J. Nuth, G. Marr, M. Rilee, and M. Bhat, ANTS (autonomous nano-technology swarm): An artificial intelligence approach to asteroid belt resource exploration. In Proc. Int'l Astronautical Federation, 51st Congress. October 2000.
5. Formal Systems (Europe). Ltd. Failures-Divergences Refinement: User Manual and Tutorial. 1999.
6. J. C. Giarratano. CLIPS User's Guide. NASA Johnson Space Center. Houston. Texas. 1992.
7. J. A. Hall. Seven myths of formal methods. IEEE Softvare. 7(5):11-19, 1990.
8. D. Harel. From play-in scenarios to code: An achievable dream. IEEE Computer, 34( 1 ):53-60, 2001.
9. D. Harel. Comments made during presentation at "Formal Approaches to Complex Software Systems" panel session. ISoLA-04 First International Conference on Leveraging Applications of Formal Methods, Paphos. Cyprus. 31 October 2004.
10. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003.
11. M. Hinchey, J. Rash, and C. Rouff. Verification and validation of autonomous systems. In Proc. SEW-26, 26th Annual NASA/IEEE Software Engineering Workshop, pages 136-144. Greenbelt. MD. November 2001. NASA Goddard Space Flight Center, IEEE Computer Society Press.
12. M. G. Hinchey and J. P. Bowen, editors. Applications of Formal Methods. Series in Computer Science. Prentice Hall International, Englewood Cliffs, NJ. and Hemel Hempstead. UK. 1995.
13. M. G. Hinchey and J. P. Bowen, editors. Industrial-Strength Formal Methods in Practice. FACIT Series. Springer-Verlag. London. UK, 1999.
14. M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP. International Series in Software Engineering. McGraw-Hill International, London. UK, and New York, NY. 1995.
15. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM. 21(8):666-677, 1978.
16. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science, Prentice Hall International, Englewood Cliffs, NJ. and Hemel Hempstead. UK, 1985.
17. IFAD. The vdm++ toolbox user manual. Technical report. IFAD. 2000.
18. M. Kaufmann, P. Manolios. and J. S. Moore. Computer-Aided Reasoning: An Approach. Advances in Formal Methods Series. Kluwer Academic Publishers, Boston, 2000.
19. K. Lano and H. Haugliton. Specification in B: an Introduction Using the B-Toolkit, Imperial College Press, London, UK. 1996.
20. The Math Works, Inc., Natick. Massachusettes. Getting Started with MATLAB. 2000.
21. F. McLoughlin, ADaGGIO-an automated directed graph diagramming tool, Master's thesis, Department of Computer Science and Information Systems. University of Limerick, Limerick. Ireland. 1992.
22. D. L. Parnas, Using mathematical models in the inspection of critical software. In Applications of Formal Methods. International Series in Computer Science, pages 17-31. Prentice Hall. Englewood Cliffs N.J. and Hemel Hempstead. UK, 1995.
23. J. L. Rash, M. G. Hinchey, C. A. Rouff, D. Gracanin, and J. D. Ericksori, Experiences with a requirements-based programming approach to the development of a NASA autonomous ground control system. In EASe, 2nd IEEE Work-shop on Engineering of Autonomic Systems. Proc. ECBS 2005, 12th IEEE International Conference on Engineering of Computer-Based Systems. Greenbelt, MD. 4-7 April 2005.
24. C. Rouff, J. Rash, and M. Hinchey, Experience using formal methods for specifying a multi-agent system. In Proc. Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2000). Tokyo. Japan, 2000. IEEE Computer Society Press.
25. H. J. van Zuylen. The REDO Compendium: Reverse Engineering for Software Maintenance. John Wiley and Sons. London. UK. 1993.
26. J. Whittle, J. Sahoo, and R. Kwan, From scenarios to code: An air traffic control case study. In Proc. ICSE-25. 25th IEEE/ACM International Conference on Software Engineering, pages 490-495. Portland. Oregon. 2003. IEEE Computer Society Press.