thesis software performance

Offered MSc Thesis topics

See also our current list of projects on the Research page to get an idea of what is topical in our research. Another list of all our projects is also available in Tuhat, with responsible persons listed (you can ask them about potential thesis topics).

A more exhaustive list of topics from the department is available at CSM Master thesis topics (moodle).

General writing Instructions

We have written some instructions to help the students write their Master's theses, seminar papers and B.Sc. theses. Please, read the guide before starting your thesis work: Scientific Writing – Guide of the Empirical Software Engineering Research Group .

Master's Thesis Topics

Software engineering and technology are prevalent areas for thesis at the department, and many candidates ask for thesis topics every academic year. We do our best to accommodate the requests, but the applicants can smoothen the process by taking an active role in thinking about potential topics based on the themes presented below.

We provide guidance for selecting a suitable topic and the supervision and support needed to complete the work. Please contact Antti-Pekka Tuovinen or Tomi Männistö if you are interested. You can also contact the group members to ask about the subject areas they are working on.

Suppose you, as a student, are working in software development, processes, architecture or something related. In that case, there is a good chance of finding an interesting thesis topic that closely relates to your work. In such a case, the actual work often provides an excellent problem to investigate, propose or try out potential solutions for, or the case can act as a rich source of data about the practice of software development.

We also welcome companies to suggest potential topics for Master's thesis. The topics can be general, based on existing research, or they may require original research and problem-solving. We will help to evaluate and fine-tune the proposals. Depending on the topic, you may also need to be prepared to provide guidance and assistance during the thesis project.

Please contact Antti-Pekka Tuovinen or Tomi Männistö if you have an idea for an industrial thesis and need further information.

The listing below introduces our current research areas and potential topics for the thesis. Each topic has a short description and the names of the researchers working on the topic. Please contact them for more details about the research and thesis work. Note that you can also suggest and discuss other topics within the general area of software engineering research. We encourage creativity and student-centred insight in selecting and defining the topic.

Earlier theses

Some earlier MSc thesis titles below give some idea about the topics. You can try looking up more info from E-thesis , but note that it is up to the author if the actual thesis pdf is available online. Just search using the title (or part of it) in quotation marks. You can also go to the library in person and read all theses (even those without a public pdf) on a kiosk workstation (ask the staff if you need help).

• Exploring study paths and study success in undergraduate Computer Science studies
• EU:n tietosuoja-asetuksen GDPR:n vaikutus suomalaisissa pk-yrityksissä 2018-2020
• Industrial Surveys on Software Testing Practices: A Literature Review
• Laskennallisesti raskaan simulointiohjelmistokomponentin korvaaminen reaaliaikasovelluksessa koneoppimismenetelmällä
• Web service monitoring tool development
• Case study: identifying developer oriented features and capabilities of API developer portals
• Documenting software architecture design decisions in continuous software development – a multivocal literature review
• Elinikäinen oppiminen ohjelmistotuotannon ammattilaisen keskeisenä
• Miten huoltovarmuus toteutuu Ylen verkkouutisissa?
• Utilizing Clustering to Create New Industrial Classifications of Finnish Businesses: Design Science Approach
• Smoke Testing Display Viewer 5
• Modernizing usability and development with microservices
• On the affect of psychological safety, team leader’s behaviour and team’s gender diversity on software team performance: A literature review
• Lean software development and remote working during COVID-19 - a case study
• Julkaisusyklin tihentämisen odotukset, haasteet ja ratkaisut
• Software Development in the Fintech Industry: A Literature Review
• Design of an automated pipeline to improve the process of cross-platform mobile building and deployment
• Haasteet toimijamallin käytössä ohjelmistokehityksessä, systemaattinen kirjallisuuskatsaus
• Light-weight method for detecting API breakages in microservice architectures
• Kirjallisuuskatsaus ja tapaustutkimus API-hallinnasta mikropalveluarkkitehtuurissa
• In-depth comparison of BDD testing frameworks for Java
• Itseohjautuvan auton moraalikoneen kehittämisen haasteet
• Towards secure software development at Neste - a case study
• Etuuspohjaisen eläkejärjestelyn laskennan optimointi vakuutustenhallintajärjestelmässä
• Internal software startup within a university – producing industry-ready graduates
• Applying global software development approaches to building high-performing software teams
• Systemaattinen kirjallisuuskatsaus lääkinnällisistä ohjelmistoista ja ketterästä ohjelmistokehityksestä
• Matalan kynnyksen ohjelmointialustan hyödyntäminen projektinhalinnassa
• Uncertainty Estimation with Calibrated Confidence Scores
• Tool for grouping test log failures using string similarity algorithms
• Design, Implementation, and Validation of a Uniform Control Interface for Drawing Robots with ROS2
• Assuring Model Documentation in Continuous Machine Learning System Development
• Verkkopalvelun saavutettavuuden arviointi ja kehittäminen ohjelmistotuoteyrityksessä
• Methods for API Governance automation: managing interfaces in a microservice system
• Improving Web Performance by Optimizing Cascading Style Sheets (CSS): Literature Review and Empirical Findings
• Implementing continuous delivery for legacy software
• Using ISO/IEC 29110 to Improve Software Testing in an Agile VSE
• An Open-Source and Portable MLOps Pipeline for Continuous Training and Continuous Deployment
• System-level testing with microservice architecture
• Green in software engineering: tools, methods and practices for reducing the environmental impacts of software use – a literature review
• Machine Learning Monitoring and Maintenance: A Multivocal Literature Review
• Green in Software Engineering: A Systematic Literature Review
• Comparison of Two Open Source Feature Stores for Explainable Machine Learning
• Open-source tools for automatic generation of game content
• Verkkosovelluskehysten energiankulutus: vertaileva tutkimus Blazor WebAssembly ja JavaScript
• Infrastruktuuri koodina -toimintatavan tehostaminen
• Geospatial DBSCAN Hyperparameter Optimization with a Novel Genetic Algorithm Method
• Hybrid mobile development using Ionic framework
• Correlation of Unit Test Code Coverage with Software Quality
• Factors affecting productivity of software development teams and individual developers: A systematic literature review
• Case study: Performance of JavaScript on server side
• Reducing complexity of microservices with API-Saga
• Organizing software architecture work in a multi-team, multi-project, agile environment
• Cloud-based visual programming BIM design workflow
• IT SIAM toimintojen kehitysprojekti
• PhyloStreamer: A cloud focused application for integrating phylogenetic command-line tools into graphical interfaces
• Evaluation of WebView Rendering Performance in the Context of React Native
• A Thematic Review of Preventing Bias in Iterative AI Software Development
• Adopting Machine Learning Pipeline in Existing Environment

Current topic areas of interest to the research group (see below for the details)

Open source-related topic areas in collaboration with daimler truck.

• Open Chain: Developing the Journey to Open Chain Compliance at the example of Daimler Truck
• How should an industrial company (for example, Daimler Truck) leverage open source software: Building a framework with different dimensions, from efficient governance to value in inner source and open source projects
• How can an organization efficiently incentivize inner-source activities? (on different levels, culture, infrastructure, governance, regulations & commitments.)
• How can an industrial organization leverage value from actively engaging in FOSS activities (especially on active creation and contribution)
• How can spillovers help Industrial companies to educate the rare resources but also attract and retain talent? Ref: Gandal, N., Naftaliev, P., & Stettner, U. (2017). Following the code: spillovers and knowledge transfer. Review of Network Economics , 16 (3), 243-267. Abstract: Knowledge spillovers in Open Source Software (OSS) can occur via two channels: In the first channel, programmers take knowledge and experience gained from one OSS project they work on and employ it in another OSS project they work on. In the second channel, programmers reuse software code by taking code from an OSS project and employing it in another. We develop a methodology to measure software reuse in a large OSS network at the micro level and show that projects that reuse code from other projects have higher success. We also demonstrate knowledge spillovers from projects connected via common programmers.

If interested, contact Tomi Männistö for further information

Hybrid software development (TOPIC AREA)

The current pandemic has brought many, even radical, changes to almost all software companies and software development organizations. Especially the sudden moves to working from home (WFH) in March 2020 forced them to adapt and even rethink many software engineering practices in order to continue productive software development under the new constraints.

Now (December 2021), various hybrid ways of working appear to become the new "normal" for the software industry in general. For instance, many companies are offering flexible workplace arrangements (WFX).

This thesis theme aims to explore and possibly explain such changes in contemporary software engineering. Potential research questions include the following:

• How has the COVID-19 pandemic affected different software engineering activities (negatively or positively)? What are the mechanisms?
• What adaptations and countermeasures have different software organizations devised to cope with the challenges?
• What could be learned from them for future hybrid software development processes, practices and tools?

Contact: Petri Kettunen

