Export 7 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is formal specification  [Clear All Filters]
Hsu C-J, Bhattacharyya SS.  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.
Memon AM, Xie Q.  2005.  Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software. Software Engineering, IEEE Transactions on. 31(10):884-896.
Vasan A, Memon AM.  2004.  ASPIRE: automated systematic protocol implementation robustness evaluation. Software Engineering Conference, 2004. Proceedings. 2004 Australian. :241-250.
Natarajan V, Cleaveland R.  1996.  An algebraic theory of process efficiency. , Eleventh Annual IEEE Symposium on Logic in Computer Science, 1996. LICS '96. Proceedings. :63-72.
Cleaveland R, Steffen B.  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.