prof.dr.ir. M. Aksit (Mehmet)

Full Professor

About Me

Personal data:

  • Full Professor since 2000;
  • Software Engineering Chair, University of Twente, Enschede, The Netherlands;
  • m.aksit (at) utwente.nl ; http://fmt.cs.utwente.nl/ ;
  • Citations: 15864 (Google scholar November 20, 2018); H-index: 33 ; I10-index: 96;


Programming languages:

  • In 1988, (probably the first) aspect-oriented language called Sina was developed. This work was later evolved into the concept of Composition Filters (1992). Various languages adopted this concept (ComposeJ, Compose*, etc.). Compose* was the most advanced language among these. It was implemented on various platforms. It had some unique features such as language independence, “interface-programming”, domain specific aspects and incorporated a set of verification tools. 
  • We organized the first Aspect-Oriented Software Development conference (AOSD2002) and I was the co-editor of the first aspect-oriented journal. 
  • Between 2010 – today, new language abstractions (Event Composition Modules, the Gummy programming language) were developed to abstract event-based programs. A particular interest was to modularly represent so-called “emergent behavior”. We are currently working on a new paradigm called: Optimal Programming.

Software design:

  • In the 90’s, the synthesis based architecture/software design method was developed; This method adopts controlled problem solving techniques in mapping requirements to software architectural solutions.
  • In the 90’s, a fuzzy-logic based technique for modeling uncertainty in software design processes was developed. Later, this technique was extended with fuzzy-probabilistic methods and applied to software process- and product-optimization problems. 
  • We are currently working on so-called Optimal Modeling Language and Framework.

Product-line and/or software architectures/application frameworks:

  • Since 1990’s, various industrial projects have been carried out with companies to design and implement application specific libraries, product-line architectures, application frameworks, domain-specific languages, etc. Examples are:
  • Since 2015, product-line architectures, model-driven engineering tools and application generators have been defined and implemented to support software systems which incorporate schedulers (designed specifically for the company Aselsan).
  • As 2018, we were told that every lithography machine produced by the company ASML (owns about 70% of the world market) has a subsystem that was originally designed and implement by my research team.
  • Other examples are design of various architectures for insurance-management systems, car-dealer management systems, medical-systems, communication-media charging systems, etc.

Enhancing software quality attributes:

New design formalisms were developed to evaluate various software quality attributes. For this purpose around the year 2000, the concept of Design Algebra was introduced. Later, new software metrics for were defined and appropriate tools were built. Examples are:

  • Metrics for adaptability and evolvability were first specified and verified using Design Algebra. Later, graph algebras, temporal-logic and predicate-based specification languages were introduced. 
  • The quality attribute documentability was specified, verified and enforced by a new concept called context-sensitive wildcards as adopted by the language VisuaL. 
  • The quality attribute fault-tolerance was provided by dedicated local recovery techniques. The quality attribute availability was specified and verified by the help of special tools based on information obtained from source code analysis. 
  • The quality attribute integrate-ability was specified and verified with the help of graph-based and resource-model based techniques. 
  • The quality attribute traceability was investigated by using dedicated meta models that could represent and reason about the design context. 
  • The quality attribute relevancy was specified and verified with the help of fuzzy-probabilistic models.
  • The quality attribute energy-reduction was modeled and enhanced through the use of dedicated architecture and domain-specific languages. 
  • Various quality trade-off techniques were investigated by using single and multi-criteria optimization techniques.

University – Industry cooperation methods

  • Since 2011, as a team, we have been developing new “university – industry cooperation” methods. Along this line, company maturity models and processes have been defined.
  • This method aims at enhancing the capabilities of high-technology companies so that they can accomplish their strategic objectives in a timely manner. 
  • Since 2011, as a team we have been working extensively with 5 very large high-technology companies to  enhance their technological capabilities.


Chemical Analysis
Software Architecture
Software Engineering
Fuzzy Logic


Orhan, G., Aksit, M., & Rensink, A. (2018). Designing Reusable and Run-Time Evolvable Scheduling Software. 339-373. Paper presented at PATAT 2018, Vienna, Austria.
Yildiz, B. M., Rensink, A., Bockisch, C., & Aksit, M. (2017). A Model-Derivation Framework for Software Analysis. In H. Hermanns, & P. Höffner (Eds.), Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017 (pp. 217-229). (EPTCS - Electronic Publications in Theoretical Computer Science; Vol. 244). arXiv.org. DOI: 10.4204/EPTCS.244.9
Yildiz, B. M., Bockisch, C., Rensink, A., & Aksit, M. (2017). A Java Bytecode Metamodel for Composable Program Analyses. In M. Seidl, & S. Zschaler (Eds.), Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (pp. 30-40). (Lecture Nodes in Computer Science; Vol. 10748). Springer. DOI: 10.1007/978-3-319-74730-9_4
Yildiz, B. M., Bockisch, C., Aksit, M., & Rensink, A. (2017). An MDE Approach for Modular Program Analyses. In Programming ’17: Companion to the first International Conference on the Art, Science and Engineering of Programming [15] Association for Computing Machinery. DOI: 10.1145/3079368.3079392
Orhan, G., Aksit, M., & Rensink, A. (2017). A Formal Product-Line Engineering Approach for Schedulers. In L. Jololian, D. E. Robbins, & S. L. Fernandes (Eds.), SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions (pp. 15-30). (Integrated design and process technology; Vol. 22).
Malakuti Khah Olun Abadi, S., & Aksit, M. (2015). On liberating programs from the von neumann architecture via event-based modularization. In Companion Proceedings of the 14th International Conference on Modularity, MODULARITY Companion 2015 (pp. 31-34). New York: Association for Computing Machinery. DOI: 10.1145/2735386.2735387
Aksit, M., Tekinerdogan, B., Sözer, H., Safi, H. F., & Ayas, M. (2015). The DESARC method: An effective approach for university-industry cooperation. In Proceedings of the International Conference on Advances in Computing, Control and Networking, ACCN 2015 (pp. 51-53). New York, NY, USA: Institute of Research Engineers and Doctors. DOI: 10.15224/978-1-63248-038-5-10
Aksit, M., & Malakuti Khah Olun Abadi, S. (2015). Hermeneutics framework: integration of design rationale and optimizing software modules. In Proceedings of the 14th International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS 2015) (pp. 58-62). (Recent Advances in Computer Engineering Series; Vol. 27). Sofia, Bulgaria: WSEAS Press.
Yildiz, B. M., Rensink, A., Bockisch, C., & Aksit, M. (2015). A Model-Derivation Framework for Timing Analysis of Java Software Systems. (CTIT Technical Report Series; No. TR-CTIT-15-08). Enschede: Centre for Telematics and Information Technology (CTIT).

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3061
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3061
P.O. Box 217
7500 AE Enschede
The Netherlands