MLOps -- as a derivative of DevOps -- is about practice and tools for ML-based systems that technically enable iterative software engineering practice. We have several funded positions in the area of MLOps in our research projects (IMLE4 https://itea4.org/project/iml4e.html and AIGA https://ai-governance.eu/ ) that can be tailored to the interest of the applicant. For details, contact Mikko Raatikainen ( [email protected] ).

Digital Twin of Yourself

Digital twins are virtual world dynamic models of real-world physical objects. They originate from manufacturing domains. In such environments, they are utilized, for example, for predictive maintenance of equipment based on real-time machine data.

Recently the application domains of digital twins have broadened to cover living objects – especially human beings, for instance, in medical domains (so-called Human Digital Twins). In this thesis topic, the objective is to design a digital twin of yourself. The choice of the digital twin dynamic model is free, and so are the data inputs. One possibility could be, for instance, your real-life physical exercise data (e.g., from a heart-rate monitor). You could also consider your Citizen Digital Twin, following your study data and yourself as a lifelong learner.

Software engineering and climate change (TOPIC AREA)

Global climate change may have various impacts on future software engineering on the one hand, and software engineering may affect climate change directly or indirectly, positively or negatively on the other hand. All that opens up many potentially important research problems. Specific theses in this topic area could be, for instance, the following themes:

• Green IT (e.g., engineering new software with energy-efficiency requirements in order to reduce or limit power consumption and consequently the carbon footprint)
• Carbon neutrality goals of software companies (e.g., software development organizations decreasing physical travelling in order to reduce their greenhouse gas emissions)
• Developing software products or services for measuring climate change-related factors

The thesis could be a literature review, an empirical case study or a scientific design work.

Life-long learning for the modern software engineering profession

Specific intended learning outcomes for computer science (software engineering) graduates are life-long learning skills. Such skills and capabilities are essential in modern industrial software engineering environments. Workplace learning is a vital part of most professional software development jobs. What are the necessary life-long learning skills exactly? Why are those skills and capabilities essential in different software organizations? How can they be learned and improved? How do software professionals learn in their workplaces? What particular skills will be more critical in the future? Why? This topic could be investigated by case studies in real-life software organizations. The specific research questions could be some of the above or possibly focused on particular skills (e.g., assessing one's own and the works of other software developers). Contact: Petri Kettunen

Software development in non-ICT contexts (TOPIC AREA)

Software technology is increasingly applied in non-ICT domains and environments (e.g., healthcare, financial sector, telecommunications systems, industrial automation). Such conditions bring up many considerations for effective and efficient software engineering, such as: What are the key characteristics of different use domains (e.g., complexity, reliability)? What is the scope of the particular software system? How are the software requirements engineered? What are the specific constraints (e.g., regulations) in different domains to be considered in software engineering? How to measure the success of software projects and products? What software development methods (e.g., agile) are applicable in different domains? Why/why not? What particular software-related competencies are needed (e.g., digitalization, IoT, cyber-physical systems)? This research problem could be investigated theoretically (literature study) and empirically in industrial case studies. The actual research questions could be some of the above or formulated individually. Contact: Petri Kettunen

Creatively self-adaptive software architectures (TOPIC AREA)

We have recently started exciting research in the intersection between the research fields of self-adaptive software and computational creativity, intending to develop novel software architectures that can creatively adapt themselves in unforeseen situations. This initiative is a new research collaboration between the Discovery Group of Prof. Hannu Toivonen and ESE. There are different options for thesis work with either of the groups. To get a better idea of the topic, see Linkola et al. 2017. Aspects of Self-awareness: An Anatomy of Metacreative Systems. http://computationalcreativity.net/iccc2017/ICCC_17_accepted_submissions/ICCC-1… Contact: Tomi Männistö

Continuous Experimentation (TOPIC AREA)

Software product and service companies need capabilities to evaluate their development decisions and customer and user value. Continuous experimentation, as an experiment-driven development approach, may reduce such development risks by iteratively testing product and service assumptions critical to the software's success. Experiment-driven development has been a crucial component of software development, especially in the last decade. Companies such as Microsoft, Facebook, Google, Amazon and many others often conduct experiments to base their development decisions on data collected from field usage.  Contact: Tomi Männistö

Digitalization and digital transformations: impacts on software engineering and systems development (TOPIC AREA)

Digitalization is nowadays cross-cutting and inherent in most areas of businesses and organizations. Software is increasingly built-in and ubiquitous. Such trends and developments bring up many potential software research problems, such as: What does digitalization entail in different contexts? How should digitalization be taken into account in software development processes? What is the role of customer/user involvement in software-intensive systems development (e.g., digital services)? What are the key quality attributes? What new software engineering skills and competencies may be needed? What is the role of software (and IT) in general in different digital transformations (e.g., vs business process development)? How is digitalization related to traditional software engineering and computer science disciplines in different contexts? What aspects of software development and digital technologies are fundamentally new or different from the past? This research problem could be investigated theoretically (literature study) or empirically in industrial case studies. The actual research questions could be some of the above or formulated individually. Contact: Petri Kettunen

High-performing software teams (TOPIC AREA)

How is (high) performance defined and measured in software development (e.g., productivity)? Which factors affect it - positively or negatively - and how strongly (e.g., development tools, team composition)? Can we "build" high-performing software teams systematically, or do they merely emerge under certain favourable conditions? What are suitable organizational designs and environments for hosting and supporting such teams? See this link and this link for more info. Contact: Petri Kettunen

Software innovation (TOPIC AREA)

How are innovation and creativity taken into account in software development processes and methods (e.g., Agile)? What role do customer/user input and feedback play in software(-intensive) product creation (e.g., open innovation)? How to define and measure 'innovativeness' in software development? What makes software development organizations (more) innovative? See here for more about the topic. How can Open Data Software help innovation? Contact: Petri Kettunen

• Skip to main content
• Accessibility information

• Enlighten Enlighten

Enlighten Theses

• Latest Additions
• Browse by Year
• Browse by Subject
• Browse by College/School
• Browse by Author
• Browse by Funder
• Login (Library staff only)

In this section

Defining interfaces between hardware and software: Quality and performance

Reid, Alastair David (2019) Defining interfaces between hardware and software: Quality and performance. PhD thesis, University of Glasgow.

One of the most important interfaces in a computer system is the interface between hardware and software. This interface is the contract between the hardware designer and the programmer that defines the functional behaviour of the hardware. This thesis examines two critical aspects of defining the hardware-software interface: quality and performance.

The first aspect is creating a high quality specification of the interface as conventionally defined in an instruction set architecture. The majority of this thesis is concerned with creating a specification that covers the full scope of the interface; that is applicable to all current implementations of the architecture; and that can be trusted to accurately describe the behaviour of implementations of the architecture. We describe the development of a formal specification of the two major types of Arm processors: A-class (for mobile devices such as phones and tablets) and M-class (for micro-controllers). These specifications are unparalleled in their scope, applicability and trustworthiness. This thesis identifies and illustrates what we consider the key ingredient in achieving this goal: creating a specification that is used by many different user groups. Supporting many different groups leads to improved quality as each group finds different problems in the specification; and, by providing value to each different group, it helps justify the considerable effort required to create a high quality specification of a major processor architecture. The work described in this thesis led to a step change in Arm's ability to use formal verification techniques to detect errors in their processors; enabled extensive testing of the specification against Arm's official architecture conformance suite; improved the quality of Arm's architecture conformance suite based on measuring the architectural coverage of the tests; supported earlier, faster development of architecture extensions by enabling animation of changes as they are being made; and enabled early detection of problems created from architecture extensions by performing formal validation of the specification against semi-structured natural language specifications. As far as we are aware, no other mainstream processor architecture has this capability. The formal specifications are included in Arm's publicly released architecture reference manuals and the A-class specification is also released in machine-readable form.

The second aspect is creating a high performance interface by defining the hardware-software interface of a software-defined radio subsystem using a programming language. That is, an interface that allows software to exploit the potential performance of the underlying hardware. While the hardware-software interface is normally defined in terms of machine code, peripheral control registers and memory maps, we define it using a programming language instead. This higher level interface provides the opportunity for compilers to hide some of the low-level differences between different systems from the programmer: a potentially very efficient way of providing a stable, portable interface without having to add hardware to provide portability between different hardware platforms. We describe the design and implementation of a set of extensions to the C programming language to support programming high performance, energy efficient, software defined radio systems. The language extensions enable the programmer to exploit the pipeline parallelism typically present in digital signal processing applications and to make efficient use of the asymmetric multiprocessor systems designed to support such applications. The extensions consist primarily of annotations that can be checked for consistency and that support annotation inference in order to reduce the number of annotations required. Reducing the number of annotations does not just save programmer effort, it also improves portability by reducing the number of annotations that need to be changed when porting an application from one platform to another. This work formed part of a project that developed a high-performance, energy-efficient, software defined radio capable of implementing the physical layers of the 4G cellphone standard (LTE), 802.11a WiFi and Digital Video Broadcast (DVB) with a power and silicon area budget that was competitive with a conventional custom ASIC solution.

The Arm architecture is the largest computer architecture by volume in the world. It behooves us to ensure that the interface it describes is appropriately defined.

Actions (login required)

Downloads per month over past year

View more statistics

The University of Glasgow is a registered Scottish charity: Registration Number SC004401

7 Essential Dissertation Writing Apps & Tools

By: David Phair (PhD) & Kerryn Warren (PhD) | October 2019 (Updated March 2022)

Completing your dissertation or thesis requires a hearty investment of time, effort and hard work. There’s no shortcut on the road to research success, but as with anything, there are ways to optimize the process and work smarter.

In this post, we’ll share with you a handful of apps, software and services that will make your life a little easier throughout the research process.

Overview: Essential Thesis Writing App s

• Grammarly (language editing)
• Evernote (note taking & productivity)
• Otter (dictation/transcription)
• Dropbox (cloud storage)
• Canva (graphic design)
• Mendeley (reference management)
• Freemind (mind mapping)
• Bonus – MOOCs (learning & development)

#1: Grammarly Premium

Let’s face it – the spell checker in Microsoft Word just plain sucks. False positives and negatives abound, missed errors, ridiculous suggestions – you’re often better off spell checking yourself. Thankfully, you don’t need to do that, thanks to Grammarly .

Grammarly is  more than just a spelling and grammar checker – it picks up far more complex issues such as:

• Inconsistent writing style and unclear sentence structure
• Overuse of specific works and ineffective vocabulary
• Impolite, insensitive or non-inclusive language
• Inappropriate tone or formality level

Simply put, Grammarly is the closest thing you’ll get to having a real-time editor and proofreader looking at your work. Of course, it doesn’t replace human-based editing , but its ideal for cleaning up your early drafts prior to submitting them to your supervisor/advisor for feedback. Grammarly integrates directly into Word, Google Docs and Chrome, so it’s extremely versatile.

Grammarly offers both a free and premium version. For dissertation writing purposes, we recommend the premium version as it includes a plagiarism checker , which is very handy. 

#2: Evernote & Penultimate

No doubt, you’ll be taking an endless stream of notes throughout the research process. Some will be written notes, some will be photos, some might even be audio recordings. You’ll need a way to stay on top of it all and keep things organized. Enter Evernote .

Evernote is the ultimate note-taking app, as it allows you to take notes in various formats, including text (typed and handwritten), photos (snap that workshop slide) and audio (record that interview). You can also attach files of any format (for example, an Excel data set), so absolutely everything stays in one place. The text in any note is fully searchable, and all data is synchronized across your phone, laptop, desktop and tablet.

Writing up a good dissertation or thesis requires a lot of, well, writing. Spending hours upon hours hunched over a keyboard can be really draining (and potentially physically harmful). Imagine you could just speak instead of type. Well, now you can, thanks to Otter.ai

The number of times we’ve seen students lose hours, days or even weeks’ worth of hard work (and even miss the submission deadline) due to corrupted flash drives or hard drives, coffee-soaked laptops, or stolen computers is truly saddening. If you’re not using cloud storage to save your work, you’re running a major risk.

If you take only ONE thing from this post , let it be this point. Go sign up for any of the following cloud services (most offer a free version) and save your work there:

• Google Drive
• iCloud Drive

Not only will this ensure your work is always safely stored (remember to hit the Save button, though!), it will make working on multiple devices easier, as your files will be automatically synchronized. No need to have multiple versions between your desktop, laptop, tablet, etc. Everything stays in one place. Safe, secure, happy files.

Need a helping hand?

Even the most well-written dissertation or thesis will suffer if the visuals cause retina damage to the reader’s eyes. Sadly, badly designed conceptual frameworks and document visuals are all too common in academic work. This needn’t be the case, thanks to Canva .

Canva is an intuitive, easy to use, fully web-based graphic design service that lets anyone design high-quality graphics . And yes, we mean anyone . You don’t need to have a background in graphic design or visual arts to make good looking graphics with Canva. Just drag and drop . Canva also offers a wide variety of pre-made templates, so it couldn’t be easier to create visuals for your dissertation or thesis.

6: Mendeley

Correctly formatted citations and references are essential to a polished dissertation or thesis. Even the highest quality piece of research will lose credibility (and marks) if the referencing is not on point. It’s such a shame to see students lose marks on this , as its such an easy thing to get right with reference management software like Mendeley .

Mendeley is a free reference management software that takes care of all your citations and references in Word. Simply load up your journal articles in Mendeley and then just drop in your citations as you write up in Word. Mendeley then automatically builds your reference list according to whichever format you choose (e.g. Harvard, APA , etc). Sure, there are many similar pieces of software out there, but personally I find Mendeley to be the most feature-rich. See the video above for a taste of the functionality.

7: Freemind

When you’re undertaking your research, especially your literature review , you’re going to be dealing with a wide-ranging number of theories, models and frameworks, and it can be difficult to see the big picture and connect all the dots. Mind mapping is a highly effective way to visualize (and connect) all the information, but doing it on paper is so old fashioned. Enter Freemind .

8: Udemy & Coursera

Okay, so this is not an app or piece of software, but we couldn’t resist including it…

While you’re undertaking your dissertation, chances are that you’re going to need to learn about some niche topic very quickly in order to complete some part of your research. For example, how to use SPSS or NVivo analysis software, how to develop statistically sound survey scales , how to undertake structured interviews, and so on. However, these sorts of skills are typically not included in the university syllabus and will have a major impact on the quality of your research. Enter Udemy and Coursera .

Udemy and Coursera both provide a wide-ranging variety of super-short, highly digestible online courses.  These courses are a great way to pick up specific skills (especially software skills) in a very short amount of time (many courses are less than 10 hours total).

Recap: Dissertation Apps

And there you have it – 8 apps, software and services that will undoubtedly make your life easier come dissertation time.

Have a suggestion?  We’d love to hear your thoughts. Simply leave a comment below and we’ll consider adding your suggested app to the list.

Psst… there’s more (for free)

This post is part of our dissertation mini-course, which covers everything you need to get started with your dissertation, thesis or research project. 

You Might Also Like:

13 Comments

It seems some of the apps mentioned are not android capable. It would be nice if you mentioned items that everyone could use.

Thanks for the feedback, Gale!

Yet to explore some of your recommended apps. I am glad to commend on one app that I have started using, Mendeley. When it comes to referencing it really helps a lot.

Great to hear that, Maggie 🙂

I have got Mendeley and it is fantastic. I have equally downloaded Freemind but I am yet to really understand how to navigate through it.

Based on your YouTube lessons,my literature review and the entire research has been simplified and I am enjoying the flow now,more than ever before.

Thank you so much for your recommendations and guide.It’s working a great deal for me.

Remain blessed!

Thank you for all the amazing help and tutorials. I am in the dissertation research proposal stage having already defended the qualifying paper. I am going to implement some of your advice as I revise chapters 1 & 2 and expand chapter 3 for my research proposal. My question is about the writing– or specifically which software would you recommend. I know MS Word can get glitchy with larger documents. Do the “reference” apps you recommend work with other options such as LaTeX? I understand that for some programs the citations won’t be integrated or automated such as cite while you write etc.. I have a paid version of endnote, and free versions of mendeley and zotero. I have really only used endnote with any fidelity but I’m willing to adapt. What would you advise at this point?

Thanks for your comment and for the kind words – glad to hear that the info is useful.

Generally, Word works reasonably well for most research projects and is our first recommendation. As long as one keeps the document clean (i.e. doesn’t paste in loads of different styles, ultra high-res images, etc), it works fine. But I understand that it’s not perfect for absolutely huge projects.

Regarding referencing with Latex, this article covers how to use Mendeley with Latex – https://blog.mendeley.com/2011/10/25/howto-use-mendeley-to-create-citations-using-latex-and-bibtex/ . Perhaps it will be useful. I hesitate to tell you to adopt software X or Y, or to move from Endnote, as each software has its strengths and weaknesses, and performs better in certain contexts. I’m not familiar with your context, so it’s not possible for me to advise responsibly. Mendeley works well for the vast majority of our students, but if there’s a very specific bit of functionality that draws you to Endnote, then it may be best to stick with it. My generic advice would be to give Mendeley a try with some sample references and see if it has the functionality you need.

I hope this helps! Best of luck with your research 🙂

Thank you for your amazing articles and tips. I have MAC laptop, so would Zotero be as good as Mendeley? Thank you

Derek would you share with me your email please, I need to talk to you urgently.

I need a free Turnitin tool for checking plagiarism as for the tools above

I have been going crazy trying to keep my work polished and thesis or dissertation friendly. My mind said there had to be a better way to do literature reviews. Thank God for these applications. Look out world I am on my way.

Submit a Comment Cancel reply

Your email address will not be published. Required fields are marked *

Save my name, email, and website in this browser for the next time I comment.

• Print Friendly

Build your Next Product with Deski.

Revolutionize Your Business with Thesis Software

Your premier provider of cutting-edge SaaS ERP solutions!

Check why you Should Choose us

Unmatched Expertise

Benefit from our specialized expertise in SaaS ERP solutions

Seamless Integration

Experience a smooth integration process.

Exceptional Customer Support

We believe in building long-lasting relationships with our clients.

Effortless Operations in 3 Simple Steps

Our solutions seamlessly optimize operations with effortless ease

Login to you account

Select Company

Connect to All Ecommerce Platforms with Ease

Seamlessly Connect to Any Ecommerce Platform and Automate Invoicing with Our API & Plugin Solutions

Our Portfolio

Check what our Customer say about us.

"Working with Thesis has been a game-changer for our business. Their SaaS ERP solution streamlined our operations and improved our efficiency across the board. The seamless integration with our existing systems and the exceptional customer support they provided exceeded our expectations. We highly recommend Thesis for their expertise and dedication."

"We are thrilled with the results we've achieved with Thesis's solution.The dedicated support team has been phenomenal, always available to assist us promptly.Thanks to Thesis, we have experienced significant improvements in our processes and overall business performance."

Our Pricing

Choose your Product.

Lorem ipsum dolor on adipisci elit sed do eiusmod liu.

• Unlimited Email
• 5gb Hosting & Domain
• Email & Live chat.
• 5gb Hosting

love our product? Start Free today.

Reach out to us today and discover how our team can empower your business through tailored

Streamlined Student Information Systems

High tech and human-centered

Empowering universities of tomorrow.

• For small colleges and universities in the U.S. and Canada
• SAAS/cloud-based SIS software
• Access to financial aid and faculty and student portal 
• Utilizes Power BI reporting 
• For large colleges and universities in the U.K. and Canada   
• SAAS/cloud-based SIS software 
• Build your own business logic for custom workflows 
• Meets reporting requirements for U.K. and Canada 

Supporting universities for the future.

Most SIS software takes 30 months to implement. With Thesis, we’ll help implement new SIS software in 9-24 months.

Our cloud-based SIS will give you easy access to the information you need to make decisions for the future.

We’ll show you how to configure the software to meet your unique needs to support the future of your institution.

Implementation

We will implement a cloud-based SIS that is launched on time and on budget, built for the unique needs of your institution.

Education & Training

Our team will work together to train your faculty and staff to ensure a smooth SIS implementation for your university.

Thesis Community & Customer Support

Submit questions to your peers in Thesis Communities or open a support case. Thesis is here to help!

Thesis Management System

Easy-to-use and effective software that easily manages thesis and dissertation processes by minimizing challenges faced by scholars, advisors and committee members.

Online Thesis Management System that caters to everyone's needs

Research scholar.

No more frustration - right from initial application, guide selection to DC invite, course works, publications, synopsis, and final thesis submission and viva, everything is automated.

Research Guide

Constructs a bridge between scholars and guides with easy communication channels. Easy acceptance and approval of the coursework, with immediate review processes.

Research Committee Coordinator

Keep track of the entire thesis process in a centralized place. Facilitates research interviews, coordination with external reviewers, and final approvals/rejection in just clicks.

Thesis Management System, for on-the-go thesis, approvals, and submissions

Make thesis registration effortless

Reduce long wait lines of your thesis registration process - from the applications, verification, PET score updation, and interviews to shortlisting and guide allocation, our thesis management system puts your admission committee in charge.

The system is intelligent enough to handle multiple statuses just in a few clicks. With automated processes and reporting tools, your admission team can stay empowered throughout their thesis registration cycle.

Do more with Creatrix:

• Reminders to speed up registrations
• Online thesis registration forms
• Status management for submissions

Handle a range of coursework

Supercharge your coursework registrations with an end-to-end thesis management system from Creatrix. Let researchers start any number of coursework related to their thesis, and maintain, and track it to completion.

Get on discussions with the guide, initiate meetings, send emails, create tasks, and follow-up notes. Get a clear understanding of the coursework done, sent for approval, and submitted, all in one view!

• Add/Edit/ Manage courses associated
• Manage documents related to coursework
• Coursework mapping with credit breakup

Keep publications on track

Compile your thesis publication process with a high-quality repository that tracks all research publications. Input all details associated with the publication along with remarks, so your scholarly efforts are in one place.

Configure filters to quickly sort out the right publication made from the list. View, edit, and trash them whenever needed. Facilitate effective connections between research scholars and their guides.

• Add/manage journals and magazines online
• Various tools to take action
• Faster communication channels for completion

On-the-go approvals

Whether it is topic, thesis, or synopsis approval processes, handle them easily using Creatrix’s configurable workflows. Custom design multiple roles and permissions for RRC, RAC, VC, Referee, and much more.

Expedite thesis submission with individual portal logins, multiple statuses, automatic scheduling, alerts, reports, proper coordination, progress monitoring, and proactive support.

• Integration with third-party fee systems
• Guided thesis support with counsel
• No-code approval workflows for your unique needs

Configure topic approvals

Obtain quicker thesis approvals from your adviser, departmental thesis reviewer, and other committee members at the touch of a button, with our intuitive interface!

Progress report tracking

The progress reporting feature in our thesis management software allows you to track the status of the project, and plan for upcoming milestones in your thesis submission journey.

Extension requests in a snap

Initiate dissertation extension to your thesis panel with all supporting documents with the change of date with our flexible thesis platform

Change of guide requests

Request a change of guide anywhere in the middle of your thesis journey and seek approval through a series of customized steps.

No more extension delays

By inputting new guide details with the old one and the reason, get underway to apply for a change of guide within the specific time using our flexible thesis software.

Enjoy simplicity and efficiency

Empower every one part of the thesis committee with a more functional, easy-to-use, and less code-driven thesis software that dynamically changes as per your needs.

Frequently Asked Questions

What is a thesis management system.

A Thesis Management System is a software solution designed to support the management and administration of theses or dissertations in academic institutions. It provides tools and features to streamline the entire thesis process, including proposal submission, review and approval workflows, document management, and tracking of progress.

What are the key features of a Thesis Management System?

Common features of a Thesis Management System include:

• Online submission of thesis proposals
• Centralized repository for document management
• Review and approval workflows
• Document management and version control
• Communication tools for supervisors and students
• Progress tracking and milestone management
• Plagiarism detection
• Secure storage and access control for thesis documents
• Collaboration tools for co-authors and committee members Integration with other modules or systems
• Customizable templates and forms for thesis management
• Reporting and analytics capabilities for monitoring thesis progress
• User-friendly interface for easy navigation and use.

How does a Thesis Management System benefit academic institutions?

A Thesis Management System offers several benefits to academic institutions, including:

• Streamlined thesis submission and approval processes, reducing paperwork and administrative overhead.
• Reduces administrative burden. Improves efficiency and saves time.
• Improved communication and collaboration between students, supervisors, and committee members.
• Enhanced document management and version control, ensuring proper organization and access to thesis materials.
• Efficient progress tracking, enabling timely feedback and intervention when needed.
• Plagiarism detection tools, ensuring academic integrity in thesis submissions.
• Reporting and analytics for evaluating thesis progress and outcomes.

Can a Thesis Management System handle different types of theses?

Yes, a Thesis Management System can handle different types of theses, including master's theses, doctoral dissertations, research papers, and other scholarly works. The system allows for customization in defining thesis categories and associated workflows.

Is it possible to integrate a Thesis Management System with other systems?

Integration with other systems is possible depending on the capabilities and compatibility of the Thesis Management System. Integration with student information systems, library databases, or plagiarism detection tools can streamline data exchange and provide a seamless experience for users.

How secure is the data in a Thesis Management System?

Data security is crucial for any software system, including a Thesis Management System. These systems employ security measures such as encryption, user authentication, access controls, and regular backups to ensure data protection. It's important to choose a reputable system provider that prioritizes data security and complies with relevant privacy regulations.

Can a Thesis Management System facilitate collaboration among co-authors and committee members?

Yes, many Thesis Management Systems provide collaboration tools to facilitate communication and collaboration among co-authors and committee members. These tools enable online discussions, document sharing, and feedback exchange, ensuring smooth collaboration throughout the thesis process.

Can a Thesis Management System handle multiple reviewers and approval workflows?

Yes, a Thesis Management System can handle multiple reviewers and approval workflows. The system allows for the customization of review and approval processes based on the specific requirements of the academic institution. Different roles and permissions can be assigned to reviewers and approvers to ensure appropriate access and control.

Is it possible to customize a Thesis Management System?

Customization options may vary depending on the system provider. Some providers offer flexibility to customize certain aspects of the system, such as thesis categories, approval workflows, or reporting formats. It's recommended to discuss customization requirements with the system provider to understand the available options and tailor the system to specific institutional needs.

Checkout our more innovative solutions for higher education

Higher education strategic.

Place your long-term and short-term institutional goals efficiently and track them to…

Learning Management System

Most intuitive, user-friendly Learning Management System that augments teaching and…

Student Portfolio

An enriching student ePortfolio that improves and empowers today’s modern students.

Student Assessment Management

An LMS integrated, OBE, CBE, flipped learning supported Assessment platform for modern…

Placement Management System

An integrated campus placement management system that manages everything from student…

Student Advising System

A student planning and advising platform that empowers students to take charge of their…

Student Information System

A comprehensive, mobile-first student information management system that takes care of…

• Interesting
• Scholarships
• UGC-CARE Journals

45 Software Tools for Writing Thesis

Boost Your Thesis Writing with Essential Software Tools

Table of contents

1.2 endnote, 1.3 mendeley, 1.4 refworks, 1.7 readcube papers, 1.8 paperpile, 2.1 microsoft word, 2.2 google docs, 2.3 apple pages, 2.3 libreoffice writer, 2.4 wps office writer, 3.2 google scholar, 3.3 ieee xplore.

• 3.4 ScienceDirect

4.1 Microsoft OneNote

4.2 evernote, 4.5 google keep, 5.1 turnitin, 5.2 grammarly, 5.3 copyscape, 5.4 plagscan, 5.5 duplichecker, 5.6 unicheck, 5.7 quetext, 5.8 plagiarism checkerx, 5.9 writecheck, 6.3 microsoft project, 6.4 todoist, 6.5 evernote, 7.3 tableau, various software tools for writing thesis:.

Writing a thesis is a significant milestone in any academic journey. It demands an immense amount of dedication, research, and organization. To streamline your thesis writing process and ensure a well-crafted and cohesive document, it’s crucial to equip yourself with the right software tools. In this article, iLovePhD will explore some of the most important software tools you need to effectively write your thesis. These tools encompass a range of areas, including research, writing, organization, and productivity. Let’s dive in!

Discover the must-have software tools for writing a successful thesis. Streamline your research and boost productivity today!

Master Your Thesis Writing with These Essential Software Tools

1. reference management software.

Comprehensive reference management software , such as Zotero, Mendeley, or EndNote, is a must-have tool for any thesis writer. These tools help you organize and manage your references efficiently, generate citations in different formats, and create a bibliography effortlessly. They save time, eliminate the risk of citation errors, and facilitate the seamless integration of references into your thesis. Here is a list of the top ten reference management software tools:

Zotero is a free and open-source reference management tool that helps you collect, organize, and cite research sources. It has a user-friendly interface and offers features like web browser integration and collaboration options.

EndNote is a popular reference management software used by researchers, students, and librarians. It allows you to store, organize, and format bibliographic references, and it offers a wide range of citation styles.

Mendeley is a reference manager and academic social network. It enables you to organize your references, collaborate with others, and discover new research articles. Mendeley offers both free and premium versions.

RefWorks is a web-based reference management tool that helps you store and organize your references. It offers features like citation formatting, collaboration options, and document sharing.

Citavi is a comprehensive reference management and knowledge organization tool. It allows you to manage references, create citations, and organize your research materials. Citavi is commonly used by students and researchers.

JabRef is an open-source reference manager that specializes in handling bibliographies in BibTeX format. It is cross-platform compatible and offers features like customizable citation styles and integration with LaTeX editors.

ReadCube Papers is a reference management tool that focuses on enhancing the reading experience of research papers. It offers features like PDF annotation, article discovery, and cloud-based reference syncing.

Paperpile is a reference manager designed specifically for Google Docs and Google Scholar. It provides seamless integration with Google services and offers features like citation formatting and collaboration tools.

Colwiz is a reference management, collaboration, and research discovery platform. It allows you to organize your references, collaborate with colleagues, and discover new research articles.

Qiqqa is a reference management software that offers features like PDF management, annotation tools, and citation generation. It also includes advanced features like full-text search and note-taking capabilities.

These are just a few of the popular reference management software tools available. Each tool has its own unique features and capabilities, so it’s worth exploring them further to find the one that best suits your needs.

2. Word Processing Software:

While this might seem obvious, using powerful word-processing software is essential. Microsoft Word and Google Docs are popular choices due to their robust features and compatibility. These tools provide a professional writing environment, including features like spell check, grammar correction, formatting options, and word count tracking. Additionally, they offer collaborative features, making it easier to seek feedback from advisors or peers. Here are the top five word-processing software tools:

Microsoft Word is one of the most popular and widely used word-processing software tools. It offers a comprehensive range of features for creating, editing, and formatting documents. It includes a user-friendly interface, collaboration tools, templates, and advanced formatting options.

Google Docs is a web-based word-processing tool offered by Google. It allows users to create and edit documents online, collaborate in real-time, and easily share documents with others. Google Docs also provides cloud storage, offline access, and seamless integration with other Google services.

Pages is the word processing software included in Apple’s iWork suite. It is designed specifically for macOS and iOS devices and offers a clean and intuitive interface. Apple Pages provide a variety of templates, advanced typography tools, collaboration features, and seamless integration with other Apple products.

LibreOffice Writer is a free and open-source word processing software that is part of the larger LibreOffice suite. It offers a range of features comparable to Microsoft Word, including extensive formatting options, styles, templates, and compatibility with various document formats.

WPS Office Writer is a popular word-processing tool that provides a free alternative to Microsoft Word. It offers a familiar interface, supports a wide range of file formats, and includes features such as document collaboration, templates, and extensive formatting options.

Please note that the popularity and preference for word processing software can vary depending on individual needs and preferences.

3. Research Databases and Search Engines:

Conducting thorough research is a cornerstone of thesis writing. Access to reliable research databases , such as PubMed, JSTOR, or IEEE Xplore, is vital. These platforms provide access to a vast array of scholarly articles, journals, books, and conference papers. Additionally, search engines like Google Scholar and Scopus can help you discover relevant literature and enhance your research capabilities. Here are the top five research databases and search engine tools commonly used:

PubMed is a widely used research database in the field of medicine and life sciences. It provides access to a vast collection of biomedical literature, including articles from scientific journals, books, and conference proceedings.

Google Scholar is a freely accessible search engine that indexes scholarly literature across various disciplines. It includes articles, theses, books, conference papers, and more. It provides a convenient way to search for academic resources from multiple sources.

IEEE Xplore is a digital library that focuses on electrical engineering, computer science, and related disciplines. It provides access to a vast collection of technical documents, including journal articles, conference papers, standards, and ebooks.

3.4 ScienceDirec t

ScienceDirect is a leading full-text scientific database offering access to a wide range of scholarly literature in various fields. It covers subjects such as physical sciences, engineering, life sciences, health sciences, and social sciences. ScienceDirect includes journals, books, and conference proceedings.

JSTOR is a digital library that provides access to a vast collection of academic journals, books, and primary sources across multiple disciplines. It covers subjects such as arts, humanities, social sciences, and more. JSTOR is particularly useful for historical research and accessing older publications.

These tools offer comprehensive access to scholarly literature and can be valuable resources for researchers, academics, and students. However, depending on your specific field or research area, there may be other specialized databases and search engines that are more relevant to your needs.

4. Note-Taking Tools

Keeping track of ideas, concepts, and findings is crucial during the research process. Note-taking tools like Evernote, OneNote, or Notion can be immensely helpful. These tools allow you to create and organize digital notes, attach files, insert images, and even collaborate with others. The ability to access your notes across different devices ensures seamless integration with your thesis writing workflow. Here are the top five note-taking tools commonly used in research:

OneNote is a versatile note-taking tool that allows you to create and organize notes in a free-form manner. It offers features such as text formatting, audio and video recording, image embedding, and cross-platform synchronization.

Evernote is a popular note-taking tool that enables users to capture, organize, and search their notes across multiple devices. It offers features like text formatting, web clipping, file attachments, and collaboration options.

Zotero is a powerful research tool specifically designed for academic and research purposes. It allows you to collect, organize, cite, and share research materials such as articles, books, web pages, and more. It also integrates with word processors for easy citation management.

Notion is an all-in-one productivity tool that can be used for note-taking, task management, project planning, and more. It provides a flexible and customizable workspace where you can create and organize notes using a combination of text, tables, lists, media, and more.

Google Keep is a simple and lightweight note-taking tool that integrates well with other Google services. It offers basic note-taking features, including text, voice, and image notes, as well as checklists and reminders. It also syncs across devices and allows for easy collaboration.

These software tools provide various features and functionalities, so it’s worth exploring them to find the one that best fits your specific research needs and preferences.

5. Plagiarism Checkers

Maintaining academic integrity is of utmost importance when writing a thesis. Reference checkers like Grammarly and Turnitin can help ensure proper citation usage, prevent accidental plagiarism, and improve the overall quality of your writing. These tools provide detailed reports on potential issues and suggest corrections, thereby enhancing the credibility and originality of your work. There are several plagiarism checker tools available for researchers to ensure the originality of their work. Here is a list of ten popular plagiarism checker tools used in research :

Turnitin is one of the most widely used plagiarism detection tools, often integrated into educational institutions’ systems. It compares submitted work against a vast database of academic content, publications, and internet sources.

While primarily known as a grammar and writing assistance tool, Grammarly also offers a plagiarism checker feature. It scans the text for similarities against various online sources and provides a detailed report.

Copyscape is an online plagiarism checker used to detect copied content. It searches the web for matching content and provides a list of URLs where the content has been found.

Plagscan is a comprehensive plagiarism checker that compares documents against multiple sources, including academic journals, websites, and its extensive database. It offers a detailed report highlighting potential matches.

DupliChecker is a free online plagiarism checker that scans the text against various online sources and offers a percentage of similarity along with highlighted matches.

Unicheck is a cloud-based plagiarism detection tool specifically designed for educational institutions. It compares submitted documents against a massive database to identify potential instances of plagiarism.

Quetext is an AI-powered plagiarism checker that scans documents for similarities against an extensive database of academic content and web sources. It provides a detailed report with highlighted matches.

Plagiarism CheckerX is a software-based plagiarism detection tool that scans documents against online sources, academic databases, and publications. It offers an easy-to-understand report highlighting similarities.

WriteCheck is a plagiarism checker developed by Turnitin. It allows users to submit their work and receive an originality report, indicating potential matches found in the database.

Viper is a free plagiarism checker that scans documents for similarities against online sources. It provides a detailed report and also offers additional features for academic users.

6. Project Management and Task Tracking software Tools:

Thesis writing involves managing numerous tasks, deadlines, and milestones. Employing project management and task tracking tools like Trello, Asana, or Todoist can greatly aid in staying organized. These tools enable you to create task lists, set deadlines, allocate priorities, and collaborate with others. Visualizing your progress and breaking down the writing process into smaller, manageable tasks boosts productivity and helps you meet your targets effectively. When it comes to project management and task tracking tools for thesis writing, there are several options available. Here are five popular ones:

Trello is a highly visual project management tool that allows you to organize tasks and projects on virtual boards. You can create lists, add cards for individual tasks, set due dates, and collaborate with others. Trello’s flexibility makes it suitable for organizing research materials, outlining chapters, and tracking progress.

Asana is a comprehensive project management tool that helps you track tasks, assign responsibilities, set deadlines, and communicate with your team. It provides features such as task dependencies, subtasks, and file attachments, making it useful for managing complex thesis projects with multiple contributors.

Microsoft Project is a powerful project management software that offers robust features for planning, scheduling, and tracking projects. It allows you to create Gantt charts, set milestones, allocate resources, and monitor progress. While it may have a steeper learning curve compared to other tools, it offers extensive functionality for managing large-scale thesis projects.

Todoist is a simple yet effective task-tracking tool that helps you create and manage to-do lists. It allows you to set due dates, prioritize tasks, and create recurring tasks. You can also collaborate with others by sharing tasks and adding comments. Todoist’s intuitive interface and cross-platform availability make it a popular choice for individual thesis writers.

Although not strictly a project management tool, Evernote is a versatile note-taking application that can be invaluable for thesis writing. It allows you to capture and organize research notes, save web clippings, create to-do lists, and attach files. With its powerful search functionality and synchronization across devices, Evernote helps you stay organized and retrieve information quickly.

The choice of the tool ultimately depends on your specific needs and preferences. It’s a good idea to try out a few options and see which one aligns best with your workflow and project requirements.

7. Data Analysis and Visualization Tools:

For research involving data analysis, tools like SPSS, R, or Excel can be invaluable. These tools provide powerful statistical analysis capabilities, allowing you to draw meaningful insights from your data. Additionally, visualization tools like Tableau or Python’s Matplotlib can help present your findings in a visually appealing and easy-to-understand manner. There are several popular data analysis and visualization tools used in thesis writing. Here are the top five tools:

R is a widely used open-source programming language for statistical analysis and data visualization. It provides a vast number of packages and libraries specifically designed for data analysis. R allows you to perform various statistical tests, create visualizations, and generate reports, making it a popular choice among researchers.

Python is another powerful programming language commonly used for data analysis and visualization. It offers libraries like NumPy, Pandas, and Matplotlib, which provide efficient data manipulation, analysis, and plotting capabilities. Python’s versatility and ease of use make it a preferred choice for researchers in various domains.

Tableau is a popular data visualization tool that allows users to create interactive and visually appealing charts, graphs, and dashboards. It provides a user-friendly interface for exploring and analyzing data from various sources. Tableau offers advanced features for storytelling and data presentation , making it suitable for thesis writing and research projects.

SPSS (Statistical Package for the Social Sciences) is a software package widely used in social science research. It provides a comprehensive set of tools for data analysis, including descriptive statistics, regression analysis, and hypothesis testing. SPSS also offers data visualization capabilities to present research findings effectively.

Microsoft Excel is a widely available spreadsheet program that offers basic data analysis and visualization functionalities. It is often used for organizing and manipulating data, performing simple statistical calculations, and creating basic charts. While Excel may not be as powerful as specialized data analysis tools, it remains a popular choice due to its familiarity and ease of use.

These tools provide researchers with a range of options for data analysis and visualization, allowing them to choose the one that best suits their needs and preferences.

Conclusion:

Writing a thesis can be a challenging yet rewarding experience. By equipping yourself with the right tools, you can streamline your workflow, enhance your research capabilities, and produce a well-structured thesis. Remember, the tools mentioned in this article are meant to assist and optimize your writing process, but it’s crucial to adapt them to your specific needs and preferences. Embrace these tools, and let them empower you to create a compelling thesis that showcases your academic prowess. Happy writing!

Writing Softwares for Thesis

Research Tools for Thesis Writing

Citation Management Tools for Thesis

Plagiarism Checkers for Thesis Writing

Grammar and Proofreading Tools for Thesis

Formatting Tools for Thesis Writing

Reference Management Tools for Thesis

Data Analysis Tools for Thesis Writing

Literature Review Tools for Thesis

Time Management Tools for Thesis

Collaboration Tools for Thesis Writing

Presentation Tools for Thesis Defense

Thesis Writing Templates and Samples

Tips and Techniques for Thesis Writing

Common Challenges in Thesis Writing

Thesis Writing Resources and Guides

FAQ on Tools for Writing Thesis

• ai thesis generator
• analytical thesis statement generator
• argumentative thesis statement generator
• best paraphrasing tool for thesis
• best paraphrasing tool for thesis free
• paraphrasing tool for thesis
• paraphrasing tool for thesis writing
• persuasive thesis statement generator
• strong thesis statement generator
• thesis outline generator
• thesis paraphrasing tool
• thesis question generator
• thesis sentence generator
• thesis statement finder tool
• thesis statement generator
• thesis statement generator for essay
• thesis statement generator for research paper
• thesis statement tool
• thesis writing software
• thesis writing software free download

10 Tips to Quickly Publish Research Article with ChatGPT

Top scopus indexed journals in management 2024, 100 generative ai project ideas and examples -2024, email subscription.

iLovePhD is a research education website to know updated research-related information. It helps researchers to find top journals for publishing research articles and get an easy manual for research tools. The main aim of this website is to help Ph.D. scholars who are working in various domains to get more valuable ideas to carry out their research. Learn the current groundbreaking research activities around the world, love the process of getting a Ph.D.

WhatsApp Channel

Join iLovePhD WhatsApp Channel Now!

Contact us: [email protected]

Copyright © 2019-2024 - iLovePhD

• Artificial intelligence

• Resources Research Proposals --> Industrial Updates Webinar - Research Meet
• Countries-Served
• Add-on-services

Text particle

feel free to change the value of the variable "message"

Top 11 Software Tools for Thesis Writing: Boost Your Research

Crafting a thesis may seem challenging, but employing suitable software tools transforms it into a more structured and approachable undertaking. Delve into these potent resources to simplify your research, elevate your writing, and excel in your academic pursuits. This post elaborates on several tools commonly utilized for academic thesis writing.

Citavi is a comprehensive reference management and knowledge organization tool. It allows you to manage references, create citations, and organize your research materials. Citavi is commonly used by students and researchers.

Docear is a unique solution to academic literature management, i.e., it helps you organizing, creating, and discovering academic literature. This unique literature management tool designed specifically for academics when it comes to discovering, organizing and ultimately creating academic literature. A recommender system that helps you to discover new literature: Docear recommends papers which are free, in full-text, instantly to download, and tailored to your information needs.

3. Paperpile

Paperpile is a software for reference management that is just like Zotero and works like an extension for the Google Chrome browser, making it accessible for Linux, Mac, and Windows users. We suggest that you use it to discover and import information from stage platforms such as PubMed, arXiv, and Google Chrome. You can undoubtedly trade all the PDF archives and information to Google Drive, which implies you will have the chance to edit your papers collaboratively. This collaboration will not end, as you can send data back and forth between P Zotero and Paperpile, such as Mendeley.

4. RefWorks

RefWorks is accurate; select from thousands of customizable citation styles to use within authoring tools. Generate bibliographies and citations in a snap with any authoring tool. Use our integrations to insert citations in Word and Google Docs. Leverage thousands of pre-built citation styles and request new styles. Customize citation styles or create your own from scratch with the citation style editor.

5. SpellCheckPlus

SpellCheckPlus applies the same concept to the writing process. Rather than simply correcting your mistakes, it summarizes them into distinct categories. SpellCheckPlus offers feedback that not only improves your current project but also your writing and grammar at large. In other words, SpellCheckPlus is no mere editing tool; rather, it’s a teaching tool. And as even the very best writers know, there’s always room for improvement when it comes to how you deliver your message.

MindMup acts as an online mind-mapping canvas, perfect for representing ideas and concepts visually. Capture ideas at the speed of thought using a mind map maker designed to help you focus on your ideas and remove all the distractions while mindmapping. MindMup is also a terrific collaborative tool.

7. iA Writer

iA Writer gives you the essence of pure writing by providing an unobtrusive interface that lets you concentrate on your text. Despite its minimalistic approach, the application offers a variety of distinctive features that are specifically designed for writing-focused tasks. With iA Writer, you can gain unparalleled insight into your writing structure, detect superfluous words and clichés, and navigate through your documents and notes with ease.

Elicit uses language models to extract data from and summarize research papers. As a new technology, language models sometimes make up inaccurate answers (called hallucinations). They reduce hallucinations and increase accuracy by: training our models on specific tasks; searching over academic papers; and making it easy to double-check answers. Elicit only shows you papers that actually exist and are part of the scientific literature.

9. Lucidchart

It is an online diagramming tool to create flowcharts, diagrams, and visuals. Lucidchart is an intelligent diagramming application that brings teams together to make better decisions and build the future. Lucidchart helps users sketch and share professional flowchart diagrams, providing designs for anything from brainstorming to project management.

10. Trinka AI

Trinka is an online grammar checker and language correction AI tool for academic and technical writing. Trinka finds difficult errors unique to academic writing that other grammar checker tools don’t. From advanced English grammar errors to scientific tone and style, Trinka checks it all! Trinka goes beyond professional grammar checks and enhances your writing for vocabulary, tone, syntax, and much more. Make your point confidently with Trinka.

11. WhiteSmoke

WhiteSmoke renders you with the highest quality proofreading abilities available, correcting not only simple spelling mistakes like old-fashioned word processors but everything from grammar, word choices, and even style mistakes, all without breaking a sweat.

https://www.ref-n-write.com/blog/academic-writing-tools-and-research-software-a-comprehensive-guide/

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Save my name, email, and website in this browser for the next time I comment.

• Executive Committee
• Distinguished Service
• Outstanding Research
• Influential Educator
• Distinguished Paper
• Frank Anger Memorial
• Impact Paper
• Doctoral Dissertation
• Early Career Researcher

Dissertations

• Research Highlights
• Student Assistance
• Improving Paper and Peer Review Quality
• Impact Project

PhD Dissertations in the Area of Software Engineering

This list is provided as a resource for PhD candidates, researchers, scientists, and engineers who are actively pursuing advanced research in Software Engineering.

If you are a PhD graduate, we invite you to submit information about your dissertation using this form . The information you provide will be evaluated by our committee before being added to the list below.

Finally, note that SIGSOFT is making this information available without warranty and assumes no responsibility for its accuracy. All information was provided on a voluntary basis. Any issues of copyright are the sole responsibility of the person submitting the information to SIGSOFT.

Those interested in PhD dissertations in the area of software engineering may also be want to review Tao Xie's Software Engineering Academic Genealogy .

Miguel Olivero . A Framework For Security Assessment Of Systems Of Systems . Universidad de Sevilla (Nov 19, 2020, advisor: Maria José Escalona. Abstract .

Roberto Casadei . Engineering Self-Adaptive Collective Processes for Cyber-Physical Ecosystems . Alma Mater Studiorum - Universitá di Bologna (Feb 4, 2020, advisor: Mirko Viroli). Abstract .

Faiz Ali Shah . Extracting Information from App Reviews to Facilitate Software Development Activities . University of Tartu, Estonia (Feb 21, 2020, advisor: Dietmar Pfahl). Abstract .

Tiago Boldt Sousa . Engineering Software for the Cloud: A Pattern Language . Faculty of Engineering, University of Porto (May 8, 2020, advisor: Hugo Sereno Ferreira). Abstract .

Yannic Noller . Hybrid Differential Software Testing . Humboldt-Universität zu Berlin (Oct 16, 2020, advisor: Lars Grunske). Abstract .

Toni Taipalus . Persistent Errors in Query Formulation . University of Jyvaskyla (Nov 29, 2020, advisor: Mikko Siponen). Abstract .

Théo Zimmermann . Challenges in the collaborative evolution of a proof language and its ecosystem . Université de Paris (December 12, 2019, advisor: Hugo Herbelin). Abstract .

Tushar Sharma . Extending Maintainability Analysis Beyond Code Smells . Athens University of Economics and Business (May 2, 2019, advisor: Diomidis Spinellis). Abstract .

Christian Macho . Preventing and Repairing Build Breakage . University of Klagenfurt (May 8, 2019, advisor: Martin Pinzger). Abstract .

Akond Rahman . Anti-patterns in Infrastructure as Code . North Carolina State University (Jun 13, 2019, advisor: Laurie Williams). Abstract .

Denae Ford . Identity-Based Signals and E-Mentorship to Support Engagement in Online Programming Communities . North Carolina State University (Jul 30, 2019, advisor: Christopher Parnin). Abstract .

Sebastian Baltes . Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development . University of Trier (Oct 4, 2019, advisor: Stephan Diehl). Abstract .

Huishi Yin . Using a Kano-like Model to Facilitate Open Innovation in Requirements Engineering . University of Tartu, Estonia (Dec 17, 2019, advisor: Dietmar Pfahl). Abstract .

Martina De Sanctis . Dynamic Adaptation of Service-Based Systems: a Design for Adaptation Framework . University of Trento (May 152018, advisor: Marco Pistore). Abstract .

Chaiyong Ragkhitwetsagul . Code similarity and clone search in large-scale source code data . University College London, United Kingdom (Oct 10, 2018, advisor: Jens Krinke). Abstract .

Thomas Vogel . Model-Driven Engineering of Self-Adaptive Software . Hasso Plattner Institute, University of Potsdam, Germany (Mar 19, 2018, advisor: Holger Giese ). Abstract .

Siba Mishra . Efficient Cost Estimation And Testing Approaches For Soa Systems . Indian Institute of Technology (Indian School of Mines) Dhanbad (Mar 23, 2018, advisor: Prof. Chiranjeev Kumar ). Abstract .

Titus Barik . Error Messages As Rational Reconstructions . North Carolina State University (Mar 29, 2018, advisor: Emerson Murphy-Hill ). Abstract .

Austin Henley . Human-Centric Tools For Navigating Code . University of Memphis (Aug 11 2018, advisor: Scott Fleming ). Abstract .

Xavier Devroey . Behavioural model-based testing of software product lines . University of Namur (Aug 30 2017, advisor: Pierre-Yves Schobbens and Patrick Heymans ). Abstract .

Sridhar Chimalakonda . A Software Engineering Approach For Design Of Educational Technologies . International Institute of Information Technology Hyderabad (Feb 3 2017, advisor: Kesav V. Nori ). Abstract .

Amin Milani Fard . Directed test generation and analysis for web applications . University of British Columbia (Jan 27 2017, advisor: Ali Mesbah ). Abstract .

Asim Abdulkhaleq . A System-Theoretic Safety Engineering Approach For Software-Intensive Systems . University of Stuttgart, Institute of Software Technology (Jun 2, 2017, advisor: Stefan Wagner ). Abstract .

Sami Alajrami . Software Development In The Post-Pc Era: Towards Software Development As A Service . Newcastle University (May 4, 2017, advisor: Alexander Romanovsky ). Abstract .

Catarina Costa . Recommending Developers For Collaborative Merge Sessions . Fluminense Federal University (Jun 28, 2017, advisor: Leonardo Gresta Paulino Murta ). Abstract .

Ahmad Nauman Ghazi . Structuring Exploratory Testing Through Test Charter Design And Decision Support . Blekinge Institute of Technology, Sweden (Jun 1, 2017, advisor: Kai Petersen ). Abstract .

Fabio Palomba . Code Smells: Relevance Of The Problem And Novel Detection Techniques . University of Salerno (Apr 20, 2017, advisor: Andrea De Lucia ). Abstract .

Alireza Rouhi . Presenting A Process For Generating A Pattern Language Verifier . University of Isfahan (Sep 2, 2017, advisor: Bahman Zamani ). Abstract .

Jonas Westman . Specifying Safety-Critical Heterogeneous Systems Using Contracts Theory . ITM/Machine Design (Feb 22, 2017, advisor: Mattias Nyberg ). Abstract .

Andrea Stocco . Automatic Page Object Generation To Support E2E Testing Of Web Applications . University of Genoa, Italy (Apr 12, 2017, advisor: Filippo Ricca ). Abstract .

Jean Melo . Variability Bugs: Program And Programmer Perspective . IT University of Copenhagen (Aug 31, 2017, advisor: Claus Brabrand ). Abstract .

Rubén Saborido . Assisting Developers And Users In Developing And Choosing Efficient Mobile Device Apps . École Polytechnique de Montréal (December 7, 2017, advisor: Foutse Khomh ). Abstract .

Santosh Singh Rathore . Predicting Number Of Faults In Software Systems . Indian Institute of Technology Roorkee (Sep 2017, advisor: Dr. Sandeep Kumar ). Abstract .

Kuldeep Kumar . Formalization and Detection of Collaborative Patterns in Software . National University of Singapore (NUS), Singapore (Jan 31, 2016, advisor: Stanislaw Jarzabek). Abstract .

Michail Famelis . Managing Design-Time Uncertainty In Software Models . University of Toronto (Jan 15, 2016, advisor: Marsha Chechik ). Abstract .

Ahmad Jbara . Regularity Of Code: A New Structural Property And Its Effect On Code Complexity And Comprehension . Hebrew University (Jul 2016, advisor: Dror Feitelson ). Abstract .

Jan Kurs . Parsing For Agile Modeling . University of Bern (Oct 25, 2016, advisor: Oscar Nierstrasz ). Abstract .

Breno Miranda . Redefining And Evaluating Coverage Criteria Based On The Testing Scope . University of Pisa (Oct 6, 2016, advisor: Antonia Bertolino ). Abstract .

Andrea Caracciolo . A Unified Approach To Architecture Conformance Checking . University of Bern (Mar 2016, advisor: Oscar Nierstrasz ). Abstract .

Niko Mäkitalo . On Programmable Interactions: Principles, Concepts And Challenges Of Co-Located And Social Interplay . Tampere University of Technology (Jun 15, 2016, advisor: Tommi Mikkonen ). Abstract .

Saurabh Tiwari . Evaluating Usability Aspects Of Use Cases For Software Specification Problems . Indian Institute of Information Technology, Design and Manufacturing, Jabalpur, India (June 29, 2016, advisor: Dr Atul Gupta ). Abstract .

Mohamed Wiem Mkaouer . Balancing Competing Needs Of Machine And Human In Search-Based Software Refactoring . University of Michigan-Dearborn (April 4, 2016, advisor: Marouane Kessentini ). Abstract .

Nariman Mirzaei . Automated Input Generation For Testing Android Applications . George Mason University (Jun 6, 2016, advisor: Sam Malek ). Abstract .

Maria Christakis . Narrowing the Gap between Verification and Systematic Testing . ETH Zurich (Sep 21 2015, advisor: Peter Muller ). Abstract .

Yepang Liu . Automated Analysis of Energy Efficiency and Execution Performance for Mobile Applications . The Hong Kong University of Science and Technology (Nov 20 2015, advisor: Shing-Chi Cheung ). Abstract .

Markus Borg . From Bugs to Decision Support - Leveraging Historical Issue Reports in Software Evolution . Lund University (May 8, 2015, advisor: Per Runeson ). Abstract .

Marcelo Schots de Oliveira . On The Use Of Visualization For Supporting Software Reuse . Federal University of Rio de Janeiro (Dec 15, 2015, advisor: Cláudia Maria Lima Werner ). Abstract .

Nauman bin Ali . Operationalization Of Lean Thinking Through Value Stream Mapping With Simulation And Flow . Blekinge Institute of Technology (Jun 5, 2015, advisor: Claes Wohlin ). Abstract .

Phu H. Nguyen . Model-Driven Security With Modularity And Reusability For Engineering Secure Software Systems . University of Luxembourg (Sep 10, 2015, advisor: Yves Le Traon ). Abstract .

Gustavo Pinto . A Refactoring Approach To Improve Energy Consumption Of Parallel Software Systems . UFPE (Feb 24, 2015, advisor: Fernando José Castor de Lima Filho ). Abstract .

Anas Shatnawi . Supporting Reuse By Reverse Engineering Software Architecture And Component From Object-Oriented Product Variants And Apis . LIRMM/University of Montpellier (Jun 29, 2015, advisor: Abdelhak Djamel Seriai ). Abstract .

Rodrigo Souza . Inappropriate Software Changes: Rejection And Rework . Federal University of Bahia (UFBA) (Jul 17, 2015, advisor: Christina von Flach Garcia Chavez ). Abstract .

Mohd Hafeez Osman . Interactive Scalable Condensation Of Reverse Engineered Uml Class Diagrams For Software Comprehension . Leiden University (March 10, 2015, advisor: Michel R.V. Chaudron ). Abstract .

Igor Steinmacher . Supporting Newcomers To Overcome The Barriers To Contribute To Open Source Projects . University of São Paulo (February 26, 2015, advisor: Igor Steinmacher ). Abstract .

Ivan Machado . Fault model-based variability testing . Federal University of Bahia (Jul 21 2014, advisor: Eduardo Santana de Almeida ). Abstract .

Xusheng Xiao . Cooperative Testing and Analysis via Informed Decision Making . North Carolina State University (Jun 13 2014, advisor: Tao Xie and Laurie Williams). Abstract .

Muddassar Sindhu . Algorithms and Tools for Learning-based Testing of Reactive Systems . Royal Institute of Technology (KTH), Stockholm, Sweden (Apr 16, 2013, advisor: Karl Meinke). Abstract .

Joshua Sunshine . Protocol Programmability . Carnegie Mellon University (Dec 2013, advisor: Jonathan Aldrich ). Abstract .

Jeff Huang . Effective Methods for Debugging Concurrent Software . Hong Kong University of Science and Technology (May 31 2013, advisor: Charles Zhang ). Abstract .

Baishakhi Ray . Analysis of Cross-System Porting and Porting Errors in Software Projects . University of Texas at Austin (Aug 19 2013, advisor: Miryung Kim ). Abstract .

Tristan Ravitch . Inferred Interface Glue: Supporting Language Interoperability with Static Analysis . University of Wisconsin-Madison (Aug 20 2013, advisor: Ben Liblit ). Abstract .

Kathryn Stolee . Solving the Search for Source Code . University of Nebraska-Lincoln (Jan 1 2013, advisor: Sebastian Elbaum ). Abstract .

Norbert Siegmund . Measuring and Predicting Non-Functional Properties of Customizable Programs . University of Magdeburg (Nov 27 2012, advisor: Gunter Saake ). Abstract .

Janet Siegmund . Framework for Measuring Program Comprehension . University of Magdeburg (Nov 27 2012, advisor: Gunter Saake ). Abstract .

Kai Pan . Constraint-based generation of database states for testing database applications . University of North Carolina at Charlotte (Dec 2012, advisor: Xintao Wu ). Abstract .

Domenico Bianculli . Open-world software: Specification, verification, and beyond . Università della Svizzera italiana (Jul 18 2012, advisor: Carlo Ghezzi ). Abstract .

Taneja Kunal . Quality Assurance of Database Centric Applications . North Carolina State University (Nov 7 2012, advisor: Tao Xie ). Abstract .

Iman Saleh . The Formal Specification and Verification of Data-Centric Web Services . Virginia Tech (Feb 10 2012, advisor: Gregory W. Kulczycki ). Abstract .

Michael Würsch . A Query Framework for Software Evolution Data . University of Zurich (Sep 2012, advisor: Harald C. Gall ). Abstract .

Michael Pradel . Program Analyses for Automatic and Precise Error Detection . ETH Zurich, Department of Computer Science (Dec 2012, advisor: Thomas R. Gross ). Abstract .

Cindy Rubio González . Finding Error-Propagation Bugs in Large Software Systems Using Static Analysis . University of Wisconsin Madison (Aug 2012, advisor: Ben Liblit ). Abstract .

Piramanayagam Arumuga Nainar . Applications of Static Analysis and Program Structure in Statistical Debugging . University of Wisconsin - Madison (Aug 24 2012, advisor: Ben Liblit ). Abstract .

Aldeida Aleti . An Adaptive Approach to Controlling Parameters of Evolutionary Algorithms . Swinburne University of Technology (Jul 23 2012, advisor: Lars Grunske ). Abstract .

Pamela Bhattacharya . Quantitative decision-making in software engineering . University of California, Riverside (Jun 15 2012, advisor: Iulian Neamtiu ). Abstract .

Matthias Hert . RDF-based Read and Write Access to Relational Databases . University of Zurich (Apr 2012, advisor: Harald C. Gall ). Abstract .

Ekwa Duala-Ekoko . Using Structure-Based Recommendations to Facilitate API Learnability . McGill University (May 2012, advisor: Martin Robillard ). Abstract .

Indika Meedeniya . Architecture Optimisation of Embedded Systems under Uncertainty in Probabilistic Reliability Evaluation Model Parameters . Swinburne University of Technology (Jul 17 2012, advisor: Lars Grunske and Irene Moser). Abstract .

Mark Gabel . Inferring Programmer Intent and Related Errors from Software . University of California at Davis (Sep 2011, advisor: Zhendong Su ). Abstract .

Eugene Syriani . A Multi-Paradigm Foundation for Model Transformation Language Engineering . McGill University (Feb 4 2011, advisor: Hans Vangheluwe ). Abstract .

Mohammad AL Asswad . Semantic Information Systems Engineering: A Query-based Approach for Semi-automatic Annotation of Web Services . Brunel University (Jul 19 2011, advisor: Mark Lycett ). Abstract .

Catia Trubiani . Automated generation of architectural feedback from software performance analysis results . University of L'Aquila (Apr 18 2011, advisor: Vittorio Cortellessa ). Abstract .

Amine Chigani . Campus Situational Awareness and Emergency Response Management System . Virginia Polytechnic Institute & State University (May 14 2011, advisor: Osman Balci ). Abstract .

Anne Koziolek . Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes . Karlsruhe Institute of Technology (Jul 14 2011, advisor: Ralf Reussner ). Abstract .

Ridi Ferdiana . An extreme programming approach for global software development . Universitas Gadjah Mada (Oct 26 2011, advisor: Lukito Edi Nughroho and Paulus Insap Santosa and Ahmad Ashari). Abstract .

Yi Huang . Contract-based Synchronization of Multi-threaded Java Programs . Michigan State University (Dec 16 2011, advisor: Laura Dillon ). Abstract .

Rahul Purandare . Exploiting Program and Property Structure for Efficient Runtime Monitoring . University of Nebraska (May 6 2011, advisor: Matthew B. Dwyer ). Abstract .

Jiangfan Shi . Use of constraint solving for testing software product lines . University of Nebraska (Dec 2011, advisor: Matthew B. Dwyer and Myra B. Cohen). Abstract .

Neil Harrison . Improving quality attributes of software systems through software architecture patterns . University of Groningen (Apr 18 2011, advisor: Paris Avgeriou ). Abstract .

Trosky Boris Callo Arias . Execution architecture views for evolving software-intensive systems . University of Groningen (Jun 17 2011, advisor: Paris Avgeriou and Pierre America). Abstract .

Philip Langer . Adaptable Model Versioning based on Model Transformation By Demonstration . Vienna University of Technology (Dec 21 2011, advisor: Gerti Kappel ). Abstract .

Klaas-Jan Stol . Supporting Product Development with Software from the Bazaar . University of Limerick (Dec 1 2011, advisor: Muhammad Ali Babar and Paris Avgeriou and Brian Fitzgerald). Abstract .

Ziyad Alshaikh . Notes on the Synthesis of Context: a novel approach to model context in software engineering . Australian National University (Feb 2011, advisor: Clive Boughton ). Abstract .

Kiev Gama . Towards Dependable Dynamic Component-based Application . Universite de Grenoble (Oct 6 2011, advisor: Didier Donsez ). Abstract .

Arif Raza . A Usability Maturity Model for Open Source Software . University of Western Ontario (Jun 15 2011, advisor: Luiz Fernando Capretz ). Abstract .

Hugo Sereno Ferreira . Adaptive Object-Modeling: Patterns, Tools and Applications . University of Porto, Faculty of Engineering (May 27 2011, advisor: Ademar Aguiar ). Abstract .

Varun Gupta . Object-Oriented Static and Dynamic Software Metrics for Design and Complexity . National Institute of Technology, Kurukshetra, India (Mar 31 2011, advisor: Jitender Kumar Chhabra ). Abstract .

Soo Ling Lim . Social Networks and Collaborative Filtering for Large-Scale Requirements Elicitation . University of New South Wales (Feb 3 2011, advisor: Anthony Finkelstein ). Abstract .

William Tribbey . Construction and analysis of vector space models for use in aspect mining . Nova Southeastern University (Apr 2011, advisor: Frank Mitropoulos ). Abstract .

Andrew Forward . The Convergence of Modeling and Programming: Facilitating the Representation of Attributes and Associations in the Umple Model-Oriented Programming Language . University of Ottawa (Oct 25 2010, advisor: Timothy C. Lethbridge ). Abstract .

Paul Ralph . Fundamentals of Software Design Science . University of British Columbia (Oct 2010, advisor: Yair Wand ). Abstract .

Antonio Miguel Rosado da Cruz . Automatic Generation of User Interfaces from Rigorous Domain and Use Case Models . Universidade do Porto (Sep 17 2010, advisor: Joao Pascoal Faria ). Abstract .

Vinicius Garcia . RiSE Reference Model for Software Reuse Adoption in Brazilian Companies . Federal University of Pernambuco (Feb 26 2010, advisor: Silvio Romero de Lemos Meira and Eduardo Santana de Almeida). Abstract .

Foutse Khomh . Patterns and Quality of Object-oriented Software Systems . University of Montreal (Aug 31 2010, advisor: Yann-Gael Gueheneuc ). Abstract .

Marco D'Ambros . On the Evolution of Source Code and Software Defects . University of Lugano (Oct 19 2010, advisor: Michele Lanza ). Abstract .

Suresh Thummalapenta . Improving Software Productivity and Quality via Mining Source Code . North Carolina State University (Nov 23 2010, advisor: Tao Xie ). Abstract .

Juncao Li . An Automata-Theoretic Approach to Hardware/Software Co-verification . Portland State University (Dec 10 2010, advisor: Fei Xie ). Abstract .

Paolo Di Benedetto . A Framework For Context Aware Adaptable Software Applications And Services . Università degli Studi di L'Aquila (Jul 9 2010, advisor: Paola Inverardi ). Abstract .

Toby Myers . The Foundations for a Scaleable Methodology for Systems Design . Griffith University (Nov 26 2010, advisor: R. Geoff Dromey ). Abstract .

Lukas Renggli . Dynamic Language Embedding With Homogeneous Tool Support . University of Bern (Oct 20 2010, advisor: Oscar Nierstrasz ). Abstract .

Rubén Mondéjar . Distributed AOP Middleware for Large-Scale Scenarios . Universitat Rovira i Virgili (Apr 29 2010, advisor: Pedro García-López ). Abstract .

David Röthlisberger . Augmenting IDEs with Runtime Information for Software Maintenance . University of Bern (Jun 4 2010, advisor: Oscar Nierstrasz ). Abstract .

Rangaswamy Selvarani . Design Quality Metrics in Object Oriented Software System . Jawaharlal Nehru Technological University, Hyderabad (Feb 8 2010, advisor: T.R. Gopalakrishnan Nair ). Abstract .

Bonita Sharif . Empirical Assessment of UML Class Diagram Layouts based on Architectural Importance . Kent State University (May 13 2010, advisor: Jonathan I. Maletic ). Abstract .

Michel dos Santos Soares . Architecture-Driven Integration of Modeling Languages for the Design of Software-Intensive Systems . Delft University of Technology (Feb 2010, advisor: Alexander Verbraeck ). Abstract .

Angshu Maan Sen . Multiple Perspectives of Elicitation of Requirements in Goal Oriented Requirements Engineering: An Agile Technique of Elicitation . Assam University, Silchar (May 13 2010, advisor: K. Hemachandran ). Abstract .

Patricia Deshane . Managing the Copy-and-Paste Programming Practice . Clarkson University (Apr 30, 2010, advisor: Daqing Hou ). Abstract .

Christian Murphy . Metamorphic Testing Techniques to Detect Defects in Applications without Test Oracles . Columbia University (May 2010, advisor: Gail Kaiser ). Abstract .

Remco de Boer . Architectural Knowledge Management: Supporting Architects and Auditors . VU University Amsterdam (Oct 5 2009, advisor: Hans van Vliet and Patricia Lago). Abstract .

Laura-Cecilia Rodriguez-Martinez . Design and Evaluation of a Software Systems Life Cycle Process Model in the Service-oriented Software Engineering Paradigm . Autonomous University of Aguascalientes (Nov 12 2009, advisor: Manuel Mora ). Abstract .

Angela Lozano . Assessing the effect of source code characteristics on changeability . Open University (Dec 17 2009, advisor: Michel Wermelinger and Bashar Nuseibeh). Abstract .

Mircea Lungu . Reverse Engineering Software Ecosystems . University of Lugano (Oct 2009, advisor: Michele Lanza ). Abstract .

Jochen Quante . Dynamic Object Process Graphs . University of Bremen, Germany (Jan 30, 2009, advisor: Rainer Koschke ). Abstract .

Rui Abreu . Spectrum-based Fault Localization in Embedded Software . Delft University of Technology (2009, advisor: Arjan van Gemund ). Abstract .

Bruno Cabral . A Transactional Model for Automatic Exception Handling . University of Coimbra (Nov 26 2009, advisor: Paulo Marques ). Abstract .

Mohammad Raunak . Resource Management In Complex and Dynamic Environments . University of Massachusetts Amherst (Sep 2009, advisor: Leon J. Osterweil ). Abstract .

Joerg Rech . Context-sensitive Diagnosis of Quality Defects in Object-oriented Software Systems . University of Hildesheim (2009, advisor: Klaus-Dieter Althoff ). Abstract .

Yingfei Xiong . A Language-based Approach to Model Synchronization in Software Engineering . The University of Tokyo (Sep 2009, advisor: Zhenjiang Hu and Masato Takeichi). Abstract .

Justin Erenkrantz . Computational REST: A New Model for Decentralized, Internet-Scale Applications . University of California, Irvine (Sep 2009, advisor: Richard N. Taylor ). Abstract .

Donna Malayeri . Coding Without Your Crystal Ball: Unanticipated Object-Oriented Reuse . Carnegie Mellon University (Dec 2009, advisor: Jonathan Aldrich ). Abstract .

Georgios Gousios . Tools and Methods for Large Scale Software Engineering Research . Athens University of Economics and Business (Apr 7 2009, advisor: Diomidis Spinellis ). Abstract .

Eduardo Figueiredo . Concern-Oriented Heuristic Assessment of Design Stability . Lancaster University (Oct 23 2009, advisor: Jon Whittle and Alessandro Garcia). Abstract .

Lingxiao Jiang . Scalable Detection of Similar Code: Techniques and Applications . University of California, Davis (2009, advisor: Zhendong Su ). Abstract .

Travis Breaux . Legal Requirements Acquisition for the Specification of Legally Compliant Information Systems . North Carolina State University (Apr 2009, advisor: Annie Anton ). Abstract .

Eric Bodden . Verifying finite-state properties of large-scale programs . McGill University (Dec 28 2009, advisor: Laurie Hendren ). Abstract .

Sayyed Maisikeli . Aspect Mining Using Self-Organizing Maps With Method Level Dynamic Software Metrics as Input Vectors . Nova Southeastern University (Jun 2009, advisor: Frank Mitropoulos ). Abstract .

Adam Kiezun . Effective Software Testing with a String-Constraint Solver . MIT (2009, advisor: Michael D. Ernst ). Abstract .

Dennis Jeffrey . Dynamic State Alteration Techniques for Automatically Locating Software Errors . The University of California, Riverside (Aug 2009, advisor: Rajiv Gupta ). Abstract .

Chanchal Roy . Detection and Analysis of Near-Miss Software Clones . Queen's University at Kingston (Aug 31 2009, advisor: James R. Cordy ). Abstract .

Roberto Silva Filho . An Empirical Study of Publish/Subscribe Middleware Versatility . University of California, Irvine (Aug 2009, advisor: David F. Redmiles ). Abstract .

Suzette Person . Differential Symbolic Execution . University of Nebraska - Lincoln (Aug 2009, advisor: Matthew B. Dwyer ). Abstract .

Eugen Nistor . Concern-Driven Software Evolution . University of California, Irvine (2009, advisor: Andre van der Hoek ). Abstract .

Maria Karen Cortes-Verdin . AOPLA: Aspect-Oriented Product Line Architecture . CIMAT A.C. (Center for Research in Mathematics), Mexico (Jun 5 2009, advisor: Cuauhtemoc Lemus Olalde ). Abstract .

Kevin Bierhoff . API Protocol Compliance in Object-Oriented Software . Carnegie Mellon University (May 17 2009, advisor: Jonathan Aldrich ). Abstract .

Abbas Heydarnoori . Supporting Framework Use via Automatically Extracted Concept-Implementation Templates . University of Waterloo (Apr 27 2009, advisor: Krzysztof Czarnecki ). Abstract .

Mithun Acharya . Mining API Specifications from Source Code for Improving Software Reliability . North Carolina State University (Apr 27 2009, advisor: Tao Xie ). Abstract .

Khanh Hoa Dam . Supporting Software Evolution in Agent Systems . RMIT University (Mar 4 2009, advisor: Michael Winikoff and Lin Padgham). Abstract .

Nelio Cacho . Supporting Maintainable Exception Handling with Explicit Exception Channels . Lancaster University (Jan 15 2009, advisor: Alessandro Garcia ). Abstract .

Anton Jansen . Architectural design decisions . University of Groningen (Sep 19 2008, advisor: Jan Bosch and Dieter Hammer and Paris Avgeriou). Abstract .

Thomas Zimmermann . Changes and Bugs Mining and Predicting Development Activities . Saarland University (May 26 2008, advisor: Andreas Zeller ). Abstract .

Chithralekha Thanasekaran . Agents with Two-Dimensional Language Autonomy for Task Delegation . Pondicherry University (Aug 12 2008, advisor: S. Kuppuswami ). Abstract .

Lukasz Radlinski . Improved Software Project Risk Assessment Using Bayesian Nets . Queen Mary, University of London (Nov 30 2008, advisor: Norman Fenton ). Abstract .

Till Bay . Hosting distributed software projects: concepts, framework, and the Origo experience . ETH Zurich (Jan 16 2008, advisor: Bertrand Meyer ). Abstract .

Venkatasamy Prasanna Venkatesan . ARMMS- AN Architectural Reference Model for Multilingual Software . Pondicherry University (Aug 12 2008, advisor: S. Kuppuswami ). Abstract .

Oksana Tkachuk . Domain-Specific Environment Generation for Modular Software Model Checking . Kansas State University (Dec 12 2008, advisor: Matthew B. Dwyer ). Abstract .

Israel Herraiz . A statistical examination of the properties and evolution of libre software . Universidad Rey Juan Carlos (Oct 2008, advisor: Jesus M. Gonzalez Barahona and Gregorio Robles). Abstract .

Marc Fisher II . Probing Analysis of Closed Components . University of Nebraska - Lincoln (Aug 2008, advisor: Gregg Rothermel and Sebastian Elbaum). Abstract .

Marco Autili . Synthesis Of Distributed Adaptors To Enforce Temporal Properties Specified Through Graphical Scenarios . Universit� degli Studi dell'Aquila (Apr 2008, advisor: Paola Inverardi ). Abstract .

Romain Robbes . Of Change and Software . University of Lugano (Jan 12 2008, advisor: Michele Lanza ). Abstract .

Miryung Kim . Analyzing and Inferring the Structure of Code Changes . University of Washington (2008, advisor: David Notkin ). Abstract .

Atul Gupta . Unit Testing of Object-Oriented Programs . IIT Kanpur, INDIA (Mar 17 2008, advisor: Dr. Pankaj Jalote ). Abstract .

Haroon Tarawneh . A Proposed Software Process Framework for Internet Development in Small Software Firms . The Arab Academy for Banking and Financial Sciences (2008, advisor: Asim El Sheikh ). Abstract .

Adrian Lienhard . Dynamic Object Flow Analysis . University of Bern, Switzerland (Dec 16 2008, advisor: Oscar Nierstrasz ). Abstract .

Claudio Sant'Anna . On the Modularity of Aspect-Oriented Design: A Concern-Driven Measurement Approach . Pontifical Catholic University of Rio de Janeiro (PUC-Rio) (Apr 2008, advisor: Carlos Lucena and Alessandro Garcia). Abstract .

Faizan Javed . Techniques for Context-Free Grammar Induction and Applications . University of Alabama at Birmingham (May 3 2008, advisor: Barrett R. Bryant ). Abstract .

Beat Fluri . Change Distilling - Enriching software evolution analysis with fine-grained source code change histories . University of Zurich (Oct 2008, advisor: Harald C. Gall ). Abstract .

Suman Roychoudhury . Genaweave: A Generic Aspect Weaver Framework Based On Model-Driven Program Transformation . University of Alabama at Birmingham (Aug 9 2008, advisor: Jeff Gray ). Abstract .

Sebastian Gonzalez . Programming in Ambience: Gearing Up for Dynamic Adaptation to Context . Universit� catholique de Louvain (Oct 24 2008, advisor: Prof. Kim Mens ). Abstract .

Annabella Loconsole . Definition and validation of requirements management measures . Ume� University (Jan 25 2008, advisor: Jurgen Borstler ). Abstract .

Bram Adams . Co-Evolution of Source Code and the Build System: Impact on the Introduction of AOSD in Legacy Systems . Ghent University (May 15 2008, advisor: Herman Tromp ). Abstract .

Tom Van Custem . Ambient References: Object Designation in Mobile ad hoc Networks . Vrije Universiteit Brussel (May 23 2008, advisor: Wolfgang De Meuter ). Abstract .

K.C. Shashidhar . Efficient Automatic Verification of Loop and Data-flow Transformations by Functional Equivalence Checking . Katholieke Universiteit Leuven (May 23 2008, advisor: Maurice Bruynooghe and Francky Catthoor). Abstract .

Christoph Csallner . Combining over- and under-approximating program analyses for automatic software testing . Georgia Tech (Aug 1 2008, advisor: Yannis Smaragdakis ). Abstract .

Michal Antkiewicz . Framework-Specific Modeling Languages . University of Waterloo (Sep 12 2008, advisor: Krzysztof Czarnecki ). Abstract .

Dennis Wagelaar . Platform Ontologies for the Model-Driven Architecture . Vrije Universiteit Brussel (Apr 18 2008, advisor: Viviane Jonckers ). Abstract .

Eugenio Capra . Software Design Quality and Development Effort: an Empirical Study on the Role of Governance in Open Source Projects . Politecnico di Milano (May 14 2008, advisor: Chiara Francalanci ). Abstract .

Oliver Hummel . Semantic Component Retrieval in Software Engineering . University of Mannheim (Mar 11 2008, advisor: Colin Atkinson and Ivica Crnkovic). Abstract .

Vahe Poladian . Tailoring Configuration to User's Tasks under Uncertainty . Carnegie Mellon University (May 2008, advisor: David Garland and Mary Shaw). Abstract .

Jie Hu . Realistic Models for Scheduling Tasks on Network Nodes . University of California, Irvine (Mar 1 2008, advisor: Raymond Klefstad ). Abstract .

Scott McMaster . A Context-Sensitive Coverage Criterion for Test Suite Reduction . University of Maryland, College Park (May 23 2008, advisor: Atif Memon ). Abstract .

Shang-Wen Cheng . Cost-effective, Software Architecture-based Self-adaptation . Carnegie Mellon University (May 18 2008, advisor: David Garlan ). Abstract .

Dean Sutherland . The Code of Many Colors: Semi-automated Reasoning About Multi-Thread Policy for Java . Carnegie Mellon University (May 2008, advisor: William L. Scherlis ). Abstract .

Yuriy Brun . Self-Assembly for Discreet, Fault-Tolerant, and Scalable Computation on Internet-Sized Distributed Networks . University of Southern California (May 2008, advisor: Nenad Medvidovic ). Abstract .

Erkki Laitila . Symbolic Analysis and Atomistic Model as a Basis for a Program Comprehension Methodology . Jyv�skyl� University, Finland (Aug 5 2008, advisor: Pekka Neittaanmaki ). Abstract .

Genaina Nunes Rodrigues . A Model Driven Approach for Software Reliability Prediction . University College London (Feb 8 2008, advisor: David S. Rosenblum ). Abstract .

Tiago Massoni . A Model-Driven Approach to Formal Refactoring . Federal University of Pernambuco (Mar 07 2008, advisor: Paulo Borba ). Abstract .

Charles B. Haley . Arguing Security: A Framework for Analyzing Security Requirements . The Open University (Mar 2007, advisor: Bashar Nuseibeh ). Abstract .

Diego Garbervetsky . Parametric specifications of dynamic memory utilization . Universidad de Buenos Aires (Nov 15 2007, advisor: Victor Braberman and Sergio Yovine). Abstract .

Davide Di Ruscio . Specification of Model Transformation and Weaving in Model Driven Engineering . University of L'Aquila (2007, advisor: Alfonso Pierantonio ). Abstract .

Jim Steel . Typage de Modèles . Université de Rennes 1 (Apr 23 2007, advisor: Jean-Marc Jézéquel ). Abstract .

Gerardo Padilla . A Test Profile Analysis Framework for Assessing the Reliability of Software Component Assemblies . Research Center in Mathematics, Mexico (2007, advisor: Carlos Montes de Oca ). Abstract .

Joel Huselius . Reverse Engineering of Legacy Real-Time Systems: An Automated Approach Based on Execution-Time Recording . M�lardalens University (Jun 14 2007, advisor: Hans Hansson ). Abstract .

Jiang Zheng . In Regression Testing without Code . North Carolina State University (Aug 2007, advisor: Laurie Williams ). Abstract .

Emily Navarro . SimSE: A Software Engineering Simulation Environment for Software Process Education . University of California, Irvine (2007, advisor: Andre van der Hoek ). Abstract .

Charles Pairot . Design And Implementation Of A Wide-Area Middleware Infrastructure For The Development Of Distributed Applications In Structured Peer-To-Peer Environments . Universidad de Murcia (Jul 6 2007, advisor: Pedro Garcia-Lopez ). Abstract .

Anita Sarma . Palant�r: Enhancing Configuration Management Systems with Workspace Awareness to Detect and Resolve Emerging Conflicts . University of California, Irvine (Dec 2007, advisor: Andre van der Hoek ). Abstract .

Xiaoqing Wu . Component-Based Language Implementation With Object-Oriented Syntax and Aspect-Oriented Semantics . University of Alabama at Birmingham (May 2007, advisor: Barrett R. Bryant ). Abstract .

Shih-Hsi Liu . QOSPL: A Quality of Service-Driven Software Product Line Engineering Framework for Design and Analysis of Component-Based Distributed Real-Time and Embedded Systems . University of Alabama at Birmingham (2007, advisor: Barrett R. Bryant ). Abstract .

Yuehua Lin . A Model Transformation Approach to Automated Model Evolution . University of Alabama at Birmingham (Aug 2007, advisor: Jeff Gray ). Abstract .

Andy Kellens . Maintaining causality between design regularities and source code . Vrije Universiteit Brussel (2007, advisor: Theo D'Hondt ). Abstract .

Davide Falessi . A Toolbox for Software Architecture Design . University of Rome TorVergata (Dec 14 2007, advisor: Giovanni Cantone ). Abstract .

Lorenz Froihofer . Middleware Support for Adaptive Dependability through Explicit Runtime Integrity Constraints . Vienna University of Technology (Nov 14 2007, advisor: Mehdi Jazayeri ). Abstract .

Ana Belen Barragans Martinez . Formal Methodology for Specifying Software Systems in Multi-Perspective Environments . University of Vigo (Sep 7 2007, advisor: Jose J. Pazos Arias ). Abstract .

Taweesup Apiwattanapong . Identifying testing requirements for modified software . Georgia Institute of Technology (Aug 2007, advisor: Mary Jean Harrold ). Abstract .

Tallam Sriraman . Fault Location and Avoidance in Long-Running Multithreaded Applications . University of Arizona (Oct 2007, advisor: Rajiv Gupta ). Abstract .

Chris Mattmann . Software Connectors for Highly Distributed and Voluminous Data-Intensive Systems . University of Southern California (Jul 2007, advisor: Nenad Medvidovic ). Abstract .

Jorge Luis Ortega-Arjona . Architectural Patterns for Parallel Programming. Models for Performance Estimation . University College London (May 31 2007, advisor: David S. Rosenblum ). Abstract .

Carla Taciana Lima Lourenco Silva . Separating Crosscutting Concerns in Agent Oriented Detailed Design: The Social Patterns Case . Universidade Federal de Pernambuco (Feb 2007, advisor: Jaelson Castro ). Abstract .

Eduardo Almeida . RiDE: The RiSE Process for Domain Engineering . Federal University of Pernambuco (May 2007, advisor: Silvio Romero de Lemos Meira ). Abstract .

Fernando Schapachnik . Timed Automata Model Checking in Monoprocessor and Multiprocessor Architectures . University of Buenos Aires (Oct 2007, advisor: Victor Braberman ). Abstract .

Hyunsook Do . Accounting for Context and Lifetime Factors: A New Approach for Evaluating Regression Testing Techniques . University of Nebraska, Lincoln (May 2007, advisor: Gregg Rothermel ). Abstract .

Josh Dehlinger . Incorporating product-line engineering techniques into agent-oriented software engineering for efficiently building safety-critical, multi-agent systems . Iowa State University (Aug 2007, advisor: Robyn R. Lutz ). Abstract .

David Shepherd . Natural Language Program Analysis: Combining Natural Language Processing and Program Analysis to Improve Software Maintenance Tools . University of Delaware (Aug 2007, advisor: Lori Pollock and K. Vijay-Shanker). Abstract .

Arun Mukhija . CASA- A Framework for Dynamically Adaptive Applications . University of Zurich (Dec 2007, advisor: Martin Glinz ). Abstract .

Jeremy Bradbury . Using Program Mutation for the Empirical Assessment of Fault Detection Techniques: A Comparison of Concurrency Testing and Model Checking . Queen's University (Oct 2007, advisor: and and Juergen Dingel). Abstract .

James Skene . Language Support for Service-Level Agreements for Application-Service Provision . University of London (Nov 2007, advisor: Wolfgang Emmerich ). Abstract .

Jacek Ratzinger . sPACE - Software Project Assessment in the Course of Evolution . Vienna University of Technology (2007, advisor: Harald Gall ). Abstract .

Nicola Zannone . A Requirements Engineering Methodology for Trust, Security, and Privacy . University of Trento (2007, advisor: Fabio Massacci ). Abstract .

Vander Alves . Implementing Software Product Line Adoption Strategies . Federal University of Pernambuco (Mar 2007, advisor: Paulo Borba ). Abstract .

Christian Lange . Assessing and Improving the Quality of Modeling - A Series of Empirical Studies about the UML . Eindhoven University of Technology (Oct 2007, advisor: Serge Demeyer and Mark van den Brand). Abstract .

Michael Fischer . EvoZilla - Longitudinal Evolution Analysis of Large Scale Software Systems . Technical University of Vienna (May 2007, advisor: Harald Gall ). Abstract .

Nathaniel Nystrom . Programming Languages for Scalable Software Extension and Composition . Cornell University (Jan 2007, advisor: Andrew Myers ). Abstract .

Manish Anand . Collaborative Power Management: Piercing Abstraction Barriers for Fast and Energy-Efficient Pervasive Data Access . University of Michigan (Jul 2007, advisor: Jason Flinn ). Abstract .

George Fairbanks . Design Fragments . Carnegie Mellon University (May 2007, advisor: David Garlan and Bill Scherlis). Abstract .

Sara Sprenkle . Strategies for Automatically Exposing Faults in Web Applications . University of Delaware (Aug 2007, advisor: Lori Pollock ). Abstract .

Stefan Wagner . Cost-Optimisation of Analytical Software Quality Assurance . Technische Universit�t M�nchen (Apr 2007, advisor: Manfred Broy ). Abstract .

Cesar Sanchez . Deadlock Avoidance for Distributed Real-Time and Embedded Systems . Stanford University (Jun 2007, advisor: Zohar Manna ). Abstract .

Teresa Mallardo . The Role Of Software Requirements Inspections In Distributed Development . University of Bari (May 2007, advisor: Filippo Lanubile ). Abstract .

Fabio Calefato . Supporting Synchronous Communication In Distributed Software Teams . University of Bari (May 2007, advisor: Filippo Lanubile ). Abstract .

Ganesh Pai . Probabilistic software quality analysis . University of Virginia (May 2007, advisor: Joanne Bechta Dugan ). Abstract .

Rakeshkumar Shukla . A Framework for Statistical Testing of Software Components . The University of Queensland (May 2007, advisor: Paul Strooper ). Abstract .

Andrew Phillips . Specifying and Implementing Secure Mobile Applications in the Channel Ambient System . Imperial College (Oct 2006, advisor: Bashar Nuseibeh ). Abstract .

Venkatesh-Prasad Ranganath . Scalable and Accurate Approaches to Program Dependence Analysis, Slicing, and Verification of Concurrent Object Oriented Programs . Kansas State University (Dec 2006, advisor: John Hatcliff ). Abstract .

Wei Zhao . Model-Driven Integration of Software and Service Components . University of Alabama at Birmingham (Dec 15 2006, advisor: Barret R. Bryant ). Abstract .

Naveed Arshad . A Planning-Based Approach to Failure Recovery in Distributed Systems . University of Colorado at Boulder (May 2006, advisor: Alexander L. Wolf and Dennis M. Heimbigner). Abstract .

Ingo Stuermer . Systematic Testing of Code Generation Tools - A Test Suite-oriented Approach for Safeguarding Model-based Code Generation . Technical University of Berlin (Germany) (Feb 16 2006, advisor: Prof. Dr. Peter Pepper ). Abstract .

Matthew Rutherford . Adequate System-Level Testing of Distributed Systems . University of Colorado at Boulder (Aug 2006, advisor: Alexander L. Wolf ). Abstract .

Leonardo Murta . Configuration Management Applied to Component Based Development . Federal University of Rio de Janeiro (Oct 2006, advisor: Claudia Maria Lima Werner ). Abstract .

John Fiskio-Lasseter . Specification and Solution of Multisource Data Flow Problems . University of Oregon (Dec 2006, advisor: Michal Young ). Abstract .

Davor Svetinovic . Increasing the Semantic Similarity of Object-Oriented Domain Models by Performing Behavioral Analysis First . University of Waterloo, BC, Canada (2006, advisor: Daniel M. Berry and Michael W. Godfrey). Abstract .

Konrad Sascha . Model-driven Development and Analysis of High Assurance Systems . Michigan State University (Sep 2006, advisor: Betty H.C. Cheng ). Abstract .

Dirk Deridder . A Concept-Centric Environment for Software Evolution in an Agile Context . Vrije Universiteit Brussel (Jun 2006, advisor: Theo D'Hondt ). Abstract .

Vahid Garousi . Traffic-aware Stress Testing of Distributed Real-Time Systems based on UML Models using Genetic Algorithms . Carleton University, Canada (Sep 2006, advisor: Prof. Lionel Briand and Prof. Yvan Labiche). Abstract .

Yanyan Wang . Automating Experimentation with Distributed Systems Using Generative Techniques . University of Colorado at Boulder (Aug 2006, advisor: Antonio Carzaniga and Alexander L. Wolf). Abstract .

Roshanak Roshandel . Calculating Architectural Reliability via Modeling and Analysis . University of Southern California (2006, advisor: Nenad Medvidovic ). Abstract .

David Janzen . An Empirical Evaluation of the Impact of Test-Driven Development on Software Quality . University of Kansas (Dec 2006, advisor: Hossein Saiedian ). Abstract .

Holger Kienle . Building reverse engineering tools with software components . University of Victoria, BC, Canada (Nov 2006, advisor: Hausi Muller ). Abstract .

Benjamin Livshits . Improving Software Security with Precise Static and Runtime Analysis . Stanford University (Dec 2006, advisor: Monica Lam ). Abstract .

Andy Zaidman . Scalability Solutions for Program Comprehension Through Dynamic Analysis . University of Antwerp (Sep 6 2006, advisor: Serge Demeyer ). Abstract .

Danny Weyns . An Architecture-Centric Approach for Software Engineering with Situated Multiagent Systems . Katholieke Universiteit Leuven, Belgium (Oct 11 2006, advisor: Tom Holvoet ). Abstract .

Sunghun Kim . Adaptive Bug Prediction By Analyzing Software History . University of California, Santa Cruz (Sep 1 2006, advisor: Jim Whitehead ). Abstract .

Xiangyu Zhang . Fault Location Via Precise Dynamic Slicing . University of Arizona (Sep 30 2006, advisor: Rajiv Gupta ). Abstract .

Qing Xie . Developing Cost-Effective Model-Based Techniques for GUI Testing . University of Maryland (Aug 28 2006, advisor: Atif Memon ). Abstract .

Lorin Hochstein . Development of an Empirical Approach to Building Domain-Specific Knowledge Applied to High-End Computing . University of Maryland (Jul 2006, advisor: Vic Basili ). Abstract .

Marvin Early . Improving the success rate of software development projects . Northcentral University (2006, advisor: Amiram Neiman ). Abstract .

Benjamin Tyler . Specification and Runtime Monitoring of Object-Oriented Systems . The Ohio State University (Jun 11 2006, advisor: Neelam Soundarajan ). Abstract .

Alexandre Bergel . Classboxes: Controlling Visibility of Class Extensions . Software Composition Group, University of Bern (Nov 21 2006, advisor: Staphane Ducasse ). Abstract .

Mauro Caporuscio . Design, Development and Analysis of Distributed Event-Based Systems . University of LAquila (2006, advisor: Paola Inverardi ). Abstract .

Leonardo Mostarda . Distributed Intrusion Detection Systems for Secure Software Architectures . university of LAquila (2006, advisor: Paola Inverardi ). Abstract .

Hans Sassenburg . Design of a Methodology to Support Software Release Decisions: Do the Numbers Really Matter? . University of Groningen (Jun 1 2006, advisor: Egon Berghout ). Abstract .

Curtis Clifton . A design discipline and language features for modular reasoning in aspect-oriented programs . Iowa State University (Jul 2005, advisor: Gary T. Leavens ). Abstract .

Eli Tilevich . Software Tools for Separating Distribution Concerns . Georgia Tech (Dec 17 2005, advisor: Dr. Yannis Smaragdakis ). Abstract .

Qingfeng He . Requirements-Based Access Control Analysis and Policy Specification . North Carolina State University (Dec 14 2005, advisor: Annie I. Anton ). Abstract .

Christian Nentwich . Managing the Consistency of Distributed Documents . University of London (2005, advisor: Wolfgang Emmerich ). Abstract .

James Law . Path-Based Dynamic Impact Analysis . Oregon State University (Jul 13 2005, advisor: Gregg Rothermel ). Abstract .

Ilya Shlyakhter . Declarative Symbolic Pure-Logic Model Checking . Massachusetts Institute of Technology (Feb 2005, advisor: Daniel Jackson ). Abstract .

John Clements . Portable and High-level Access to the Stack with Continuation Marks . Northeastern University (2005, advisor: Matthias Felleisen ). Abstract .

Joao Pedro Sousa . Scaling Task Management in Space and Time: Reducing User Overhead in Ubiquitous-Computing Environments . Carnegie Mellon University (May 2005, advisor: David Garlan ). Abstract .

Aysu Betin Can . Design for Verification for Concurrent and Distributed Programs . University of California Santa Barbara (2005, advisor: Tevfik Bultan ). Abstract .

Gabriela Arevalo . High Level Views in Object-Oriented Systems using Formal Concept Analysis . University of Bern (Jan 14 2005, advisor: Oscar Nierstrasz ). Abstract .

Vibha Sazawal . Connecting Software Design Principles to Source Code for Improved Ease of Change . University of Washington (Dec 2005, advisor: David Notkin ). Abstract .

Paul Williams . CuPIDS: Increasing Information System Security Through the Use of Dedicated Co-processing . Purdue University (Aug 2005, advisor: Eugene Spafford ). Abstract .

Di Marco Antinisca . Model-based Performance Analysis of Software Architectures . University dell Aquila (Jun 2005, advisor: Paola Inverardi ). Abstract .

Tivoli Massimo . An architectural approach to the automatic composition and adaptation of software components . Universita dell Aquila (Jun 6 2005, advisor: Paola Inverardi ). Abstract .

Pelliccione Patrizio . Charmy: A framework for Software Architecture Specification and Analysis . Univesita dell Aquila, Italy (2005, advisor: Paola Inverardi ). Abstract .

Tao Xie . Improving Effectiveness of Automated Software Testing in the Absence of Specifications . University of Washington (2005, advisor: David Notkin ). Abstract .

Martin Pinzger . ArchView - Analyzing Evolutionary Aspects of Complex Software Systems . University of Technology, Vienna (2005, advisor: Harald Gall ). Abstract .

Gerald Reif . WEESA - Web Engineering for Semantic Web Applications . University of Technology, Vienna (2005, advisor: Harald Gall ). Abstract .

Martin Robillard . Representing Concerns in Source Code . University of British Columbia (2004, advisor: Gail Murphy ). Abstract .

Robby  . Domain-specic Software Model Checking . Kansas State University (Aug 2004, advisor: John Hatcliff and Matthew B. Dwyer). Abstract .

Laura Campbell . Enabling Integrative Analyses and Refinement of Object-Oriented Models with Special Emphasis on High-Assurance Embedded Systems . Michigan State University (2004, advisor: Betty H.C. Cheng ). Abstract .

Jin Dean . Ontological Adaptive Integration of Reverse Engineering Tools . Queen's University (Aug 2004, advisor: James R. Cordy ). Abstract .

Tuba Yavuz-Kahveci Yavuz-Kahveci . Specification and Automated Verification of Concurrent Software Systems . University of California, Santa Barbara (Sep 2004, advisor: Tevfik Bultan ). Abstract .

Michael Collard . Meta-Differencing: An Infrastructure for Source Code Difference Analysis . Kent State University (Aug 21 2004, advisor: Jonathan I. Maletic ). Abstract .

Joerg P. Wadsack . Data-oriented Reengineering . University of Paderborn (Jul 07 2004, advisor: Wilhelm Schafer ). Abstract .

Nathan Ryan . Using Event-Based Translation to Support Dynamic Protocol Evolution . University of Colorado, Boulder (2004, advisor: Alexander L. Wolf ). Abstract .

Christine Julien . Supporting Context-Aware Application Development in Ad Hoc Mobile Networks . Washington University in Saint Louis (2004, advisor: Gruia-Catalin Roman ). Abstract .

Marija Mikic-Rakic . Software Architectural Support for Disconnected Operation in Distributed Environments . University of Southern California (2004, advisor: Nenad Medvidovic ). Abstract .

Nigamanth Sridhar . Dynamically Reconfigurable Parameterized Components . The Ohio State University (2004, advisor: Paolo A.G. Sivilotti and Bruce W. Weide). Abstract .

Tuba Yavuz-Kahveci . Specification and Automated Verification of Concurrent Software Systems . University of California, Santa Barbara (Sep 2004, advisor: Tevfik Bultan ). Abstract .

Ranjit Jhala . Program Verification by Lazy Abstraction . UC Berkeley (Dec 12 2004, advisor: Thomas A. Henzinger ). Abstract .

Sergio Soares . An Aspect-Oriented Implementation Method . Centro de Informatica, UFPE Brazil (Oct 2004, advisor: Paulo Borba ). Abstract .

Suan Hsi Yong . Runtime Monitoring of C Programs for Security and Correctness . University of Wisconsin-Madison (Aug 2004, advisor: Susan Horwitz ). Abstract .

Christian Luer . User-Centric Deployment Support in a Component Platform . University of California, Irvine (Aug 2004, advisor: Andre van der Hoek ). Abstract .

Ben Liblit . Cooperative Bug Isolation . University of California, Berkeley (2004, advisor: Alex Aiken ). Abstract .

Gregory Kulczycki . Direct Reasoning . Clemson University (2004, advisor: Murali Sitaraman ). Abstract .

Nikunj Mehta . Composing Style-Based Software Architectures From Architectural Primitives . University of Southern California (2004, advisor: Nenad Medvidovic ). Abstract .

Scott Pike . Distributed Resource Allocation with Scalable Crash Containment . The Ohio State University (2004, advisor: Paul Sivilotti ). Abstract .

Daqing Hou . FCL: Automatically Detecting Structural Errors in Framework-Based Development . University of Alberta (Dec 19 2003, advisor: H. James Hoover ). Abstract .

Yoonsik Cheon . A Runtime Assertion Checker for the Java Modeling Language . Iowa State University (Apr 2003, advisor: Gary T. Leavens ). Abstract .

Jeffrey Carver . The Impact of Background and Experience on Software Inspections . University of Maryland (2003, advisor: Victor R. Basili ). Abstract .

Aaron Greenhouse . A Programmer-Oriented Approach to Safe Concurrency . Carnegie Mellon University (2003, advisor: William L. Scherlis ). Abstract .

Rohit Khare . Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems . University of California, Irvine (2003, advisor: Richard N. Taylor ). Abstract .

Joost Visser . Generic Traversal over Typed Source Code Representations . University of Amsterdam (Feb 2003, advisor: Paul Klint ). Abstract .

Johannes Mayer . On Quality Improvement of Scientific Software Theory, Methods, and Application in the GeoStoch Development . Ulm University (Jul 2003, advisor: Franz Schweiggert ). Abstract .

Raghavan Komondoor . Automated Duplicated-Code Detection and Procedure Extraction . University of Wisconsin (Aug 2003 and Susan Horwitz). Abstract .

Tahvildari Ladan . Quality-Driven Object-Oriented Software Reengineering Framework . University of Waterloo (Aug 2003, advisor: Kostas Kontogiannis ). Abstract .

Yvonne Coady . Exploring an Aspect-Oriented Approach to Operating System Code . University of British Columbia (Aug 2003, advisor: Gregor Kiczales ). Abstract .

Jonathan Aldrich . Using Types to Enforce Architectural Structure . University of Washington (Aug 22 2003, advisor: Craig Chambers and David Notkin). Abstract .

Michele Lanza . Object-Oriented Reverse Engineering Coarse-grained, Fine-grained, and Evolutionary Software Visualization . University of Berne (May 2003, advisor: Oscar Nierstrasz ). Abstract .

Andrian Marcus . Semantic Driven Program Analysis . Kent State University (Aug 15 2003, advisor: Jonathan Maletic ). Abstract .

Licia Capra . Reflective Mobile Middleware for Context-Aware Applications . University College London (2003, advisor: Wolfgang Emmerich ). Abstract .

Clemens Kerer . XGuide - Concurrent Web Development with Contracts . University of Technology, Vienna (2003, advisor: Mehdi Jazayeri ). Abstract .

Sebastian Uchitel . Incremental Elaboration of Scenario-Based Specifications Using Implied Scenarios . Imperial College, London (2003, advisor: Jeff Kramer ). Abstract .

Atanas Rountev . Dataflow Analysis of Software Fragments . Rutgers University (2002, advisor: Barbara G. Ryder ). Abstract .

Thomas Alspaugh . Scenario Networks and Formalization for Scenario Management . North Carolina State University (2002, advisor: Annie I. Anton ). Abstract .

Tamar Richner-Hanna . Recovering Behavioral Design Views: a Query-Based Approach . University Of Berne, Switzerland (May 17 2002, advisor: Prof. Dr. O. Nierstrasz and Dr. S. Ducasse). Abstract .

Andrew Walenstein . Cognitive Support in Software Engineering Tools: A Distributed Cognition Framework . Simon Fraser University (May 7 2002, advisor: Robert D. Cameron ). Abstract .

Henry Muccini . Software Architecture for Testing, Coordination and Views Model Checking . University of Rome (La Sapienza) (2002, advisor: Paola Inverardi and Antonia Bertolino). Abstract .

Tamar Richner-Hanna . Recovering Behavioral Design Views: a Query-Based Approach . University Of Berne, Switzerland (May 2002, advisor: O. Nierstrasz and S. Ducasse). Abstract .

Irfan Pyarali . Patterns For Providing Real-Time Guarantees In Doc Middleware . Washington University (2002, advisor: Douglas Schmidt ). Abstract .

Radu Marinescu . Measurement and Quality in Object-Oriented Design . Politehnica University of Timisoara (2002, advisor: Gerhard Goos ). Abstract .

Jeff Foster . Type Qualifiers: Lightweight Specifications to Improve Software Quality . University of California, Berkeley (2002, advisor: Alex Aiken ). Abstract .

Gschwind Thomas . Adaptation and Composition Techniques for Component-Based Software Engineering . Technische Universitat Wien (2002, advisor: Mehdi Jazayeri ). Abstract .

Jeff Gray . Aspect-Oriented Domain-Specific Modeling: A Generative Approach Using a Metaweaver Framework . Vanderbilt University (2002, advisor: Stephen Schach ). Abstract .

Engin Kirda . Engineering Device-Independent Web Services: An XML/XSL-based approach to creating flexible and extensible multi-device . Technical University of Vienna, Austria (2002, advisor: Mehdi Jazayeri ). Abstract .

Dietmar Pfahl . An Integrated Approach to Simulation-Based Learning in Support of Strategic and Project Management in Software Organisations . University of Kaiserslautern (Jan 10 2001, advisor: Dieter Rombach ). Abstract .

Isabel Ramos . The Construction of Work Realities Assisted by the Adoption of Computer-Based Systems . University of Minho, Portugal (2001, advisor: Daniel M. Berry ). Abstract .

Sander Tichelaar . Modeling Object-Oriented Software for Reverse Engineering and Refactoring . University of Berne (Dec 14 2001, advisor: Oscar Nierstrasz ). Abstract .

Jurgen Munch . Pattern-based Development of Software Project Plans . University of Kaiserslautern (Nov 2001, advisor: Dieter Rombach ). Abstract .

Atif Memon . A Comprehensive Framework for Testing Graphical User Interfaces . University of Pittsburg (Jul 27 2001, advisor: Mary Lou Soffa ). Abstract .

Corina Pasareanu . Abstraction and Modular Reasoning for the Verification of Software . Kansas State University (Sep 2001, advisor: Matthew Dwyer ). Abstract .

Cecilia Mascolo . Specification, Analysis and Prototyping of Mobile Code Systems . Universita di Bologna (2001, advisor: Paolo Ciancarini ). Abstract .

Oliver Laitenberger . Cost-effective Detection of Software Defects through Perspective-based Inspections . University of Kaiserslautern (2000, advisor: Dieter Rombach and Victor Basili). Abstract .

Kim Mens . Automating architectural conformance checking by means of logic meta programming . Vrije Universiteit Brussel (Oct 23 2000, advisor: Theo D'Hondt ). Abstract .

William McUmber . A Generic Framework for Formalizing Object-Oriented Modeling Notations for Embedded Systems Development . Michigan State University (Feb 2000, advisor: Betty H. C. Cheng ). Abstract .

William Chan . Symbolic model checking for large software specifications . University of Washington (2000, advisor: David Notkin and Richard Anderson). Abstract .

Peyman Oreizy . Open Architecture Software: A Flexible Approach to Decentralized Software Evolution . University of California, Irvine (2000, advisor: Richard N. Taylor ). Abstract .

Roy Fielding . Architectural Styles and the Design of Network-based Software Architectures . University of California, Irvine (2000, advisor: Richard N. Taylor ). Abstract .

Judith Stafford . A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence Analysis . University of Colorado at Boulder (2000, advisor: Alexander L. Wolf ). Abstract .

Jim Whitehead . An Analysis of the Hypertext Versioning Domain . University of California, Irvine (2000, advisor: Richard N. Taylor ). Abstract .

Mario Kupries . Interagent Conntectors in Multiagent System . University of Potsdam (Nov 20 2000, advisor: Prof. Dr. Erika Horn ). Abstract .

Andre van der Hoek . A Reusable, Distributed Repository for Configuration Management Policy Programming . University of California, Irvine (2000, advisor: Alexander L. Wolf ). Abstract .

Ines Jaramillo Clara . Source Level Debugging Techniques and Tools for Optimized Code . University of Pittsburgh (2000, advisor: Rajiv Gupta and Mary Lou Soffa). Abstract .

Zhenyi Jin . A Software Architecture-based Testing Technique . George Mason University (2000, advisor: Jeff Offutt ). Abstract .

Michael Ernst . Dynamically Discovering Likely Program Invariants . University of Washington (Aug 2000, advisor: David Notkin ). Abstract .

Darren Atkinson . The Design and Implementation of Practical and Task-Oriented Whole-Program Analysis Tools . University of California, San Diego (1999, advisor: William G. Griswold ). Abstract .

Richard Hall . Agent-based Software Configuration and Deployment . University of Colorado, Boulder (1999, advisor: Alexander L. Wolf ). Abstract .

Nenad Medvidovic . Architecture-Based Specification-Time Software Evolution . University of California, Irvine (1999, advisor: Richard N. Taylor ). Abstract .

Tom Mens . A Formal Foundation for Object-Oriented Software Evolution . Vrije Universiteit Brussel (Sep 1999, advisor: D'Hondt Theo ). Abstract .

Robert Monroe . Rapid Development of Custom Software Architecture Design Environments . Carnegie Mellon University (1999, advisor: David Garlan ). Abstract .

Michel Wermelinger . Specification of Software Architecture Reconfiguration . New University of Lisbon, Portugal (Dec 16 1999, advisor: Jose Luiz Fiadeiro ). Abstract .

Antonio Carzaniga . Architectures for an Event Notification Service Scalable to Wide-area Networks . Politecnico di Milano, Italy (1999, advisor: Alfonso Fuggetta ). Abstract .

Robert De Line . Resolving packaging mismatch . Carnegie Mellon Univeristy (1999, advisor: Mary Shaw ). Abstract .

Karl Goeschka . Architectures of Web Applications . Vienna University of Technology (1999, advisor: Richard Eier and Mehdi Jazayeri). Abstract .

Manfred Hauswirth . Internet-Scale Push Systems for Information Distribution---Architecture, Components, and Communication . Technical University of Vienna, Austria (1999, advisor: Mehdi Jazayeri ). Abstract .

Goudarzi Kaveh Moazami . Consistency Preserving Dynamic Reconfiguration of Distributed Systems . Imperial College of Science, Technology and Medicine, London (1999, advisor: Jeff Kramer ). Abstract .

Forrest Shull . Developing Techniques for Using Software Documents: A Series of Empirical Studies . University of Maryland, College Park (Dec 1998, advisor: Victor Basili ). Abstract .

Aniruddha Gokhale . Design Principles and Optimizations for High Performance, Real-time CORBA . Washington University in St. Louis (May 1998, advisor: Dr. Douglas C. Schmidt ). Abstract .

Michelle Lee . Change Impact Analysis for Object-Oriented Software . George Mason University (1998, advisor: Jeff Offutt ). Abstract .

Tevfik Bultan . Automated Symbolic Analysis of Reactive Systems . University of Maryland, College Park (1998, advisor: Richard Gerber ). Abstract .

David Fleming . Foundations of Object-Based Specification Design . West Virginia University (1998, advisor: Murali Sitaraman ). Abstract .

William Hefley . Influence In Work Groups A Study of Software Development Teams . Carnegie Mellon University (1998, advisor: Sara Kiesler ). Abstract .

Andrea Zisman . Information Discovery for Interoperable Autonomous Database Systems . University of London, Imperial College of Science, Technology and Medicine (1998, advisor: Jeff Kramer ). Abstract .

Abdelsalam Heddaya . Managing Event-based Replication for Abstract Data Types in Distributed Systems . Harvard University (1988, advisor: Bill Weihl ). Abstract .

Will Tracz . Parameterized Programming in LILEANNA . Stanford University (Jun 1997, advisor: David Luckham ). Abstract .

Manoel Mendonça . An Approach to Improving Existing Measurement Frameworks in Software Development Organizations . University of Maryland (1997, advisor: Victor Basili ). Abstract .

Richard Paige . Formal Method Integration via Heterogeneous Notations . University of Toronto (Nov 1997, advisor: Eric C.R. Hehner ). Abstract .

Jonathan Cook . Process Discovery and Validation through Event Data Analysis . University of Colorado, Boulder (1996, advisor: Alexander L. Wolf ). Abstract .

Kingsum Chow . Supporting Library Interface Changes in Open System Software Evolution . University of Washington (1996, advisor: David Notkin ). Abstract .

Jonathan Maletic . The Software Service Bay: A Knowledge Based Software Maintenance Methodology . Wayne State University (1995, advisor: Robert Reynolds ). Abstract .

Wayne Heym . Computer Program Verification: Improvements for Human Reasoning . The Ohio State University (1995, advisor: Bruce W. Weide ). Abstract .

Matthew Dwyer . FLAVERS: Data Flow Analysis for Verifying Properties of Concurrent Programs . University of Massachusetts - Amherst (1995, advisor: Lori Clarke ). Abstract .

Wolfgang Emmerich . Tool Construction for Process-Centred Software Development Environments based on Object Databases . University of Paderborn (1995, advisor: Wilhelm Schafer ). Abstract .

Tim Wahls . On the execution of high level formal specifications . Iowa State University (1995, advisor: Gary Leavens and Albert Baker). Abstract .

Bashar Nuseibeh . A multi-perspective framework for method integration . Imperial College London (Oct 1994, advisor: Anthony Finkelstein ). Abstract .

Douglas Schmidt . An Object-Oriented Framework for Experimenting with Alternative Process Architectures for Parallelizing Communication Subsystems . University of California, Irvine (1994, advisor: Tatsuya Suda ). Abstract .

Chonchanok Viravan . Enhancing Debugging Technology . Perdue University (1994, advisor: Eugene H. Spafford and Albert Baker). Abstract .

John Grundy . Multiple textual and graphical views for interactive software development environments . University of Auckland, New Zealand (Nov 1993, advisor: John Hosking ). Abstract .

Harald Gall . Object-Mapping and System Transformation for object-oriented Reverse Engineering in COREM . Technical University of Vienna, Austria (1993, advisor: Roland T. Mittermeir ). Abstract .

Earl Waldin . Using multiple representations for efficient communication of abstract values . Massachusetts Institute of Technology, (1992, advisor: William Weihl ). Abstract .

William Griswold . Program Restructuring as an Aid to Software Maintenance . University of Washington (1991, advisor: David Notkin ). Abstract .

Ira Baxter . Transformational Maintenance by Reuse of Design Histories . University of California, Irvine (1990, advisor: Peter Freeman ). Abstract .

Gary Todd Leavens . Verifying Object-Oriented Programs that use Subtypes . Massachusetts Institute of Technology (1989, advisor: William E. Weihl ). Abstract .

Jeff Offutt . Automatic Test Data Generation . Georgia Institute of Technology (1988, advisor: Richard A. DeMillo ). Abstract .

Raymond Klefstad . Maintaining a Uniform User Interface for an Ada Programming Environment . University of California, Irvine (1988, advisor: Richard N. Taylor ). Abstract .

David S. Rosenblum . Design and Verification of Distributed Tasking Supervisors for Concurrent Programming Languages . Stanford University (1988, advisor: David C. Luckham ). Abstract .

Alexander Wolf . Language and Tool Support for Precise Interface Control . University of Massachusetts at Amherst (1985, advisor: Lori A. Clarke and Jack C. Wileden). Abstract .

William Bail . Algorithm Structure Analysis Using Hierarchical Abstract Computers . University of Maryland (1985, advisor: Marvin Zelkowitz ). Abstract .

David Notkin . Interactive Structure-Oriented Computing . Carnegie Mellon University (1984, advisor: Nico Habermann ). Abstract .

Jeanette Wing . A Two-Tiered Approach to Specifying Programs . MIT (1983, advisor: John Guttag ). Abstract .

Richard Taylor . Static Analysis of the Synchronization Structure of Concurrent Programs . University of Colorado, Boulder (1980, advisor: Leon J. Osterweil ). Abstract .

© 2020 ACM SIGSOFT

Home | Sitemap

• Bibliography
• More Referencing guides Blog Automated transliteration Relevant bibliographies by topics
• Automated transliteration
• Relevant bibliographies by topics
• Referencing guides

Dissertations / Theses on the topic 'Business performance measurement'

Create a spot-on reference in apa, mla, chicago, harvard, and other styles.

Consult the top 50 dissertations / theses for your research on the topic 'Business performance measurement.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

Gericke, Conrad G. "Evolutionäres E-Business Performance Measurement : ein Ansatz zur Messung der Electronic Business Performance /." [S.l.] : [s.n.], 2002. http://aleph.unisg.ch/hsgscan/hm00065611.pdf.

Ashley, Simon James. "Business performance measurement : a soft systemic approach." Thesis, City University London, 2001. http://openaccess.city.ac.uk/8282/.

Axelsson, Mattias, and Johan Sonesson. "Business Process Performance Measurement for Rollout Success." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-2920.

Al-Najjar, Mohammed. "Using non-financial data to validate business assumptions in service industry." Thesis, University of Cambridge, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.272724.

KNOBEL, KARIN, and LOVISA LÆSTADIUS. "Big Data in Performance Measurement: : Towards a Framework for Performance Measurement in a Digital and Dynamic Business Climate." Thesis, KTH, Skolan för industriell teknik och management (ITM), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-238689.

Nudurupati, Sai Sudhakar. "Management and business implications of IT-supported performance measurement system." Thesis, University of Strathclyde, 2003. http://oleg.lib.strath.ac.uk:80/R/?func=dbin-jump-full&object_id=21531.

Rigas, John. "A framework to relate business improvement actions and performance measurement." Thesis, Cranfield University, 2001. http://dspace.lib.cranfield.ac.uk/handle/1826/3625.

Grossi, Peter. "A stakeholder-based organisation performance model." Thesis, University of South Wales, 2007. https://pure.southwales.ac.uk/en/studentthesis/a-stakeholderbased-organisation-performance-model(ef0e5e3e-3325-43dd-92e2-e37d605c6e0a).html.

Scholtz, Reginald. "The manufacturing performance measurement matrix model." Thesis, Stellenbosch : Stellenbosch University, 2008. http://hdl.handle.net/10019.1/969.

Forsberg, Caroline, and Marika Daleke. "Measuring and Visualizing Business Performance Indicators in Corporate Accelerators." Thesis, KTH, Skolan för industriell teknik och management (ITM), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-279495.

Qi, Haijie. "Comprehensive performance measurement method for supply chains /." Hong Kong : University of Hong Kong, 2002. http://sunzi.lib.hku.hk/hkuto/record.jsp?B25139289.

Mbugua, Lawrence Mwangi. "A methodology for evaluating the business performance of UK construction companies." Thesis, University of Wolverhampton, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.341866.

齊海杰 and Haijie Qi. "Comprehensive performance measurement method for supply chains." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2002. http://hub.hku.hk/bib/B31226644.

Smith, Sharina Alongi. "Exploring Marketing Performance Measurement Systems and Organizational Performance in Higher Education| A Multiple Case Study." Thesis, Northcentral University, 2016. http://pqdtopen.proquest.com/#viewpdf?dispub=10179140.

In the 21 st century, prospective undergraduate students decreasingly identified with a particular denomination, and this impacted the marketing of faith-based institutions. These prospects and their parents also were increasingly price-conscious, so the faith-based universities were competing against lower-priced public universities and community colleges. The problem addressed in this qualitative, multiple case study was that marketing executives at faith-based universities who failed to implement marketing performance measurement systems could not adequately measure marketing effectiveness or determine whether marketing activities affected the organization’s performance. The purpose of this study was to explore how marketing executives at three faith-based universities in the Midwestern United States were measuring the performance of their marketing activities and how they compared these marketing metrics to indicators of organizational performance. Face-to-face interviews were held with nine participants, who had executive marketing responsibilities at three different faith-based universities. University websites and IPEDS reports were analyzed in order to achieve triangulation. The findings supported the literature that quantitatively measuring marketing performance was difficult. Measures, such as enrollment numbers or dollars raised, could only sometimes be linked to particular marketing campaigns. As was shown in the literature, the faith-based university marketers who had limited knowledge of their marketing performance measurement were unable to justify all of their marketing expenditures and could not necessarily make a case for these marketing activities’ relationship to the performance of their institution. The emergent themes from the face-to-face interviews all supported the literature, which underscored the importance of using marketing performance measurement to justify budget requests. The findings from the case study and literature showed that faith-based institutions were found to be more at risk to suffer from decreased or stagnant enrollment, because they could not compete with community colleges or public universities on price. By expanding on the results of this study, the self-designed interview questions could be used with other higher education marketing executives. Practical applications of this study and recommendations for future research were presented as they would benefit marketing executives in faith-based higher education as well as those in private and public higher education, in general, and in the business environment.

Jackson, Terence. "Understanding management performance : an interpretive approach to analysis and measurement." Thesis, Henley Business School, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.358395.

Hofmann, Susanne. "The Performance Measurement Process Concerning On-Time Delivery in Supplier-Customer Dyads : characteristics and consequences." Licentiate thesis, Växjö University, School of Management and Economics, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2456.

Akpabot, S. "A study of performance measurement practices in northern Nigerian SMEs." Thesis, Coventry University, 2016. http://curve.coventry.ac.uk/open/items/c0d324a3-758b-4498-b9c9-fe667f7bef0f/1.

Mills, Heleen. "An investigation of the marketing performance measurement practices of South African organisations." Thesis, Stellenbosch : University of Stellenbosch, 2010. http://hdl.handle.net/10019.1/5431.

Fluker, Tareion M. "Performance Factors that Influence Marketing Measurement in Successful Small Businesses." ScholarWorks, 2016. https://scholarworks.waldenu.edu/dissertations/2483.

Wang, Yi. "E-business assimilation and organizational dynamic capability : antecedents and consequences." HKBU Institutional Repository, 2009. http://repository.hkbu.edu.hk/etd_ra/984.

Nosratlu, Hadi, and Louise Gideskog. "Performance Measurement Systems : Which aspects are crucial to consider?" Thesis, Jönköping University, JIBS, Business Administration, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-187.

Problem: Although performance measurement systems (PMSs) in firms to a large extent regard motivation of the employees, motivation theory is rarely used as frame-work to study the use and implications of PMS. The starting point of our identified problem is the narrow theoretical framework used in prior research of formulation of PMS in firms, when only relying on agency theory. We consider the present conceptions used as a foundation for the results in theoretical and empirical research of PMS are a barrier for more efficient governance control in firms. Therefore we ask if agency theory alone solid enough as a framework to capture the complex behavioural aspects of PMS? Or does an incorporation of motivation theory extend the under-standing of the use of PMS in firms? The answer has got important practical implications for all firms characterised by the separation of ownership and control. This brings us to the question: When evaluating and rewarding employees, which aspects are crucial to consider when formulating PMS in order to maximise the value of the firm?

Purpose: The purpose of this thesis is to extend the understanding of the use of PMSs in banks. Contrary to prior research in this field, our purpose is to extend the conceptual framework by incorporating motivation theory extensively when analysing the use of PMS. In addition the results of this study are intended to give practical indications from a firm value maximizing perspective of which aspects that are crucial when formulating a PMS.

Method: A qualitative method has been chosen to collect empirical data to our study. We have conducted interviews with our respondents working in the two banks. Mo-reover from our theoretical and empirical the conclusions are drawn in line with the approach of abduction.

Conclusion: From what we have seen in our study there is no absolute answer, since there are many contingencies which affects how a PMS should be adapted to an organisation. However, due to four numbers of reasons we have come to the conclusion that the use of one atomistic measurement system, together with a profit-sharing system, is to prefer where all employees are rewarded equally.

Johnson, Antony Johnson Jerytton, and jery johnson@dgjones com au. "Measuring contractors' business performance : effective use of a balanced scorecard approach." RMIT University. School of Property, Construction and Project Management, 2003. http://adt.lib.rmit.edu.au/adt/public/adt-VIT20040927.164737.

Little, Derek. "The strategy deployment paradox : linking strategy, performance measurement systems to appraisals." Thesis, University of Strathclyde, 2003. http://oleg.lib.strath.ac.uk:80/R/?func=dbin-jump-full&object_id=21246.

Hamali, Jamil. "Quality management systems and performance measurement in a public sector organisation." Thesis, University of Salford, 1999. http://usir.salford.ac.uk/14762/.

Ahmad, Radhlinah Kunju. "Developing a proactive safety performance measurement tool (SPMT) for construction sites." Thesis, Loughborough University, 2000. https://dspace.lboro.ac.uk/2134/7362.

Brunette, Zene. "Balanced scorecard development of a strategic business unit / Zene Brunette." Thesis, North-West University, 2010. http://hdl.handle.net/10394/4586.

Strydom, Carla. "Business excellence : an integrated approach." Thesis, Stellenbosch : Stellenbosch University, 2002. http://hdl.handle.net/10019.1/52722.

黃凱苹 and Kai-Ping Huang. "Business Performance Measurement－the Relation Between Accounting Rate of Return and Tobin's Q." 碩士, 東吳大學, 1985. http://ndltd.ncl.edu.tw/cgi-bin/gs32/gsweb.cgi/login?o=dnclcdr&s=id=%22085SCU04385003%22.&searchmode=basic.

Sowa, Sebastian. "Information-Security-Business-Performance-Measurement und -Management im Kontext von Compliance und Unternehmungszielen." Bochum ISEB, 2009. http://d-nb.info/100063129X/34.

Lord, Richard. "South Africa a sustainable future : performance indicators for government and business." Thesis, Stellenbosch : Stellenbosch University, 2003. http://hdl.handle.net/10019.1/53596.

Pooe, Molefe M. B. A. "The development of a strategic performance measurement tool for SMEs in the construction industry." Thesis, Nelson Mandela Metropolitan University, 2007. http://hdl.handle.net/10948/810.

Halawani, Abdulatef. "Airline maintenance performance and productivity measurement : an application of data envelopment analysis." Thesis, University of Kent, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.322828.

Silegren, L. (Lasse). "Analysis of expatriate performance measurement criteria through the parent company’s point of view." Master's thesis, University of Oulu, 2014. http://urn.fi/URN:NBN:fi:oulu-201405211439.

Grada, Ali Salem. "Business performance measurement applied to the UK medium-sized coal mining sector since privatisation." Thesis, University of Nottingham, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.326549.

Beatham, Simon. "Development of an integrated business improvement system for construction." Thesis, Loughborough University, 2003. https://dspace.lboro.ac.uk/2134/792.

Hassan, Eid Awad Abd El-Sayed. "A theoretical and empirical study of performance measurement : a challenge for management accounting information systems." Thesis, University of Hull, 2001. http://hydra.hull.ac.uk/resources/hull:5607.

Larsson, Jenny, and Joan Kinnunen. "Performance measurement in nonprofits : Much to be gained or a waste of resources?" Thesis, Umeå University, Umeå School of Business, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-1712.

The topic of this thesis is performance measurement in nonprofit organizations. The reason for choosing this topic is a common interest for the nonprofit sector as well as the increased attention in the media on nonprofits and what they accomplish. Scientifically our study is justified by the fact that there are very few studies made on performance measurement in Swedish nonprofits.

The problem definition was formulated as How, why and with what experiences do Swedish Civil Society Organizations measure performance? And the purpose with our study is to convey to an understanding of Swedish civil society organizations’experiences of performance measurement from the perspective of the management.

Considering the type of problem definition and purpose a qualitative research approach were chosen. Another reason for choosing a gualitative approach was the fact that we intended to find new information rather than to test existing theories. Semi-structured

telephone interviews were conducted with respondents from five framework organizations to Sida. The choice to only include framework organizations means that our results are limited in its application to other civil society organizations. Sida has a strong power to influence the evaluation and reporting in these organizations through the framework agreements.

In the theoretical background theories and earlier research in the area of performance measurement and nonprofits are included, for example research done on reasons for measuring performance both in for-profits and in nonprofits. A couple of performance measurement frameworks designed for nonprofits are presented.

Performance measurement is much discussed and under development among the studied organizations. However, the concept as such has not gained ground yet since it is quite a new phenomenon in the nonprofit sector in Sweden. The main reason for measuring performance is the pressure from stakeholders, foremost from Sida. The close relationship to Sida highly affects how performance is measured and the Logical Framework Approach is the foundation for their performance measurement. How widely it is used differ however and it is mainly used for reporting and evaluation purposes. Allrespondents have experienced difficulties when measuring performance and during the interviews we have identified a number of factors that complicate measurement; the results of a project are often shown much later from when the activities took place and the many stakeholders involved. Moreover the respondents express that there has to be a balance between how much time and resources that should be put on measuring activities and how much of their efforts that should be put directly into their projects, a balance that is experienced as difficult to achieve. All respondents believe that there are things to be gained from measuring performance and many of the organizations have started to cooperate with other organization in order to develop their performance measurement.

Alenizi, Faisal M. N. H. "Non-financial performance measurement : four grounded theory case studies in the service sector." Thesis, University of Dundee, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.480688.

Alpay, Koc Nurcan. "A Business Process Performance Measure Definition System Supported By Information Technologies." Master's thesis, METU, 2013. http://etd.lib.metu.edu.tr/upload/12615572/index.pdf.

Bäckström, Maria, and Isabelle Nilsson. "Key Performance Indicators - Förfina, förändra eller ta bort : En kvalitativ studie om förändringsprocessen av KPI:er och samspelet mellan chefer och gruppledare." Thesis, Högskolan i Gävle, Avdelningen för ekonomi, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-35166.

Yuen, Sheung Man. "Performance measurement and management of third party logistics : an organizational theory approach." HKBU Institutional Repository, 2006. http://repository.hkbu.edu.hk/etd_ra/659.

Bodley, David Cyril. "The relationship between opportunity-related aspects and the performance of primary co-operatives in South Africa." Thesis, Nelson Mandela Metropolitan University, 2017. http://hdl.handle.net/10948/14653.

Armstrong, Ryan. "Building knowledge in performance measurement and management: A critical realist approach." Doctoral thesis, Universitat de Barcelona, 2018. http://hdl.handle.net/10803/665462.

Fakhri, Gumma M. Y. "The analysis of the factors affecting performance measurement in Libyan banking industry : a contingency approach." Thesis, Liverpool John Moores University, 2010. http://researchonline.ljmu.ac.uk/5995/.

Hasselström, Markus, David Luotonen, and Joakim Johansson. "Performance Measurement : A study of financial and non-financial measures in two logistics oriented companies." Thesis, Jönköping University, JIBS, Business Administration, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-1273.

The purpose of this Bachelor Thesis is to study performance measurement within two lo-gistics companies and how they balance financial and non-financial performance measures.

The study takes a qualitative approach to find out how, and also why the two selected logis-tics companies handle performance measurement the way they do. Current discussions on the topic of performance measurement involve whether smaller companies can benefit from measuring non-financial aspects of its business and develop measurement systems such as the Balance Scorecard, or whether this is a waste of a small companies’ scarce resources and is something that can best be utilized by larger companies with more resources. Some au-thors argue concerning performance measurements that size influence the firm’s controlling systems, as larger firms tend to rely more on formal administrative control while small and medium sized companies could therefore be seen as having a more informal administrative control. According to the initial survey done in this study company size seemed to be re-lated to the extent which companies were involved in performance measurement.

The two logistics companies participating in the main study are Hemglass and Kronans Droghandel. KD work deliberately with performance measurements based on long-term thinking in connection to their strategy while Hemglass doesn't work with these issues to the same extent. In accordance to our findings in this study Kaplan & Norton (1996) state that the major expected benefits and reasons for using both financial and non-financial measures materialize when the relationships between the two are understood. These rela-tionships can be hard to establish, some links are more obvious than others, but if this can be managed the performance measurement efforts will be more fruitful.

Hardy, Ben. "Morale : definitions, dimensions and measurement." Thesis, University of Cambridge, 2010. https://www.repository.cam.ac.uk/handle/1810/229514.

Kuwaiti, M. E. "The role of performance measurement systems in the design and implementation of business process re-engineering." Thesis, Cranfield University, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.340872.

El, Shafeey Tarek. "Radical service innovation capabilities and competences and its performance measurement in the Egyptian banking sector." Thesis, University of Portsmouth, 2013. https://researchportal.port.ac.uk/portal/en/theses/radical-service-innovation-capabilities-and-competences-and-its-performance-measurement-in-the-egyptian-banking-sector(eff013ba-0aed-440a-bd37-b2cd3dbf24f2).html.

Sowa, Sebastian [Verfasser]. "Information-Security-Business-Performance-Measurement und -Management im Kontext von Compliance und Unternehmungszielen / Sebastian Sowa. [Institut für Sicherheit im E-Business (ISEB)]." Bochum : ISEB, 2009. http://d-nb.info/100063129X/34.

Danielsson, Fredrik, and Jessica Sundqvist. "Performance management på individnivå : - Bonussystem för ökad prestation inom Swedbank." Thesis, Mälardalen University, School of Sustainable Development of Society and Technology, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-863.

Performance management på individnivå innebär att styra individen utifrån individuella mål som förmedlar organisationens övergripande strategi till medarbetarna. För att förstärka styreffekterna av individuella mål kan en belöning kopplas till måluppfyllelsegrad. Effekten av ett bonussystem ställer stora krav på samarbete mellan chef och anställd då de tillsammans ska ställa upp realistiska mål som syftar till att utveckla den enskilde individen samtidigt som de bidrar till organisationens övergripande mål och resultat. Därmed är det viktigt att undersöka hur medarbetare och chefer påverkas av individuella mål kopplade till bonus och vilka effekter detta får inom företaget. Vilken effekt har målsättnings-, uppföljnings- och utvärderingsarbetet på styrning och motivation bland medarbetare och chefer?

Syftet är att undersöka och öka förståelsen kring hur styrning och motivations-aspekter påverkas då performance management bryts ner till individnivå samt hur en belöningskoppling kan förstärka den eventuella styreffekten.

Undersökningen har genomförts i form av en fallstudie där intervjuer använts som främsta empiriinsamlingsmetod. Intervjuverktyget valdes för att få en förståelse för hur performance management påverkar personer inom en organisation utifrån ett styr- och motivations-perspektiv. Det gav möjlighet till att undersöka problemet på en djupare nivå där olika synsätt och åsikter kring ämnet kunde fångas upp under personliga intervjuer.

Undersökningen visar att styrfilosofin inom en organisation inte påverkas i nämnvärd utsträckning av performance management på individnivå. Det som påverkas är hur organisationen väljer att hantera styrningen i form av de svårigheter som uppstår i och med att målen blir individuella. De största svårigheterna med ett individuellt målsättningsprogram är att få en jämvikt mellan finansiella och ickefinansiella mätetal där målen kommuniceras och förankras hos medarbetarna på ett fungerande sätt. Trots att de mjuka målen uppfattas som oerhört viktiga på individnivå så är det dessa mål som skapar de största svårigheterna. Fallstudien har visat att en tydlig målsättning med konkreta och realistiska mål är en förutsättning för att påverka styrningen i positiv riktning. Det framgår även att rättvisa är viktigt i och med att en bonus kopplas till måluppfyllelsegrad varför kvalitén på målsättningsarbete och uppföljningen är av stor vikt.

Performance management helps the organisation clarify the strategy through individual targets. To reinforce the management effect a bonus can be connected to the fulfilment of targets. When a bonus is connected to performance management it is vital that the communication between managers and co-workers is well functioning and that the individual targets support the co-workers learning as well as they support the organizations overall targets. Therefore it is important to investigate how co-workers and managers are affected by individual targets and what consequences it has on the organization. What impact has the target setting-, follow up- and evaluation process on the organisation’s management and the motivation among the staff?

The purpose of this study is to investigate and increase the understanding of how management and motivational aspects is affected when performance management is broken down to individual levels and how a reward can enhance the possible control effect.

This study has been performed through a case study where interviews have been the primary method. Several interviews were conducted to gain an understanding of how performance management influences employees in an organization on the basis of a control and motivational aspect. Interviews made it possible to examine the purpose on a deeper level, where different opinions and approaches to performance management could be collected.

The control function is not influenced by the fact that performance management is broken down to individual levels. The difficulty with this topic is the problems that arise when targets are made individualized. Individual targets make it hard to find a balance between financial and non-financial measurements and to gain the approval of employees. Non-financial goals cause the biggest problems since these are the hardest goals to measure and reward. Despite problems surrounding the non-financial goals there exist a great confidence in such goals. The case study shows that performance management on an individual level demands a well functioning communication to effect organisational management in a positive direction. It also shows that a bonus connected to targets demands a high quality in the rewarding procedure where justice plays an important part.