Search For:

Displaying 1-50 out of 63 total
Reliable Messaging for BPEL Processes
Found in: Web Services, IEEE International Conference on
By Anis Charfi, Benjamin Schmeling, Mira Mezini
Issue Date:September 2006
pp. 293-302
There are currently two specifications that address reliable messaging in Web Services: WS-ReliableMessaging and WS-Reliability. Both specifications consider the general case of Web Services as being black boxes with WSDL interfaces. In this paper, we addr...
 
First International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010)
Found in: Software Engineering, International Conference on
By Julia Rubin,Goetz Botterweck,Mira Mezini,Itay Maman,Andreas Pleuss
Issue Date:May 2010
pp. 439-440
PLEASE is a new workshop series that focuses on exploring the present and the future of Software Product Line Engineering (SPLE) techniques. The goal of the workshop is to bring together researchers and practitioners with special interest in SPLE in order ...
 
Programming with Implicit Flows
Found in: IEEE Software
By Guido Salvaneschi,Patrick Eugster,Mira Mezini
Issue Date:September 2014
pp. 52-59
Modern software differs significantly from traditional computer applications that mostly process reasonably small amounts of static input data-sets in batch mode. Modern software increasingly processes massive amounts of data, whereby it is also often the ...
 
Automated API Property Inference Techniques
Found in: IEEE Transactions on Software Engineering
By Martin P. Robillard,Eric Bodden,David Kawrykow,Mira Mezini,Tristan Ratchford
Issue Date:May 2013
pp. 613-637
Frameworks and libraries offer reusable and customizable functionality through Application Programming Interfaces (APIs). Correctly using large and sophisticated APIs can represent a challenge due to hidden assumptions and requirements. Numerous approaches...
 
Finding Duplicates of Your Yet Unwritten Bug Report
Found in: 2013 17th European Conference on Software Maintenance and Reengineering (CSMR)
By Johannes Lerch,Mira Mezini
Issue Date:March 2013
pp. 69-78
Software projects often use bug-tracking tools to keep track of reported bugs and to provide a communication platform to discuss possible solutions or ways to reproduce failures. The goal is to reduce testing efforts for the development team. However, ofte...
 
Heuristic Strategies for Recommendation of Exception Handling Code
Found in: 2012 26th Brazilian Symposium on Software Engineering (SBES)
By Eiji Adachi Barbosa,Alessandro Garcia,Mira Mezini
Issue Date:September 2012
pp. 171-180
Software developers have difficulties in implementing exception handling code in their systems. In particular, they fail in implementing appropriate handling actions. Not surprisingly, recurring failures and performance issues are often related to the poor...
 
Querying source code with natural language
Found in: Automated Software Engineering, International Conference on
By Markus Kimmig,Martin Monperrus,Mira Mezini
Issue Date:November 2011
pp. 376-379
One common task of developing or maintaining software is searching the source code for information like specific method calls or write accesses to certain fields. This kind of information is required to correctly implement new features and to solve bugs. T...
 
Composing Non-functional Concerns in Web Services
Found in: Web Services, European Conference on
By Benjamin Schmeling,Anis Charfi,Rainer Thome,Mira Mezini
Issue Date:September 2011
pp. 73-80
Support for non-functional concerns (NFC) is essential for the success and adoption of web services. This support encompasses two aspects: the specification of NFCs and their realization. However, state-of-the-art works offer only limited support for these...
 
Composing Non-functional Concerns in Composite Web Services
Found in: Web Services, IEEE International Conference on
By Benjamin Schmeling,Anis Charfi,Mira Mezini
Issue Date:July 2011
pp. 331-338
The support for non-functional concerns (NFC) is essential for the success and adoption of web services. However, state of the art works offer only a limited support for these concerns especially when it comes to the composition of multiple non-functional ...
 
Specifying and Monitoring Temporal Properties in Web Services Compositions
Found in: Web Services, European Conference on
By Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel
Issue Date:November 2009
pp. 148-157
Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible to verify if there are contradictions between the temporal constraints implement...
 
