Specifying concurrent systems with &Dgr;-grammars
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Structured development of graph-grammars for icon manipulation
ACM SIGSOFT Software Engineering Notes
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Journal of Systems and Software - Special issue on artificial and computational intelligence for decisions, control, and automation in engineering and industrial applications
Performance Modeling Using PDL
Computer
A Cooperation Service for CORBA Objects. From the Model to the Applications
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Creating Semantic Representations of Diagrams
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
An end-to-end domain-driven software development framework
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Metamodel based model transformation language
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
An integrated approach to coordination description in distributed multimedia applications
Integrated Computer-Aided Engineering
Towards Verifying Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Verification of Model Transformations Via Goal-Directed Certification
Model-Driven Development of Reliable Automotive Services
Deep Semantics of Visual Languages
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Reusable Idioms and Patterns in Graph Transformation Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A formal specification scheme for network diagrams that facilitates automated design
Journal of Visual Languages and Computing
Hi-index | 0.00 |