Found 11 results
Filters: Author is Jeffords, Ralph [Clear All Filters]
"A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition", Formal Methods, Second World Congress (FM 2009), Eindhoven, The Netherlands, pp. 173-189, 2009.
"Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned", 2007 IEEE Aerospace Conference, Big Sky, Montana, 2007.
"RE Theory Meets Software Practice: Lessons from the Software Development Trenches", 15th IEEE International Requirements Engineering Conference, New Delhi, India, pp. 265-268, 2007.
"Extended Abstract: Formal Verification of Architectural Patterns in Support of Dependable Distributed Systems", Third ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'05), Verona, Italy, 2005.
"Tools for constructing requirements specifications: The SCR toolset at the age of ten", International Journal of Computer Systems Science and Engineering, vol. 20, issue 1, pp. 19-35, 2005.
"Using Invariants to Optimize Formal Specifications Before Code Synthesis", 2nd ACM/IEEE Int'l Conf. on Formal Methods and Models for Co-Design (MEMOCODE 2004), San Diego, California, 2004.
"A Strategy for Efficiently Verifying Requirements Specifications Using Composition and Invariants", European Software Engineering Conference/ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), Helsinki, Finland, 2003.
"An Algorithm for Strengthening State Invariants Generated from Requirements Specifications", Fifth IEEE Int'l Symp. on Requirements Engineering (RE'01), Toronto, Canada, 2001.
"Automatic Generation of State Invariants from Requirements Specifications", 6th International Symposium on the Foundations of Software Engineering (FSE-6), Orlando, Florida, 1998.
"Automated Consistency Checking of Requirements Specifications", ACM Transactions on Software Engineering and Methodology, vol. 5, issue 3, pp. 231-261, 1996.
"A Benchmark for Comparing Different Approaches for Specifying and Verifying Real-Time Systems", Tenth IEEE Workshop on Real-Time Operating Systems and Software: IEEE Computer Society Press, 1993.