A Plug-in Architecture for Self-Adaptive Web Service Compositions
Found in: Web Services, IEEE International Conference on
By Anis Charfi, Tom Dinkelaker, Mira Mezini
Issue Date:July 2009
pp. 35-42
Several approaches have been proposed to introduce self-management capabilities for web service compositions.However, most of these works are limited as they are not extensible, i.e., new self-adaptation features cannot be supported, and even if that is po...
 
Mining framework usage changes from instantiation code
Found in: Software Engineering, International Conference on
By Thorsten Schäfer, Jan Jonas, Mira Mezini
Issue Date:May 2008
pp. 471-480
Framework evolution may break existing users, which need to be migrated to the new framework version. This is a tedious and error-prone process that benefits from automation. Existing approaches compare two versions of the framework code in order to find c...
 
Defining and continuous checking of structural program dependencies
Found in: Software Engineering, International Conference on
By Michael Eichberg, Sven Kloppenburg, Karl Klose, Mira Mezini
Issue Date:May 2008
pp. 391-400
Dependencies between program elements need to be modeled from different perspectives reflecting architectural, design, and implementation level decisions. To avoid erosion of the intended structure of the code, it is necessary to explicitly codify these di...
 
Transactional BPEL Processes with AO4BPEL Aspects
Found in: Web Services, European Conference on
By Anis Charfi, Benjamin Schmeling, Mira Mezini
Issue Date:November 2007
pp. 149-158
Recently, OASIS approved two standards respectively for Web Service composition and for Web Service transactions. Nevertheless, it is still unclear how WS-BPEL and the WS-TX family of specifications interoperate, i.e., how to use atomic transactions and bu...
 
Clustering for Generating Framework Top-Level Views
Found in: Reverse Engineering, Working Conference on
By Thorsten Schäfer, Ivica Aracic, Matthias Merz, Mira Mezini, Klaus Ostermann
Issue Date:October 2007
pp. 239-248
To use a framework, developers need to understand its building blocks. In this paper, we present a clustering tech- nique that employs usage data from framework instantia- tions as examples to produce an overview of a framework's main building blocks as se...
 
Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL
Found in: Web Services, European Conference on
By Anis Charfi, Benjamin Schmeling, Andreas Heizenreder, Mira Mezini
Issue Date:December 2006
pp. 23-34
Web Service Compositions in BPEL have several nonfunctional requirements such as security, reliable messaging, and transactions. Although many WS-* specifications address such non-functional concerns in the Web Service context, they focus only on the messa...
 
The SEXTANT Software Exploration Tool
Found in: IEEE Transactions on Software Engineering
By Thorsten Schäfer, Michael Eichberg, Michael Haupt, Mira Mezini
Issue Date:September 2006
pp. 753-768
In this paper, we discuss a set of functional requirements for software exploration tools and provide initial evidence that various combinations of these features are needed to effectively assist developers in understanding software. We observe that curren...
 
Integrating and Scheduling an Open Set of Static Analyses
Found in: Automated Software Engineering, International Conference on
By Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank
Issue Date:September 2006
pp. 113-122
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If multiple interdependent analyses are used simultaneously, the coordination betw...
 
QScope: an Open, Extensible Framework for Measuring Software Projects
Found in: Software Maintenance and Reengineering, European Conference on
By Michael Eichberg, Daniel Germanus, Mira Mezini, Lukas Mrokon, Thorsten Schafer
Issue Date:March 2006
pp. 113-122
To measure the particularities of modern software development projects that use different types of documents for the implementation of a program, new metrics need to be defined. Further, well established metrics, such as e.g., lack of cohesion or coupling ...
 
Comprehensive Software Understanding with SEXTANT
Found in: Software Maintenance, IEEE International Conference on
By Michael Eichberg, Michael Haupt, Mira Mezini, Thorsten Schäfer
Issue Date:September 2005
pp. 315-324
Current tools for software understanding mostly concentrate on one comprehension technique, e.g., visualization, or bottom-up navigation through software elements via hyperlinks. In this paper, we argue that to effectively assist developers in understandin...
 
