Research Output 1988 2015

Filter
Article
2015

Introduction to special issue on software engineering aspects of green computing (SEAGC)

Malakuti Khah Olun Abadi, S., Lohmann, W. & Aksit, M. Sep 2015 In : Sustainable computing. 7, p. 1-1 1 p.

Research output: Scientific - peer-reviewArticle

2014

A communication-channel-based representation system for software

Demirezen, Z., Tanik, M. M., Aksit, M. & Skjellum, A. Jun 2014 21, 3, p. 235-247 13 p.

Research output: ProfessionalArticle

Software design
Decomposition
Software engineering
Entropy
1 Citations

Composing domain-specific physical models with general-purpose software modules in embedded control software

de Roo, A., Sözer, H. & Aksit, M. Feb 2014 13, 1, p. 55-81 27 p.

Research output: Scientific - peer-reviewArticle

Modeling languages
Chemical analysis
Embedded systems
Printing
2013
1 Citations

A fine-grained, customizable debugger for aspect-oriented programming

Yin, H., Leavens, G. T. (ed.), Chiba, S. (ed.), Bockisch, C., Aksit, M. & Tanter, E. (ed.) 2013 7800, p. 1-38 38 p.

Research output: Scientific - peer-reviewArticle

Computer programming languages
User interfaces
Aspect oriented programming
Syntactics
Chemical analysis
1 Citations

MOO: An architectural framework for runtime optimization of multiple system objectives in embedded control software

de Roo, A., Sözer, H., Bergmans, L. & Aksit, M. Oct 2013 In : Journal of systems and software. 86, 10, p. 2502-2519 18 p.

Research output: Scientific - peer-reviewArticle

Embedded systems
Maintainability
Reusability
Multiobjective optimization
Printing
9 Citations

Optimizing decomposition of software architecture for local recovery

Sözer, H., Tekinerdogan, B. & Aksit, M. Jun 2013 21, 2, p. 203-240 38 p.

Research output: Scientific - peer-reviewArticle

Recovery
Decomposition
Fault tolerance
Availability
Software reliability
1 Citations

Vibes: a visual language for specifying behavioral requirements of algorithms

Gülesir, G., Bergmans, L., Aksit, M. & van den Berg, K. Oct 2013 In : Journal of visual languages and computing. 24, 5, p. 350-364 15 p.

Research output: Scientific - peer-reviewArticle

Usability
Software
Formal languages
Alphabet
Regular
2012
10 Citations

An In-Depth Look at ALIA4J

Bockisch, C., Sewe, A., Yin, H., Mezini, M. & Aksit, M. Apr 2012 11, 1, p. 7:1-7:28 28 p.

Research output: Scientific - peer-reviewArticle

Semantics
Computer programming languages

Feature-based rational management system for supporting software architecture adaptation

Tekinerdogan, B., Sözer, H. & Aksit, M. Nov 2012 22, 7, p. 945-964 20 p.

Research output: Scientific - peer-reviewArticle

Software architecture
Fault tolerance
Feature extraction
Communication

First-class Compositions--Defining and composing object and aspect compositions with first-class operators

Bergmans, L., Havinga, W. K. & Aksit, M. 2012 IX, p. 216-267 52 p.

Research output: Scientific - peer-reviewArticle

Chemical analysis
Reusability
Taxonomies
Computer programming languages
Experiments
4 Citations

Verification and analysis of domain-specific models of physical characteristics in embedded control software

de Roo, A., Sözer, H. & Aksit, M. Dec 2012 In : Information and software technology. 54, 12, p. 1432-1453 22 p.

Research output: Scientific - peer-reviewArticle

Hardware
Static analysis
Computer programming languages
Redundancy
Printing
2011

Runtime Verification in Distributed Computing

Malakuti Khah Olun Abadi, S., Park, J. H. (ed.), Obaidat, M. (ed.), Aksit, M. & Bockisch, C. 30 Jun 2011 2, 1, p. 1-10 10 p.

Research output: Scientific - peer-reviewArticle

Specifications
Middleware
Recovery
Communication
2010
6 Citations

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

Ciraci, S., Katz, S. (ed.), Mezini, M. (ed.), Havinga, W. K., Aksit, M., Kienzle, J. (ed.), Bockisch, C. & van den Broek, P. M. 20 Sep 2010 In : Lecture notes in artificial intelligence. 6210, 6210, p. 321-374 56 p.

Research output: Scientific - peer-reviewArticle

Semantics
Polynomials
Specifications
Chemical analysis
2009
4 Citations

Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems

Gülesir, G., van den Berg, K., Bergmans, L. & Aksit, M. 18 Mar 2009 In : Empirical software engineering. 14, 1, p. 720-777 58 p., 10.1007/s10664-009-9107-y

Research output: Scientific - peer-reviewArticle

Defects
Aspect oriented programming
Model checking
Experiments
9 Citations

FLORA: A framework for decomposing software architecture to introduce local recovery

Sözer, H., Tekinerdogan, B. & Aksit, M. Jul 2009 In : Software : practice and experience. 39, 10, p. 869-889 21 p., 10.1002/spe.916

Research output: Scientific - peer-reviewArticle

Recovery
Decomposition
Software architecture
2008
2 Citations

Elsevier special issue on foundations and applications of model driven architecture

Aksit, M. & Ivanov, I. 1 Sep 2008 In : Science of computer programming. 73, 08HT8968C/1, p. 1-2 2 p.

Research output: ScientificArticle

Software engineering
Specifications
Modernization
17 Citations

Software Architecture Reliability Analysis using Failure Scenarios

Tekinerdogan, B., Sözer, H. & Aksit, M. Apr 2008 In : Journal of systems and software. 81, 4, p. 558-575 18 p.

Research output: Scientific - peer-reviewArticle

Software architecture
Reliability analysis
Computer systems
Software reliability
Embedded systems
13 Citations

Software development with imperfect information

Noppen, J. A. R., van den Broek, P. M. & Aksit, M. Jan 2008 12, 1, p. 3-28 26 p.

Research output: Scientific - peer-reviewArticle

Software design
Specifications
2007

A Taxonomy for a Constructive Approach to Software Evolution

Ciraci, S., van den Broek, P. M. & Aksit, M. Aug 2007 In : Journal of software. 2, 2, p. 84-97 14 p.

Research output: Scientific - peer-reviewArticle

Taxonomies
Software design
Software engineering
Life cycle
5 Citations

Modeling Traceability of Concerns for Synchronizing Architectural Views

Tekinerdogan, B., Hofmann, C. & Aksit, M. Aug 2007 6, LNCS4549/7, p. 7-25 19 p.

Research output: Scientific - peer-reviewArticle

Climate control
Software architecture
XML
Control systems
2006
1 Citations

Editorial: Experiences with Auto-adaptive and Reconfigurable Systems (Application Level Adaptation)

Aksit, M. & Elrad, T. 17 Aug 2006 In : Software : practice and experience. 36, 12, p. 1227-1229 2 p., 10.1002/spe.780

Research output: ScientificArticle

Experiences with Auto-adaptive and Reconfigurable Systems (System Level Adaptation)

Ak?it, M. (ed.), Aksit, M., Elrad, T. & Elrad, T. (ed.) 17 Aug 2006 In : Software : practice and experience. 36, A219/11-12, p. 1113-1114 2 p.

Research output: ScientificArticle

2 Citations

Introducing the Concept of Synthesis in the Software Architecture Design Process

Tekinerdogan, B. & Aksit, M. 15 Mar 2006 10, 500-266/1, p. 45-56 12 p.

Research output: Scientific - peer-reviewArticle

Software architecture
Software engineering
Chemical analysis
2004
4 Citations

A market-driven approach based on Markov decision theory for optimal use of resources in software development

Noppen, J. A. R., Eisenbach, S. (ed.), Aksit, M., Nicola, V. F. & Tekinerdogan, B. 5 Apr 2004 151, 2, p. 85-94 10 p.

Research output: Scientific - peer-reviewArticle

Software engineering
Decision theory

Aspecten in Architectuur

Tekinerdogan, B. & Aksit, M. 15 Feb 2004 46, 1/1, p. 22-29 8 p.

Research output: ProfessionalArticle

Editorial

Pedrycz, W. & Aksit, M. 2004 In : Fuzzy sets and systems. 145, 1, p. 1-2

Research output: ScientificArticle

4 Citations

Fuzzy logic-based object-oriented methods to reduce quantization error and contextual bias problems in software development

Marcelloni, F. & Aksit, M. 1 Jul 2004 In : Fuzzy sets and systems. 145, 145, p. 57-80 24 p.

Research output: Scientific - peer-reviewArticle

Fuzzy logic
Software engineering
Specifications
Engineers
Software engineering
Engineers
2001

A Discussion on Aspect-Oriented Programming: Frequently-Asked Questions

Aksit, M., Elrad, T., Kiczales, G., Lieberherr, K. & Ossher, H. 2001 In : Communications of the ACM. 44, 10, p. 33-38 6 p.

Research output: Scientific - peer-reviewArticle

169 Citations

Composing crosscutting concerns using composition filters

Bergmans, L. & Aksit, M. 2001 In : Communications. 44, 19, p. 51-57 7 p.

Research output: Scientific - peer-reviewArticle

Module
Programming
Filter
Chemical analysis
Interaction
11 Citations

Deferring Elimination of Design Alternatives in Object Oriented Methods

Aksit, M. & Marcelloni, F. 2001 In : Concurrency and computation. 13, 14, p. 1247-1279 33 p.

Research output: ScientificArticle

Reusability
Fuzzy logic
Engineers
105 Citations

Discussing Aspects of Aspect-Oriented Programming

Elrad, T., Aksit, M., Kiczales, G., Lieberherr, K. & Ossher, H. Oct 2001 In : Communications of the ACM. 44, 10, p. 33-38 6 p., 10.1145/383845.383854

Research output: ScientificArticle

Aspect oriented programming
15 Citations

Leaving Inconsistency using Fuzzy Logic

Marcelloni, F. & Aksit, M. 1 Oct 2001 In : Information and software technology. 43, 12, p. 725-741 17 p.

Research output: Scientific - peer-reviewArticle

Reusability
Fuzzy logic
Software engineering
Engineers
2000
5 Citations

Developing object-oriented framworks using domain models

Aksit, M., Marcelloni, F. & Tekinerdogan, B. 2000 In : ACM computing surveys. 32, 1es, p. - 11 p.

Research output: Scientific - peer-reviewArticle

Improving Object-Oriented Methods by using Fuzzy Logic

Marcelloni, F. & Aksit, M. 2000 In : Applied computing review. 8, 2, p. 14-23 10 p.

Research output: Scientific - peer-reviewArticle

Fuzzy logic
Linguistics
Engineers

Improving Object-Oriented Methods by Using Fuzzy Logic

Marcelloni, F. & Aksit, M. 2000 In : ACM computing surveys. p. -

Research output: Scientific - peer-reviewArticle

1997

Component Composability Issues in Object-Oriented Programming

Aksit, M. & Tekinerdogan, B. Dec 1997 In : Xootic magazine. 5, 2, p. 15-20 6 p.

Research output: ScientificArticle

Chemical analysis
Object oriented programming
Synchronization
Engineers
Costs
1996
21 Citations

Composing Synchronisation and Real-Time Constraints

Bergmans, L. & Aksit, M. Jul 1996 In : Journal of parallel and distributed computing. 36, 1, p. 32-52 21 p.

Research output: Scientific - peer-reviewArticle

Synchronization
Specifications
Object oriented programming
Real time systems
7 Citations

Load Balanced Mapping of Distributed Objects to Minimize Network Communication

Stoyenko, A. D., Bosch, J., Bosch, J., Aksit, M. & Marlowe, T. J. 1 May 1996 In : Journal of parallel and distributed computing. 34, 2, p. 117-136 20 p.

Research output: Scientific - peer-reviewArticle

Communication
Cost reduction
Resource allocation
Copying
Electric power transmission networks

Objectorientatie stelt systeemontwerper vaak voor nieuwe modelleringsproblemen

Aksit, M. & Bergmans, L. 1996 In : Automatisering gids. 40, 40, p. 17-17

Research output: ProfessionalArticle

Separation and composition of concerns

Aksit, M. Dec 1996 In : ACM computing surveys. 28, 28A/4, p. 148 6 p.

Research output: Scientific - peer-reviewArticle

20 Citations

Strategic Directions in Object-Oriented Programming

Aksit, M. & Guerroui, R. Dec 1996 In : ACM computing surveys. 28, 28/4, p. 691-700 10 p.

Research output: ScientificArticle

Computer systems
Object oriented programming
Large scale systems
1995

Composing Synchronization and Real-Time Constraints

Bergmans, L. & Aksit, M. 1995 95-41, p. - 32 p.

Research output: ScientificArticle

Synchronization
Specifications
Object oriented programming
Real time systems

Designing Software Architectures As a Composition of Specializations of Knowledge Domains

Aksit, M., Marcelloni, F., Tekinerdogan, B., Vuijst, C. & Bergmans, L. 1995 95-44, p. - 23 p.

Research output: ScientificArticle

Software architecture
Software engineering
Chemical analysis
Reusability
1993

Real-Time Specification Inheritance Anomalies and Real-Time Filters

Aksit, M., Bosch, J., Bosch, J., van der Sterren, W. & Bergmans, L. 1993 50, p. - 15 p.

Research output: ProfessionalArticle

1992

Abstracting Inter-Object Communications Using Composition-Filters

Aksit, M., Wakita, K., Wakita, K., Bosch, J., Bosch, J., Bergmans, L. & Yonezawa, A. 1992 92, 78, p. - 20 p.

Research output: ProfessionalArticle

An Object-Oriented Model for Extensible Concurrent Systems: the Composition-Filters Approach

Bergmans, L., Aksit, M., Wakita, K., Wakita, K. & Yonezawa, A. 1992 92, 87, p. - 42 p.

Research output: ProfessionalArticle

Chemical analysis
Reusability

Obstacles in Object-oriented Software Development

Aksit, M. & Bergmans, L. 1992 92, 15, p. - 31 p.

Research output: ProfessionalArticle

Software engineering
Engineers
3 Citations

Obstacles in Object-Oriented Software Development

Aksit, M. & Bergmans, L. 1992 In : SIGPLAN notices. 27, 10, p. 341-358 18 p., 10.1145/141937.141965

Research output: ScientificArticle

Software engineering
Engineers