A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
UML 2.0 - Overview and Perspectives in SoC Design
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Automatic Maintenance of Association Invariants
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
xEAI-rules: executable models to simulate enterprise application cooperation
Proceedings of the 2006 ACM symposium on Applied computing
On the Pitfalls of UML 2 Activity Modeling
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
DEMOCLES: a tool for executable modeling of platform-independent systems
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Metadata-driven software components aggregation process with reuse
International Journal of Advanced Media and Communication
UML&AADL '2007 grand challenges
ACM SIGBED Review
Towards a Formal Account of a Foundational Subset for Executable UML Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities
CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
Weaving executability into UML class models at PIM level
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
From platform-independent to platform-specific models using democles
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Modeling and executing adaptive sensor network applications with the Matilda UML virtual machine
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Slicing-based test case generation from UML activity diagrams
ACM SIGSOFT Software Engineering Notes
Execution of aspect oriented UML models
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Correctness by construction for high-integrity real-time systems: a metamodel-driven approach
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Intelligent software engineering tools for NASA's crew exploration vehicle
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Actor-eUML for concurrent programming
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
SPARK annotations within executable UML
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Natural language generation from class diagrams
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Towards a model level debugger for the cougaar model driven architecture system
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
The OWL-S editor – a development tool for semantic web services
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Termination criteria for model transformation
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
UML4SPM: a UML2.0-Based metamodel for software process modelling
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
A step towards merging xUML and CSP || B
Rigorous Methods for Software Construction and Analysis
A lightweight model-driven orchestration engine for e-services
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Applying MDA and UML in the development of a healthcare system
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
Applying MDA and UML in the development of a healthcare system
UML Modeling Languages and Applications
An overview of the SystemB collaborative project
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Model-Driven Development with eUML-ARC
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Application MDA in a collaborative modeling environment
ICEC'07 Proceedings of the 6th international conference on Entertainment Computing
Model oriented programming: an empirical study of comprehension
CASCON '12 Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research
An optimization approach for effective formalized fUML model checking
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Industrial experiences from multi-paradigmatic modelling of signal processing
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
Hi-index | 0.00 |