Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/SIGNAL_(programming_language)> ?p ?o }
- SIGNAL_(programming_language) abstract "SIGNAL is a programming language based on synchronized data-flow (flows + synchronization): a process is a set of equations on elementary flows describing both data and control.The SIGNAL formal model provides the capability to describe systems with several clocks (polychronous systems) as relational specifications6+9685-. Relations are useful as partial specifications and as specifications of non-deterministic devices (for instance a non-deterministic bus) or external processes (for instance an unsafe car driver).Using SIGNAL allows to specify an application, to design an architecture, to refine detailed components down to RTOS or hardware description. The SIGNAL model supports a design methodology which goes from specification to implementation, from abstraction to concretization, from synchrony to asynchrony.SIGNAL has been mainly developed in INRIAEspresso team since the 1980s, at the same time as similar programming languages, Esterel and Lustre.".
- SIGNAL_(programming_language) wikiPageExternalLink esterel-eng.html.
- SIGNAL_(programming_language) wikiPageExternalLink SYNCHRONE.
- SIGNAL_(programming_language) wikiPageExternalLink www.inria.fr.
- SIGNAL_(programming_language) wikiPageExternalLink espresso.
- SIGNAL_(programming_language) wikiPageExternalLink Polychrony.
- SIGNAL_(programming_language) wikiPageExternalLink home_html.
- SIGNAL_(programming_language) wikiPageExternalLink sigali.html.
- SIGNAL_(programming_language) wikiPageExternalLink index.html.
- SIGNAL_(programming_language) wikiPageExternalLink www.topcased.org.
- SIGNAL_(programming_language) wikiPageID "32475185".
- SIGNAL_(programming_language) wikiPageLength "8156".
- SIGNAL_(programming_language) wikiPageOutDegree "74".
- SIGNAL_(programming_language) wikiPageRevisionID "651952481".
- SIGNAL_(programming_language) wikiPageWikiLink AADL.
- SIGNAL_(programming_language) wikiPageWikiLink Abstract_and_concrete.
- SIGNAL_(programming_language) wikiPageWikiLink Abstraction.
- SIGNAL_(programming_language) wikiPageWikiLink Architecture.
- SIGNAL_(programming_language) wikiPageWikiLink Architecture_Analysis_&_Design_Language.
- SIGNAL_(programming_language) wikiPageWikiLink Array_data_type.
- SIGNAL_(programming_language) wikiPageWikiLink Asynchrony.
- SIGNAL_(programming_language) wikiPageWikiLink Avionics.
- SIGNAL_(programming_language) wikiPageWikiLink Block_diagram.
- SIGNAL_(programming_language) wikiPageWikiLink Bus_(computing).
- SIGNAL_(programming_language) wikiPageWikiLink Category:Declarative_programming_languages.
- SIGNAL_(programming_language) wikiPageWikiLink Category:Formal_methods.
- SIGNAL_(programming_language) wikiPageWikiLink Category:Hardware_description_languages.
- SIGNAL_(programming_language) wikiPageWikiLink Category:Software_modeling_language.
- SIGNAL_(programming_language) wikiPageWikiLink Category:Synchronous_programming_languages.
- SIGNAL_(programming_language) wikiPageWikiLink Compiler.
- SIGNAL_(programming_language) wikiPageWikiLink Concretization.
- SIGNAL_(programming_language) wikiPageWikiLink Data-flow.
- SIGNAL_(programming_language) wikiPageWikiLink Dataflow.
- SIGNAL_(programming_language) wikiPageWikiLink Dataflow_programming.
- SIGNAL_(programming_language) wikiPageWikiLink Design_methodology.
- SIGNAL_(programming_language) wikiPageWikiLink Design_methods.
- SIGNAL_(programming_language) wikiPageWikiLink Digital_signal_processing.
- SIGNAL_(programming_language) wikiPageWikiLink Documentation.
- SIGNAL_(programming_language) wikiPageWikiLink Domain-specific_language.
- SIGNAL_(programming_language) wikiPageWikiLink Eclipse.
- SIGNAL_(programming_language) wikiPageWikiLink Eclipse_Modeling_Framework.
- SIGNAL_(programming_language) wikiPageWikiLink Esterel.
- SIGNAL_(programming_language) wikiPageWikiLink Formal_semantics_of_programming_languages.
- SIGNAL_(programming_language) wikiPageWikiLink Formal_verification.
- SIGNAL_(programming_language) wikiPageWikiLink Front_and_back_ends.
- SIGNAL_(programming_language) wikiPageWikiLink GUI.
- SIGNAL_(programming_language) wikiPageWikiLink Globally_asynchronous_locally_synchronous.
- SIGNAL_(programming_language) wikiPageWikiLink Graphical_user_interface.
- SIGNAL_(programming_language) wikiPageWikiLink Heterogeneous.
- SIGNAL_(programming_language) wikiPageWikiLink Homogeneity_and_heterogeneity.
- SIGNAL_(programming_language) wikiPageWikiLink Implementation.
- SIGNAL_(programming_language) wikiPageWikiLink Lustre_(programming_language).
- SIGNAL_(programming_language) wikiPageWikiLink Metamodeling.
- SIGNAL_(programming_language) wikiPageWikiLink Mode_automata.
- SIGNAL_(programming_language) wikiPageWikiLink Model-driven_engineering.
- SIGNAL_(programming_language) wikiPageWikiLink Model_checking.
- SIGNAL_(programming_language) wikiPageWikiLink Model_of_computation.
- SIGNAL_(programming_language) wikiPageWikiLink Multi-rate_digital_signal_processing.
- SIGNAL_(programming_language) wikiPageWikiLink Nondeterministic_programming.
- SIGNAL_(programming_language) wikiPageWikiLink Ontology_components.
- SIGNAL_(programming_language) wikiPageWikiLink Open_Source.
- SIGNAL_(programming_language) wikiPageWikiLink Open_source.
- SIGNAL_(programming_language) wikiPageWikiLink Programming_Language.
- SIGNAL_(programming_language) wikiPageWikiLink Programming_language.
- SIGNAL_(programming_language) wikiPageWikiLink RTOS.
- SIGNAL_(programming_language) wikiPageWikiLink Real-time_computing.
- SIGNAL_(programming_language) wikiPageWikiLink Real-time_operating_system.
- SIGNAL_(programming_language) wikiPageWikiLink Reflexive_editor.
- SIGNAL_(programming_language) wikiPageWikiLink Sample_rate_conversion.
- SIGNAL_(programming_language) wikiPageWikiLink Semantics_(computer_science).
- SIGNAL_(programming_language) wikiPageWikiLink Simulink.
- SIGNAL_(programming_language) wikiPageWikiLink Sliding_window.
- SIGNAL_(programming_language) wikiPageWikiLink Sliding_window_protocol.
- SIGNAL_(programming_language) wikiPageWikiLink Specification.
- SIGNAL_(programming_language) wikiPageWikiLink Specification_(technical_standard).
- SIGNAL_(programming_language) wikiPageWikiLink Supervisory_control.
- SIGNAL_(programming_language) wikiPageWikiLink Synchronization.
- SIGNAL_(programming_language) wikiPageWikiLink Synchronous_programming_language.
- SIGNAL_(programming_language) wikiPageWikiLink Synchrony.
- SIGNAL_(programming_language) wikiPageWikiLink System.
- SIGNAL_(programming_language) wikiPageWikiLink System_design.
- SIGNAL_(programming_language) wikiPageWikiLink Systems.
- SIGNAL_(programming_language) wikiPageWikiLink Systems_design.
- SIGNAL_(programming_language) wikiPageWikiLink Top-down.
- SIGNAL_(programming_language) wikiPageWikiLink Top-down_and_bottom-up_design.
- SIGNAL_(programming_language) wikiPageWikiLink Tree.
- SIGNAL_(programming_language) wikiPageWikiLinkText "SIGNAL (programming language)".
- SIGNAL_(programming_language) wikiPageWikiLinkText "SIGNAL programming language".
- SIGNAL_(programming_language) wikiPageWikiLinkText "SIGNAL".
- SIGNAL_(programming_language) wikiPageWikiLinkText "Signal".
- SIGNAL_(programming_language) hasPhotoCollection SIGNAL_(programming_language).
- SIGNAL_(programming_language) wikiPageUsesTemplate Template:Abbreviations.
- SIGNAL_(programming_language) wikiPageUsesTemplate Template:Clarify.
- SIGNAL_(programming_language) wikiPageUsesTemplate Template:Reflist.
- SIGNAL_(programming_language) subject Category:Declarative_programming_languages.
- SIGNAL_(programming_language) subject Category:Formal_methods.
- SIGNAL_(programming_language) subject Category:Hardware_description_languages.
- SIGNAL_(programming_language) subject Category:Software_modeling_language.
- SIGNAL_(programming_language) subject Category:Synchronous_programming_languages.
- SIGNAL_(programming_language) hypernym Language.