Languages
Heckel, Reiko.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Graph transformation, specifications, and nets = in memory of Hartmut Ehrig /
by:
Heckel, Reiko.; Taentzer, Gabriele.; SpringerLink (Online service)
(Electronic resources)
Graph transformation for software engineers = with applications to model-based development and domain-specific language engineering /
by:
Heckel, Reiko.; Taentzer, Gabriele.; SpringerLink (Online service)
(Electronic resources)
Web services and formal methods = 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
by:
Dumas, Marlon.; Heckel, Reiko.; SpringerLink (Online service); WS-FM 2007 ((2007 :)
(Language materials, printed)
Subjects
Web services
Software Engineering.
Graph theory.
Theory of Computation.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Computer Graphics.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Software engineering.
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.