Author of the publication

Animating Formal Requirements Specifications of Cooperative Information Systems.

, , and . CoopIS, page 101-112. World Scientific, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Logical Support for Reasoning about the Specification and the Elaboration of Requirements.. DS-3, page 79-98. North-Holland, (1988)Gradient-based algorithms for block-oriented MAP estimation of motion and application to motion-compensated temporal interpolation., and . IEEE Trans. Circuits Syst. Video Techn., 1 (1): 72-85 (1991)The Discrete Fourier Transform Over Finite Rings with Application to Fast Convolution., and . IEEE Trans. Computers, 27 (7): 586-593 (1978)Towards a Formal Agent-Oriented Requirements Definition of Manufacturing Systems., , , , and . DIISM, volume B-14 of IFIP Transactions, page 141-158. North-Holland, (1993)A framework for dealing with and specifying security requirements in information systems., and . SEC, volume 54 of IFIP Conference Proceedings, page 88-99. Chapman & Hall, (1996)View morphing and interpolation through triangulation., and . Electronic Imaging: Image and Video Communications and Processing, volume 5685 of SPIE Proceedings, SPIE, (2005)Image completion using image skimming., and . Visual Information Processing and Communication, volume 9410 of SPIE Proceedings, page 94100L. SPIE, (2015)Efficient panoramic sampling of real-world environments for image-based stereoscopic telepresence., and . SD&A, volume 8288 of SPIE Proceedings, page 82882D. SPIE, (2012)Design of finite wordlength IIR filters with prescribed magnitude, group delay and stability properties using simulated annealing., , and . ICASSP, page 1637-1640. IEEE Computer Society, (1991)Defining an Ontology for the Formal Requirements Engineering of Manufacturing Systems., and . ICEIMT, volume 1 of Research Reports Esprit, page 378-387. Springer, (1997)