Using Aspects for Security Engineering of Web Service Compositions
Found in: Web Services, IEEE International Conference on
By Anis Charfi, Mira Mezini
Issue Date:July 2005
pp. 59-66
Web service composition languages promise a cheap and effective means for application integration over the Internet as in typical B2B interaction scenarios. BPEL is the upcoming standard for web service composition and several implementations of it are alr...
 
MobCon: A Generative Middleware Framework for Java Mobile Applications
Found in: Hawaii International Conference on System Sciences
By Vasian Cepa, Mira Mezini
Issue Date:January 2005
pp. 283b
While dedicated technologies such as e.g., Sun's J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of technical concerns such as data persistence, screen management, session manageme...
   
XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments
Found in: Reverse Engineering, Working Conference on
By Michael Eichberg, Mira Mezini, Klaus Ostermann, Thorsten Schäfer
Issue Date:November 2004
pp. 182-191
We describe XIRC, a tool and architecture that enables to define queries over a uniform representation of all artifacts of a software project. These queries can be used for general cross-artifact information retrieval or for more special applications like ...
 
Enforcing System-Wide Properties
Found in: Software Engineering Conference, Australian
By Michael Eichberg, Mira Mezini, Thorsten Schäfer, Claus Beringer, Karl Matthias Hamel
Issue Date:April 2004
pp. 158
Policy enforcement is a mechanism for ensuring that system components follow certain programming practices, comply with specified rules, and meet certain assumptions. Unfortunately,the most common mechanisms used today for policy enforcement are documentat...
 
Detecting Evolution Incompatibilities by Analyzing Java Binaries
Found in: Technology of Object-Oriented Languages, International Conference on
By Mira Mezini, Jens U. Pipka, Thorsten Dittmar, Wim Boot
Issue Date:August 1999
pp. 126
Customizing component functionality to application needs generally involves inheritance, known to suffer from the fragile base class problem: changes in a base class may cause preexisting inheritor classes to malfunction, or even become undefined. In this ...
 
Building Modular Object-Oriented Systems with Reusable Collaborations
Found in: Software Engineering, International Conference on
By Karl J. Lieberherr, David H. Lorenz, Mira Mezini
Issue Date:June 2000
pp. 821
No summary available.
   
