Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Titre(s) : Recent Trends in Algebraic Development Techniques [Texte électronique] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu
Édition : 1st ed. 2015
Publication : Cham : Springer International Publishing, 2015
Description matérielle : 1 online resource (XI, 171 p. 35 illus. in color :)
Collection : Lecture Notes in Computer Science ; 9463
Note(s) : This book constitutes the thoroughly refereed post-conference proceedings of the 22nd
International Workshop on Algebraic Development Techniques, WADT 2014, held in September
2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and
selected from 13 presentations and focus together with one invited paper on foundations
of algebraic specification, approaches to formal specification including process calculi
and models of concurrent, distributed and mobile computing, specification languages,
methods, and environments, semantics of conceptual modeling methods and techniques,
model-driven development, graph transformations, term rewriting and proof systems,
integration of formal specification techniques, formal testing and quality assurance,
validation, and verification
Autre(s) auteur(s) : Codescu, Mihai. Fonction indéterminée
Diaconescu, Răzvan. Fonction indéterminée
Țuțu, Ionuț. Fonction indéterminée
Sujet(s) : Génie logiciel
Informatique
Ordinateurs
Logique informatique
Informatique -- Mathématiques
Indice(s) Dewey :
005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique
Identifiants, prix et caractéristiques : ISBN 9783319281148
Identifiant de la notice : ark:/12148/cb44680994c
Notice n° :
FRBNF44680994
(notice reprise d'un réservoir extérieur)
Table des matières : On Logic Embeddings and Gödel{u2019}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.