Object oriented concepts identification from formal B specifications

By Idani Akram   Ledru Yves  

Formal Methods in System Design, Vol. 30, Iss. 3, 2007-06 ,pp. : 217-232

Springer Publishing Company

Access to resources Recommend Favorite

Program Synthesis from Formal Requirements Specifications Using APTS

By Leonard E.I.  

LISP and Symbolic Computation, Vol. 16, Iss. 1-2, 2003-03 ,pp. : 63-92

Springer Publishing Company

Access to resources Recommend Favorite

Executing Formal Specifications with Concurrent Constraint Programming

By Wahls T.  

Automated Software Engineering, Vol. 7, Iss. 4, 2000-12 ,pp. : 315-343

Springer Publishing Company

Access to resources Recommend Favorite

Algorithms and analysis of scheduling for low-power high-performance DSP on VLIW processors

By Shao Zili   Zhuge Qingfeng   Zhang Youtao   Sha Edwin H-M.  

International Journal of High Performance Computing and Networking, Vol. 1, Iss. 1-2, 2005-08 ,pp. : 4-16

Inderscience Publishers

Access to resources Recommend Favorite

The use of contract specifications for representing requirements and for functional testing of hardware models

By Ivannikov V.   Kamkin A.   Kossatchev A.   Kuliamin V.   Petrenko A.  

Programming and Computer Software, Vol. 33, Iss. 5, 2007-09 ,pp. : 272-282

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite