No photo of Mehmet Akşit

Mehmet Akşit

prof.dr.ir.

1988 …2017
If you made any changes in Pure these will be visible here soon.

Research Output 1988 2017

Filter
Report
2015

A Model-Derivation Framework for Timing Analysis of Java Software Systems

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M. 30 Dec 2015 Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-15-08)

Research output: Book/ReportReport

File
2012

A design method for modular energy-aware software

te Brinke, S., Malakuti Khah Olun Abadi, S., Bockisch, C., Bergmans, L. & Aksit, M. Nov 2012 Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-12-28)

Research output: Book/ReportReport

File
2009

A graph-based aspect interference detection approach for UML-based aspect-oriented models

Ciraci, S., Havinga, W. K., Aksit, M., Bockisch, C. & van den Broek, P. M. 21 Sep 2009 Enschede: Centre for Telematics and Information Technology (CTIT). 47 p. (CTIT Technical Report Series; no. TR-CTIT-09-39)

Research output: Book/ReportReport

File
2008

A Controlled Experiment for the Assessment of Aspects - Tracing in an Industrial Context

Durr, P. E. A., Bergmans, L. & Aksit, M. 23 Jan 2008 Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT Technical Report Series; no. TR-CTIT-08-04)

Research output: Book/ReportReport

File
2007

Initial Results for Quantifying AOP

Durr, P. E. A., Bergmans, L. & Aksit, M. 22 Oct 2007 Enschede: Centre for Telematics and Information Technology (CTIT). 6 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-71)

Research output: Book/ReportReport

File

Prototyping and Composing Aspect Languages: using an Aspect Interpreter Framework

Havinga, W. K., Bergmans, L. & Aksit, M. 13 Oct 2007 Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-74)

Research output: Book/ReportReport

File

Reasoning about Behavioral Conflicts between Aspects

Durr, P. E. A., Bergmans, L. & Aksit, M. 19 Feb 2007 Enschede: Software Engineering (SE). 36 p. (CTIT Technical Report Series; no. 2/TR-CTIT-07-15)

Research output: Book/ReportReport

File
5 Citations

Static and Dynamic Detection of Behavioral Conflicts between Aspects

Durr, P. E. A., Bergmans, L. & Aksit, M. 4 Mar 2007 Enschede: Software Engineering (SE). 2 p. (CTIT Technical Report Series; no. 2/TR-CTIT-07-23)

Research output: Book/ReportReport

File
2005

Aspect-based and Model-based Separation of Concerns in Software Systems

Aksit, M., Bézivin, J. & Roubtsova, E. Nov 2005 Enschede: Software Engineering (SE). 97 p. (CTIT Technical Report Series; no. TR-CTIT-05-56)

Research output: Book/ReportReport

File

Declarative Composition of Aspects

Nagy, I., Bergmans, L. & Aksit, M. 2005 Enschede: Centrum voor Telematica en Informatie Technologie. (CTIT technical report series)

Research output: Book/ReportReport

File

Formal model for SECRET

Durr, P. E. A., Bergmans, L. & Aksit, M. 16 Dec 2005 Enschede: Centrum voor Telematica en Informatie Technologie. 11 p. (CTIT technical report series)

Research output: Book/ReportReport

File

Reasoning About Semantic Conflicts Between Aspects

Durr, P. E. A., Staijen, T., Bergmans, L. & Aksit, M. Sep 2005 Enschede: Centre for Telematics and Information Technology (CTIT). 7 p. (CTIT technical reports series; no. TR-CTIT-05-73)

Research output: Book/ReportReport

File
3 Citations

Utilizing Design Information in Aspect-Oriented Programming

Nagy, I., Bergmans, L., Havinga, W. K. & Aksit, M. 2005 Enschede: Centrum voor Telematica en Informatie Technologie.

Research output: Book/ReportReport

2003

An Analysis of Composability and Composition Anomalies

Bergmans, L., Tekinerdogan, B., Nagy, I. & Aksit, M. 2003 Enschede: University of Twente, Department of Computer Science. 16 p.

Research output: Book/ReportReport

File
1999

Aspect Analysis & Specification

Noutash, A., Bergmans, L. & Aksit, M. 1999 Enschede: Centre for Telematics and Information Technology (CTIT). 16 p. (AMIDST Deliverables)

Research output: Book/ReportReport

Classifying and evaluating architecture design methods

Aksit, M. & Tekinerdogan, B. 1999 Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (AMIDST deliverable)

Research output: Book/ReportReport

File

Mapping Aspects to Components

Bergmans, L., Aksit, M. & Tekinerdogan, B. 1999 Enschede: Centre for Telematics and Information Technology (CTIT). 24 p. (AMIDST Deliverables; no. AMIDST)

Research output: Book/ReportReport

File

Modeling the Object-Oriented Software Process: OPEN and the Unified Process

van den Berg, K. (ed.), Aksit, M. & van den Broek, P. M. Feb 1999 Enschede: Centre for Telematics and Information Technology (CTIT). 25 p.

Research output: Book/ReportReport

File
Quality assurance

Use Cases in Object-Oriented Software Development

van den Berg, K. (ed.), Aksit, M. & van den Broek, P. M. Feb 1999 Enschede: Centre for Telematics and Information Technology (CTIT). 22 p.

Research output: Book/ReportReport

File
1990

Data Abstraction, Concurrency and Synchronization in Sina

Aksit, M. & Tripathi, A. 1990 Enschede, the Netherlands: University of Twente, Department of Computer Science. 69 p. (Memoranda informatica; no. INF 97-15)

Research output: Book/ReportReport