Evaluation of safety-critical software
Communications of the ACM
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices
The use of object-oriented models in requirements engineering: a field study
ICIS '99 Proceedings of the 20th international conference on Information Systems
Fundamentals of Software Engineering
Fundamentals of Software Engineering
UML2Z: An UML-Based Object-Oriented Modeling Tool for an Internet Integrated Formalization Process
OOIS '00 Proceedings of the 6th International Conference on Object Oriented Information Systems
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
A Survey of Architecture Description Languages
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Defining domain-specific object-oriented modeling languages as uml profiles
Defining domain-specific object-oriented modeling languages as uml profiles
Software Engineering (7th Edition)
Software Engineering (7th Edition)
Model driven security: From UML models to access control infrastructures
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards analyzing UML class diagram models to object-relational database systems transformations
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Hi-index | 0.00 |
Over the past decades, the software development community has increasingly embraced the principles of a model-driven approach, resulting in the definition of many such methodologies. It is now an appropriate time to consolidate the many software model-driven approaches into a set of well-defined and related techniques, and processes. This set of techniques and processes, would be the building block for subsequent model-driven development methodologies. Such an accomplishment would provide a framework from which rigorously defined domain-specific methodologies are crafted. It would also provide a platform from which the next significant advancement in software development may be launched. The objective of this research is the definition and implementation of a platform independent environment for model-driven software development that incorporates formal specification techniques with informal graphical modeling notations. The methodologies of the environment will amalgamate some of the best practices in model-driven development from academia and industry. The success and viability of this defined environment will be manifested in its adaptation by industrial partners.