Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642376344, 9783642376351
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Transformation Systems with Incremental Negative Application Conditions

2013 ◽  
pp. 127-142 ◽  
Author(s):  
Andrea Corradini ◽  
Reiko Heckel ◽  
Frank Hermann ◽  
Susann Gottmann ◽  
Nico Nachtigall
Keyword(s):  
Transformation Systems

scholarly journals Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl

2013 ◽  
pp. 178-194 ◽  
Author(s):  
Phillip James ◽  
Alexander Knapp ◽  
Till Mossakowski ◽  
Markus Roggenbach
Keyword(s):  
Domain Specific Languages ◽  
Domain Specific ◽  
Railway Domain

scholarly journals Bounded Model Checking of Recursive Programs with Pointers in K

2013 ◽  
pp. 59-76 ◽  
Author(s):  
Irina Măriuca Asăvoae ◽  
Frank de Boer ◽  
Marcello M. Bonsangue ◽  
Dorel Lucanu ◽  
Jurriaan Rot
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Recursive Programs

scholarly journals Compiling Logics

2013 ◽  
pp. 111-126 ◽  
Author(s):  
Mihai Codescu ◽  
Fulya Horozal ◽  
Aivaras Jakubauskas ◽  
Till Mossakowski ◽  
Florian Rabe

scholarly journals Behaviour Protection in Modular Rule-Based System Specifications

2013 ◽  
pp. 24-49 ◽  
Author(s):  
Francisco Durán ◽  
Fernando Orejas ◽  
Steffen Zschaler
Keyword(s):  
Rule Based ◽  
Rule Based System

scholarly journals Adaptable Transition Systems

2013 ◽  
pp. 95-110 ◽  
Author(s):  
Roberto Bruni ◽  
Andrea Corradini ◽  
Fabio Gadducci ◽  
Alberto Lluch Lafuente ◽  
Andrea Vandin
Keyword(s):  
Transition Systems

scholarly journals Barbed Semantics for Open Reactive Systems

2013 ◽  
pp. 161-177 ◽  
Author(s):  
Fabio Gadducci ◽  
Giacoma Valentina Monreale
Keyword(s):  
Reactive Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document