Compiling language definitions: the ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards automated modification of legacy assets
Annals of Software Engineering
CASL: the common algebraic specification language
Theoretical Computer Science
Object-oriented tree traversal with J. J. Forester
Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)
i-Cube: A Tool-Set for the Dynamic Extraction and Integration of Web Data Content
ISEC '01 Proceedings of the Second International Symposium on Topics in Electronic Commerce
Software Architecture for Distributed Reactive Systems
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
GCCS: A Graphical Coordination Language for System Specification
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
The ASF+SDF Meta-environment: A Component-Based Language Development Environment
CC '01 Proceedings of the 10th International Conference on Compiler Construction
A language development environment for Eclipse
eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
Wait-free concurrent memory management by create and read until deletion (CaRuD)
Distributed Computing
IEEE Transactions on Software Engineering
Science of Computer Programming - The fourth workshop on language descriptions, tools, and applications (LDTA'04)
ATerms for manipulation and exchange of structured data: It's all about sharing
Information and Software Technology
About "trivial" software patents: The IsNot case
Science of Computer Programming
Visual Specification of Systems with Heterogeneous Coordination Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributing the Workload in a Lazy Theorem-Prover
Electronic Notes in Theoretical Computer Science (ENTCS)
Language Parametric Module Management for IDEs
Electronic Notes in Theoretical Computer Science (ENTCS)
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Towards Formal Verification of ToolBus Scripts
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Language Design for Meta-programming in the Software Composition Domain
SC '09 Proceedings of the 8th International Conference on Software Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Environments for term rewriting engines for free!
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Building a Software Development Environment for Embedded Systems
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Automated translation and analysis of a ToolBus script for auctions
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
MCC: a model transformation environment
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Applications of the ASF+SDF meta-environment
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Truth of Duration Calculus Formulae in Timed Frames
Fundamenta Informaticae
Hi-index | 0.00 |