Formal requirements-based programming for complex systems

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2005, Pages 116-125

  Rash, James L ^a   Hinchey, Michael G ^a   Rouff, Christopher A ^b   Gračanin, Denis ^c  

^a NASA GODDARD SPACE FLIGHT CENTER   (United States)

^b SCIENCE APPLICATIONS INTERNATIONAL CORPORATION   (United States)

^c State University   (United States)

Author keywords

Formal methods; Validation; Verification

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; NATURAL LANGUAGE PROCESSING SYSTEMS; SPACE APPLICATIONS;

FORMAL METHODS; FORMAL MODEL; FORMAL REQUIREMENT-BASED PROGRAMMING; GRAPHICAL NOTATIONS; NATURAL LANGUAGES; VALIDATION; VERIFICATION;

FORMAL LANGUAGES;

EID: 27144516207     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/iceccs.2005.47     Document Type: Conference Paper

References (21)

1. ANTLR: ANother Tool for Language Recognition. http://www.antlr.org/.
2. Communicating sequential processes for Java (JCSP). http://www.cs.kent.ac.uk/projects/ofa/jcsp/.
3. Failures-Divergences Refinement: User Manual and Tutorial. Formal Systems (Europe), Ltd., 1999.
4. 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.
5. J. Gosling, B. Joy, G. Steele, and G. Bracha. Java™ Language Specification. Addison Wesley, Boston, second edition, 2000.
6. D. Harel. From play-in scenarios to code: An achievable dream. IEEE Computer, 34(1):53-60, 2001.
7. 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.
8. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003.
9. M. G. Hinchey and S. A. Jarvis. Concurrent Systems: Formal Development in CSP. International Series in Software Engineering. McGraw-Hill International, London, UK, 1995.
10. M. G. Hinchey, J. L. Rash, and C. A. Rouff. A formal approach to requirements-based programming. In Proc. IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS-2005, Greenbelt, Maryland. USA, 4-5 April 2005. IEEE Computer Society.
11. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, 1978.
12. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Prentice Hall International, Englewood Cliffs, NJ, 1985.
13. S. T. Huang. A distributed deadlock detection algorithm for CSP-like communication. ACM Transactions on Programming Languages and Systems, 12(1): 102-122, 1990.
14. M. Kaufmann and Panagiotis Manolios and J Strother Moore. Computer-Aided Reasoning: An Approach. Advances in Formal Methods Series. Kluwer Academic Publishers, Boston, 2000.
15. D. Lea. Concurrent Programming in Java™: Design Principles and Patterns. The Java™ Series. Addison-Wesley Professional, Reading, Massachusetts, second edition, 2000.
16. 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, NJ, 1995.
17. Y. Smaragdakis, S. S. Huang, and D. Zook. Program generators and the tools to make them. In PEPM '04: Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 92-100. ACM Press, 2004.
18. K. Walrath, M. Campione, A. Huml, and S. Zakhour. JFC Swing Tutorial, The: A Guide to Constructing GUIs. Addison Wesley, Boston, second edition, 2004.
19. P. H. Welch, J. R. Aldous, and J. Foster. CSP networking for Java (JCSP.net). In Proceedings of the Global and Collaborative Computing Workshop (ICCS 2002), volume 2330 of Lecture Notes in Computer Science, pages 695-708. Springer-Verlag, 2002.
20. P. H. Welch and J. M. R. Martin. A CSP model for Java multithreading. In Proc. International Symposium on Software Engineering for Parallel and Distributed Systems, pages 114-122, June 2000.
21. J. Whittle, J. Saboo, 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.