Publisher
Springer Science and Business Media LLC
Reference59 articles.
1. Hinchey MG, Rash JL, Rouff CA (2005) A formal approach to requirements-based programming. In: Proceedings of 12th annual IEEE international conference and workshop on the engineering of computer based systems (ECBS 2005), Los Alamitos, IEEE Computer Society, Washington, pp 339–345
2. Hinchey MG, Rash JL, Rouff CA (2005) Enabling requirements-based programming for highly-dependable complex parallel and distributed systems. In: Proceedings of the 11th international conference on parallel and distributed systems—workshops (ICPADS’05), Washington DC, IEEE Computer Society, Washington, pp 570–574
3. Hinchey MG, Rash JL, Rouff CA (2005) Requirements to Design to Code: towards a fully formal approach to automatic code generation. Technical Report 2005-212774, National Aeronautics and Space Administration
4. Carter JD (2006) Mise en Scene: a scenario-based approach to generating CSP system traces. Master’s thesis, University of Guelph, Department of Computing and Information Science, Guelph
5. Carter JD, Gardner WB (2007) Mise en Scene: converting scenarios to CSP traces in support of requirements-based programming. In: Proceedings of 3rd IEEE systems and software week, vol 31. Software Engineering Workshop, pp 41–50
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献