Jahuel: A Formal Framework for Software Synthesis-Reference-Cited by-同舟云学术

Jahuel: A Formal Framework for Software Synthesis

Published:2005 Issue: Volume: Page:204-218
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Assayad I.,Bertin V.,Defaut F. -X.,Gerner Ph.,Quévreux O.,Yovine S.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11576280_15.pdf

Reference23 articles.

1. Assayad, I., Gerner, P., Yovine, S., Bertin, V.: Modelling, analysis and implementation of an on-line video encoder. In: DFMA 2005, IEEE Computer Society, Los Alamitos (2005)

2. Inf. tech - Coding of audio-visual objects - P. 2: Visual. Prentice Hall, ISO/IEC 14496-2:2001

3. Lecture Notes in Computer Science;V. Bertin,2002

4. Lecture Notes in Computer Science;P. Binns,2001

5. Burns, A., Wellings, A.: Concurrency in Ada. Cambridge University Press, Cambridge (1998)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal specification and implementation of an automated pattern-based parallel-code generation framework;International Journal on Software Tools for Technology Transfer;2017-08-01

2. A Model-Driven Approach for Software Parallelization;Models in Software Engineering;2012

3. A scheduler synthesis methodology for joint SW/HW design exploration of SoC;Design Automation for Embedded Systems;2010-03-16

4. A platform-based design framework for joint SW/HW multiprocessor systems design;Journal of Systems Architecture;2009-07

5. Formal Approach to Derivation of Concurrent Implementations in Software Product Lines;Process Algebra for Parallel and Distributed Processing;2008-12-22