Publications
Export 7 results:
Author [ Title] Type Year Filters: Keyword is formal specification [Clear All Filters]
1996. An algebraic theory of process efficiency. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :63-72.
2004. ASPIRE: automated systematic protocol implementation robustness evaluation. Software Engineering Conference, 2004. Proceedings. 2004 Australian. :241-250.
1995. Comparing detection methods for software requirements inspections: a replicated experiment. IEEE Transactions on Software Engineering. 21(6):563-575.
2005. Porting DSP applications across design tools using the dataflow interchange format. Rapid System Prototyping, 2005. (RSP 2005). The 16th IEEE International Workshop on. :40-46.
2005. Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software. Software Engineering, IEEE Transactions on. 31(10):884-896.
1990. When is `partial' adequate? A logic-based proof technique using partial specifications Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e. :440-449.