Languages
Heckel, Reiko.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Web services and formal methods4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
by:
(1998 :); Dumas, Marlon.; Heckel, Reiko.; SpringerLink (Online service)
(Electronic resources)
Fundamental Approaches to Software Engineering (vol. # 3922)9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006: proceedings /
by:
(1998 :); Baresi, Luciano.; Heckel, Reiko.; SpringerLink (Online service)
(Electronic resources)
Graph transformation, specifications, and netsin memory of Hartmut Ehrig /
by:
Heckel, Reiko.; SpringerLink (Online service); Taentzer, Gabriele.
(Electronic resources)
Graph transformation for software engineerswith applications to model-based development and domain-specific language engineering /
by:
Heckel, Reiko.; SpringerLink (Online service); Taentzer, Gabriele.
(Electronic resources)
Subjects
Web services
Software Engineering.
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.