Template constructors for reusable object initialization
Found in: Proceedings of the 12th international conference on Generative programming: concepts & experiences (GPCE '13)
By Marko Martin, Mira Mezini, Sebastian Erdweg
Issue Date:October 2013
pp. 43-52
Reuse of and abstraction over object initialization logic is not properly supported in mainstream object-oriented languages. This may result in significant amount of boilerplate code and proliferation of constructors in subclasses. It also makes it impossi...
     
SPLLIFT: statically analyzing software product lines in minutes instead of years
Found in: Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation (PLDI '13)
By Claus Brabrand, Eric Bodden, Márcio Ribeiro, Mira Mezini, Paulo Borba, Társis Tolêdo
Issue Date:June 2013
pp. 355-364
A software product line (SPL) encodes a potentially large variety of software products as variants of some common code base. Up until now, re-using traditional static analyses for SPLs was virtually intractable, as it required programmers to generate and a...
     
Detecting missing method calls as violations of the majority rule
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Martin Monperrus, Mira Mezini
Issue Date:February 2013
pp. 1-25
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this article, we provide a comprehensive set of empirical facts on this problem, starting from traces of missing ...
     
On the extensibility requirements of business applications
Found in: Proceedings of the 2012 workshop on Next Generation Modularity Approaches for Requirements and Architecture (NEMARA '12)
By Anis Charfi, Mira Mezini, Mohamed Aly
Issue Date:March 2012
pp. 1-6
Business applications play a crucial role for the day-to-day running of a business. These applications typically support a wide range of standard business processes like opportunity-to-order and order-to-cash. Customers using these solutions often demand e...
     
Next in line, please!: exploiting the indirect benefits of inlining by accurately predicting further inlining
Found in: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11 (SPLASH '11 Workshops)
By Andreas Sewe, Jannik Jochem, Mira Mezini
Issue Date:October 2011
pp. 317-328
Inlining is an important optimization that can lead to significant runtime improvements. When deciding whether or not to inline a method call, a virtual machine has to weigh an increase in compile time against the expected decrease in program time. To esti...
     
Incremental concrete syntax for embedded languages
Found in: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC '11)
By Michael Eichberg, Mira Mezini, Tom Dinkelaker
Issue Date:March 2011
pp. 1309-1316
Embedded domain-specific languages (EDSLs) are known to improve the productivity of developers. However, for many domains no DSL implementation is available. Two important reasons are: First, the effort to implement embedded DSLs that provide the domain's ...
     
Magic for the masses: safer high-level low-level programming through customizable static analyses
Found in: Proceedings of the 1st workshop on Modularity in systems software (MISS '11)
By Andreas Sewe, Mira Mezini, Ralf Mitschke
Issue Date:March 2011
pp. 13-17
Writing high-performance virtual machines in a high-level language requires an escape-hatch, such that unavoidable low-level tasks can be performed efficiently. To this end, the org.vmmagic framework used by Jikes RVM and other VMs makes it possible to ext...
     
Event-driven programming with EScala
Found in: Proceedings of the tenth international conference on Aspect-oriented software development companion (AOSD '11)
By Lucas Satabin, Mira Mezini
Issue Date:March 2011
pp. 67-68
EScala is an extension of Scala with support for declarative event-driven programming. It provides mechanisms for declarative definition of events and employs aspect-oriented techniques for exposing implicitly existing events, which reduces the need for ex...
     
EScala: modular event-driven object interactions in scala
Found in: Proceedings of the tenth international conference on Aspect-oriented software development (AOSD '11)
By Angel Nunez, Jacques Noye, Lucas Satabin, Mira Mezini, Vaidas Gasiunas
Issue Date:March 2011
pp. 227-240
Event-driven programming style in OO languages based on imperatively triggered events does not support separate and more declarative event definitions by composition or transformation of other events. AO language mechanisms for defining events as declarati...
     
IDE 2.0: collective intelligence in software development
Found in: Proceedings of the FSE/SDP workshop on Future of software engineering research (FoSER '10)
By Eric Bodden, Marcel Bruch, Martin Monperrus, Mira Mezini
Issue Date:November 2010
pp. 53-58
Today's Integrated Development Environments (IDEs) only integrate the tools and knowledge of a single user and workstation. This neglects the fact that the way in which we develop and maintain a piece of software and interact with our IDE provides a rich s...
     
An architecture for composing embedded domain-specific languages
Found in: Proceedings of the Eighth International Conference on Aspect-Oriented Software Development (AOSD '10)
By Michael Eichberg, Mira Mezini, Tom Dinkelaker
Issue Date:March 2010
pp. 49-60
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scenarios where the use of abstractions from one domain does not affect the inter...
     
VM performance evaluation with functional models: an optimist's outlook
Found in: Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages (VMIL '09)
By Andreas Sewe, Jan Sinschek, Mira Mezini
Issue Date:October 2009
pp. 1-2
The performance evaluation of virtual machines is notoriously difficult. Therefore, experimental methodology has recently drawn attention, leading to proposals on how to choose benchmarks, interpret results, and detect measurement bias. But this latter tas...
     
π: a pattern language
Found in: Proceeding of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA '09)
By Mira Mezini, Roman Knoll
Issue Date:October 2009
pp. 1057-1058
Current programming languages and techniques realize many features which allow their users to extend these languages on a semantic basis: classes, functions, interfaces, aspects and other entities can be defined. However, there is a lack of modern programm...
     
Learning from examples to improve code completion systems
Found in: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium (ESEC/FSE '09)
By Marcel Bruch, Martin Monperrus, Mira Mezini
Issue Date:August 2009
pp. 171-172
The suggestions made by current IDE's code completion features are based exclusively on static type system of the programming language. As a result, often proposals are made which are irrelevant for a particular working context. Also, these suggestions are...
     
Untangling crosscutting concerns in domain-specific languages with domain-specific join points
Found in: Proceedings of the 4th workshop on Domain-specific aspect languages (DSAL '09)
By Martin Monperrus, Mira Mezini, Tom Dinkelaker
Issue Date:March 2009
pp. 94-104
Like programs written in general-purpose languages, programs written in DSLs may also suffer from tangling and scattering in the presence of domain-specific crosscutting concerns. This paper presents an architecture that supports aspect-oriented features f...
     
The art of the meta-aspect protocol
Found in: Proceedings of the 8th ACM international conference on Aspect-oriented software development (AOSD '09)
By Christoph Bockisch, Mira Mezini, Tom Dinkelaker
Issue Date:March 2009
pp. 94-104
Alternative semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented from tailoring the language semantics in an application-specific manner. ...
     
Aspects and class-based security: a survey of interactions between advice weaving and the Java 2 security model
Found in: Proceedings of the 2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms (VMIL '08)
By Andreas Sewe, Christoph Bockisch, Mira Mezini
Issue Date:October 2008
pp. 1-7
Various aspect-oriented languages, e.g., AspectJ, Aspect-Werkz, and JAsCo, have been proposed as extensions to one particular object-oriented base language, namely Java. But these extensions do not fully take the interactions with the Java 2 security model...
     
Defining and continuous checking of structural program dependencies
Found in: Proceedings of the 13th international conference on Software engineering (ICSE '08)
By Karl Klose, Michael Eichberg, Mira Mezini, Sven Kloppenburg
Issue Date:May 2008
pp. 1-1
Dependencies between program elements need to be modeled from different perspectives reflecting architectural, design, and implementation level decisions. To avoid erosion of the intended structure of the code, it is necessary to explicitly codify these di...
     
Dynamically linked domain-specific extensions for advice languages
Found in: Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages (DSAL '08)
By Mira Mezini, Tom Dinkelaker
Issue Date:April 2008
pp. 1-7
Domain-specific aspect languages allow defining aspects for a certain problem domain faster and easier by providing specialized expressivity and by reducing the complexity of the language interface. However, providing domain-specific aspect languages is a ...
     
Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch
Found in: Proceedings of the 7th workshop on Foundations of aspect-oriented languages (FOAL '08)
By Andreas Sewe, Christoph Bockisch, Mira Mezini
Issue Date:April 2008
pp. 1-7
State-of-the-art implementations of common aspect-oriented languages weave residual dispatching logic for advice whose applicability cannot be determined at compile-time. But being derived from the residue's formula representation the woven code often impl...
     
A flexible architecture for pointcut-advice language implementations
Found in: Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms (VMIL '07)
By Christoph Bockisch, Mira Mezini
Issue Date:March 2007
pp. 1-es
Current implementations for aspect-oriented programming languages map the aspect-oriented concepts of source programs to object-oriented bytecode. This hinders execution environments with dedicated support for such concepts in applying their optimizations,...
     
Pegasus: first steps toward a naturalistic programming language
Found in: Companion to the 21st ACM SIGPLAN conference on Object-oriented programming languages, systems, and applications (OOPSLA '06)
By Mira Mezini, Roman Knoll
Issue Date:October 2006
pp. 542-559
In this article a new programming paradigm is discussed: naturalistic programming. Naturalistic Programming means writing computer programs with the help of natural language.The authors are convinced that contemporary programming techniques have reached a ...
     
Efficient control flow quantification
Found in: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming languages, systems, and applications (OOPSLA '06)
By Christoph Bockisch, Matthew Arnold, Michael Haupt, Mira Mezini, Sebastian Kanthak
Issue Date:October 2006
pp. 102-111
Aspect-oriented programming (AOP) is increasingly gaining in popularity. However, the focus of aspect-oriented language research has been mostly on language design issues; efficient implementation techniques have been less popular. As a result, the perform...
     
Adapting virtual machine techniques for seamless aspect support
Found in: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming languages, systems, and applications (OOPSLA '06)
By Christoph Bockisch, Matthew Arnold, Mira Mezini, Tom Dinkelaker
Issue Date:October 2006
pp. 102-111
Current approaches to compiling aspect-oriented programs are inefficient. This inefficiency has negative effects on the productivity of the development process and is especially prohibitive for dynamic aspect deployment. In this work, we present how well-k...
     
 1  2 Next >>