Recent Trends in Algebraic Development Techniques
-15%
portes grátis
Recent Trends in Algebraic Development Techniques
22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
?u?u, Ionu?; Diaconescu, Razvan; Codescu, Mihai
Springer International Publishing AG
12/2015
171
Mole
Inglês
9783319281131
15 a 20 dias
2876
Descrição não disponível.
On
Logic Embeddings and Goedel's God.- An Institutional Foundation for the K Semantic Framework.- A Theoretical Foundation
for Programming Languages Aggregation.- Coalgebraic Semantics of Heavy-Weighted
Automata.- Foundations of Logic Programming in Hybridised Logics.- What Is a
Derived Signature Morphism?.- Use Case Analysis Based on Formal Methods: An
Empirical Study.- A Full Operational Semantics for Asynchronous Relational
Networks.- A SOC-Based Formal Specification and Verification of Hybrid Systems.
Logic Embeddings and Goedel's God.- An Institutional Foundation for the K Semantic Framework.- A Theoretical Foundation
for Programming Languages Aggregation.- Coalgebraic Semantics of Heavy-Weighted
Automata.- Foundations of Logic Programming in Hybridised Logics.- What Is a
Derived Signature Morphism?.- Use Case Analysis Based on Formal Methods: An
Empirical Study.- A Full Operational Semantics for Asynchronous Relational
Networks.- A SOC-Based Formal Specification and Verification of Hybrid Systems.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
differential equations;distributed systems;hybrid transition systems;model checking;use cases;algebraic specification;empirical study;formal specification and;formal testing;functional programming;graph transformation;logic programming;maude;mobile systems;model-driven development;object-oriented;operational semantics;process calculi;term rewriting;type systems
On
Logic Embeddings and Goedel's God.- An Institutional Foundation for the K Semantic Framework.- A Theoretical Foundation
for Programming Languages Aggregation.- Coalgebraic Semantics of Heavy-Weighted
Automata.- Foundations of Logic Programming in Hybridised Logics.- What Is a
Derived Signature Morphism?.- Use Case Analysis Based on Formal Methods: An
Empirical Study.- A Full Operational Semantics for Asynchronous Relational
Networks.- A SOC-Based Formal Specification and Verification of Hybrid Systems.
Logic Embeddings and Goedel's God.- An Institutional Foundation for the K Semantic Framework.- A Theoretical Foundation
for Programming Languages Aggregation.- Coalgebraic Semantics of Heavy-Weighted
Automata.- Foundations of Logic Programming in Hybridised Logics.- What Is a
Derived Signature Morphism?.- Use Case Analysis Based on Formal Methods: An
Empirical Study.- A Full Operational Semantics for Asynchronous Relational
Networks.- A SOC-Based Formal Specification and Verification of Hybrid Systems.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
differential equations;distributed systems;hybrid transition systems;model checking;use cases;algebraic specification;empirical study;formal specification and;formal testing;functional programming;graph transformation;logic programming;maude;mobile systems;model-driven development;object-oriented;operational semantics;process calculi;term rewriting;type systems
