Statecharts: A visual formalism for complex systems
Science of Computer Programming
Basic category theory for computer scientists
Basic category theory for computer scientists
A note on state modeling through inheritance
ACM SIGSOFT Software Engineering Notes
Design Wizards and Visual Programming Environments for GenVoca Generators
IEEE Transactions on Software Engineering
Model-based design of interactive applications
intelligence
A statechart-based model for hypermedia applications
ACM Transactions on Information Systems (TOIS)
Achieving extensibility through product-lines and domain-specific languages: a case study
ACM Transactions on Software Engineering and Methodology (TOSEM)
Information Systems - Special issue on Databases: creation, management and utilization
Access path selection in a relational database management system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Conceptual Modeling of Data-Intensive Web Applications
IEEE Internet Computing
Proceedings of the 25th International Conference on Software Engineering
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
Ant: Automating the Process of Building Applications
IEEE Software
Building adaptable and reusable XML applications with model transformations
WWW '05 Proceedings of the 14th international conference on World Wide Web
Model-driven software product lines
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Multilevel models in model-driven engineering, product lines, and metaprogramming
IBM Systems Journal - Model-driven software development
Feature refactoring a multi-representation program into a product line
Proceedings of the 5th international conference on Generative programming and component engineering
From implementation to theory in product synthesis
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Turning portlets into services: the consumer profile
Proceedings of the 16th international conference on World Wide Web
A Taxonomy of Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Mapping features to models: a template approach based on superimposed variants
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Turning portlets into services: the consumer profile
Proceedings of the 16th international conference on World Wide Web
Exploring Extensibility of Architectural Design Decisions
SHARK-ADI '07 Proceedings of the Second Workshop on SHAring and Reusing architectural Knowledge Architecture, Rationale, and Design Intent
A specification-based approach to testing software product lines
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
A specification-based approach to testing software product lines
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Granularity in software product lines
Proceedings of the 30th international conference on Software engineering
Research challenges in the tension between features and services
Proceedings of the 2nd international workshop on Systems development in SOA environments
Lifting Transformational Models of Product Lines: A Case Study
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
The Objects and Arrows of Computational Design
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
A Modeling Language for Program Design and Synthesis
Advances in Software Engineering
Facilitating Controlled Tests of Website Design Changes: A Systematic Approach
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Model Superimposition in Software Product Lines
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Feature-oriented refinement of models, metamodels and model transformations
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Program refactoring, program synthesis, and model-driven development
CC'07 Proceedings of the 16th international conference on Compiler construction
Automated analysis of feature models 20 years later: A literature review
Information Systems
Experience of building an architecture-based generator using GenVoca for distributed systems
Science of Computer Programming
Traceability-centric model-driven object-oriented engineering
Information and Software Technology
An algebraic foundation for automatic feature-based program synthesis
Science of Computer Programming
Categorizing and modeling variation in families of systems: a position paper
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
IBM Journal of Research and Development
Multi-Level Product Line Customization
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Derivational software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
Software factories: describing the assembly process
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
Towards architecture-centric software generation
ECSA'10 Proceedings of the 4th European conference on Software architecture
Proceedings of the 33rd International Conference on Software Engineering
Towards variability support for security and dependability patterns: a case study
Proceedings of the 15th International Software Product Line Conference, Volume 2
Concepts and implementation techniques for web systems product-lines using existing frameworks
Proceedings of the 15th International Software Product Line Conference, Volume 2
Delta-oriented architectural variability using MontiCore
Proceedings of the 5th European Conference on Software Architecture: Companion Volume
A model-driven development method for collaborative modeling tools
Journal of Network and Computer Applications
Detecting inconsistencies in multi-view models with variability
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Web application development processes: requirements, demands and challenges
ACA'12 Proceedings of the 11th international conference on Applications of Electrical and Computer Engineering
A feature-oriented approach to platform-specific modelling of coarse-grained components
International Journal of Computer Applications in Technology
Dynamic service composition and deployment with openrichservices
Software Service and Application Engineering
Pushouts in software architecture design
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
First-class variability modeling in Matlab/Simulink
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Advanced modularity for building SPL feature models: a model-driven approach
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Engineering delta modeling languages
Proceedings of the 17th International Software Product Line Conference
Incremental software design modelling
CASCON '13 Proceedings of the 2013 Conference of the Center for Advanced Studies on Collaborative Research
Low-level variability support for web-based software product lines
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
| Hi-index | 0.00 |
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature Oriented Programming (FOP) is a paradigm for software product lines where programs are synthesized by composing features. Feature Oriented Model Driven Development (FOMDD) is a blend of FOP and MDD that shows how products in a software product line can be synthesized in an MDD way by composing features to create models, and then transforming these models into executables. We present a case study of FOMDD on a product line of portlets, which are components of web portals. We reveal mathematical properties of portlet synthesis that helped us to validate the correctness of our abstractions, tools, and specifications, as well as optimize portlet synthesis.