Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Methods for evaluating and covering the design space during early design development
Integration, the VLSI Journal
Challenges in automotive software engineering
Proceedings of the 28th international conference on Software engineering
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Towards a formal foundation for domain specific modeling languages
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Model-Based Security Engineering of Distributed Information Systems Using UMLsec
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Automating component-based system assembly
Proceedings of the 2007 international symposium on Software testing and analysis
Software components for reliable automotive systems
Proceedings of the conference on Design, automation and test in Europe
Specifying and Composing Non-functional Requirements in Model-Based Development
SC '09 Proceedings of the 8th International Conference on Software Composition
COPE - Automating Coupled Evolution of Metamodels and Models
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Kodkod: a relational model finder
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Specifying self-configurable component-based systems with fractoy
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
MDA and analysis of web applications
TEAA'05 Proceedings of the 31st VLDB conference on Trends in Enterprise Application Architecture
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
An approach for effective design space exploration
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Towards quality driven exploration of model transformation spaces
Proceedings of the 14th international conference on Model driven engineering languages and systems
Finding models in model-based development
Proceedings of the 14th international conference on Model driven engineering languages and systems
Reasoning about metamodeling with formal specifications and automatic proofs
Proceedings of the 14th international conference on Model driven engineering languages and systems
Taking satisfiability to the next level with z3
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Understanding specification languages through their model theory
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Systematic guidance in solving performance and scalability problems
Proceedings of the 18th international doctoral symposium on Components and architecture
Model-based energy optimization of automotive control systems
Proceedings of the Conference on Design, Automation and Test in Europe
Example-driven modeling: model = abstractions + examples
Proceedings of the 2013 International Conference on Software Engineering
Engineering domain-specific languages with formula 2.0
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
Diversely enumerating system-level architectures
Proceedings of the Eleventh ACM International Conference on Embedded Software
Hi-index | 0.00 |
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models can be easily evolved as hardware and software requirements evolve. However, efforts to apply MDA in industrial settings expose several open problems surrounding tooling: Engineers need automated techniques that are scalable, general, and extensible. In this paper we describe the formula framework as a novel approach towards general automation for MDA. We develop a running example and benchmarks to compare our tools with other state-of-theart approaches.