- Subscribe to this page:
- RSS
- Email Alert
software development tools
(10183 results)Search the Library
Mission Statement
TechRepublic's ITPapers is the Web's largest library of free technical IT white papers, webcasts, and case studies. Covering IT categories including Data Management, IT Management, Networking, Communications, Enterprise Applications, Storage, Security and much more, TechRepublic's White Paper Directory is the best source for technical white papers and IT information.
-
White Papers
Finding Errors in Multithreaded GUI Applications
May 2012
To keep a Graphical User Interface (GUI) responsive and active, a GUI application often has a main UI thread (or event dispatching thread) and spawns separate threads to handle lengthy operations...
Provided by Association for Computing Machinery
-
White Papers
The HaLoop Approach to Large-Scale Iterative Data Analysis
Mar 2012
The growing demand for large-scale data mining and data analysis applications has led both industry and academia to design new types of highly scalable data-intensive computing platforms....
Provided by Springer Science+Business Media
-
White Papers
Inference and Checking of Object Ownership
May 2012
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation overhead of...
Provided by University of Washington
-
White Papers
Verification Games: Making Verification Fun
May 2012
Program verification is the only way to be certain that a given piece of software is free of (certain types of) errors - errors that could otherwise disrupt operations in the field. To date,...
Provided by University of Washington
-
White Papers
A Type System for Regular Expressions
May 2012
Regular expressions are used to match and extract text. It is easy for developers to make syntactic mistakes when writing regular expressions, because regular expressions are often complex and...
Provided by Association for Computing Machinery
-
White Papers
Why3: Shepherd Your Herd of Provers
Jun 2011
Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. This...
Provided by INRIA
-
White Papers
Follow That Sketch: Lifecycles of Diagrams and Sketches in Software Development
Aug 2011
Informal visualization in the form of sketching and diagramming has long been an established practice of professionals working in the fields of design, architecture, and engineering. Less is...
Provided by University of Calgary
-
White Papers
Information Needs in Bug Reports: Improving Cooperation Between Developers and Users
Feb 2010
For many software projects, bug tracking systems play a central role in supporting collaboration between the developers and the users of the software. To better understand this collaboration and...
Provided by Association for Computing Machinery
-
White Papers
Searching and Skimming: An Exploratory Study
Jun 2009
Source code search is an important activity for programmers working on a change task to a software system. As part of a larger project to improve tool support for finding information in source...
Provided by University of Calgary
-
White Papers
Asking and Answering Questions During a Programming Change Task
Aug 2008
Little is known about the specific kinds of questions programmers ask when evolving a code base and how well existing tools support those questions. To better support the activity of programming,...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
Towards Energy Auto-Tuning
Oct 2011
Energy efficiency is gaining more and more importance, since well-known ecological reasons lead to rising energy costs. In consequence, energy consumption is now also an important economical...
Provided by Technische Universitat Dresden
-
White Papers
Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework
Mar 2010
Domain-Specific Modelling (DSM) environments enable experts in a certain domain to actively participate in model-driven development. Developing DSM environments need to be cost-efficient, since...
Provided by Technische Universitat Dresden
-
White Papers
An Integrated Facet-Based Library for Arbitrary Software Components
Mar 2010
Reuse is an important means of reducing costs and effort during the development of complex software systems. A major challenge is to find suitable components in a large library with reasonable...
Provided by Technische Universitat Dresden
-
White Papers
A Metamodel for Context-Aware Component-Based Mashup Applications
Nov 2010
Recently, mashups, i. e., composite web applications, have gained momentum in both the consumer and enterprise sector. However, they lack a structured development process which abstracts from...
Provided by Association for Computing Machinery
-
White Papers
Representations and Operators for Improving Evolutionary Software Repair
Apr 2012
Evolutionary computation is a promising technique for automating time-consuming and expensive software maintenance tasks, including bug repair. The success of this approach, however, depends at...
Provided by Association for Computing Machinery
-
White Papers
A Systematic Study of Automated Program Repair: Fixing 55 Out of 105 Bugs for $8 Each
Mar 2012
There are more bugs in real-world programs than human programmers can realistically address. This paper evaluates two research questions: "What fraction of bugs can be repaired automatically?" and...
Provided by University of Virginia
-
White Papers
Using Dynamic Analysis to Discover Polynomial and Array Invariants
May 2012
Dynamic invariant analysis identifies likely properties over variables from observed program traces. These properties can aid programmers in refactoring, documenting, and debugging tasks by making...
Provided by University of New Mexico
-
White Papers
Synthesizing API Usage Examples
Mar 2012
Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such documentation is known to be...
Provided by University of Virginia
-
White Papers
Measuring Code Quality to Improve Specification Mining
Jan 2011
Formal specifications can help with program testing, optimization, refactoring, documentation, and, most importantly, debugging and repair. However, they are difficult to write manually, and...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
The Case for Software Evolution
Nov 2010
Many software systems exceed the people human ability to comprehend and manage, and they continue to contain unacceptable errors. This is an unintended consequence of Moore's Law, which has led to...
Provided by Association for Computing Machinery
-
White Papers
A Human Study of Fault Localization Accuracy
Oct 2010
Localizing and repairing defects are critical software engineering activities. Not all programs and not all bugs are equally easy to debug, however. They present formal models, backed by a human...
Provided by University of Virginia
-
White Papers
Solving String Constraints Lazily
Sep 2010
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent work on string...
Provided by Association for Computing Machinery
-
White Papers
Automated Program Repair Through the Evolution of Assembly Code
Sep 2010
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x86 assembly...
Provided by Association for Computing Machinery
-
White Papers
Automatically Documenting Program Changes
Jun 2010
Source code modifications are often documented with log messages. Such messages are a key component of software maintenance: they can help developers validate changes, locate and triage defects,...
Provided by Association for Computing Machinery
-
White Papers
Designing Better Fitness Functions for Automated Program Repair
Jul 2010
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simple test cases and...
Provided by Association for Computing Machinery
-
White Papers
Learning a Metric for Code Readability
Aug 2010
In this paper, the authors explore the concept of code readability and investigate its relation to software quality. With data collected from 120 human annotators, they derive associations between...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
Harnessing Web-Based Application Similarities to Aid in Regression Testing
Aug 2010
Web-based applications are growing in complexity and criticality, increasing the need for their precise validation. Regression testing is an established approach for providing information about...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
Syntactic Regression Testing for Tree-Structured Output
Sep 2009
Regression testing is used by software developers to ensure that program modifications have not negatively impacted the correctness of code. While regression testing has been successfully applied...
Provided by University of Virginia
-
White Papers
A Genetic Programming Approach to Automated Software Repair
Jul 2009
Genetic programming is combined with program analysis methods to repair bugs in off-the-shelf legacy C programs. Fitness is defined using negative test cases that exercise the bug to be repaired...
Provided by Association for Computing Machinery
-
White Papers
Using Execution Paths to Evolve Software Patches
Mar 2009
The authors present an evolutionary approach using Genetic Programming (GP) to automatically create software repairs. By concentrating the modifications on regions related to where the bug occurs,...
Provided by University of New Mexico
-
White Papers
Exploiting Refactoring in Formal Verification
Nov 2009
In previous work, the authors introduced Echo, a new approach to the formal verification of the functional correctness of software. Part of what makes Echo practical is a technique called...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
A Decision Procedure for Subset Constraints Over Regular Languages
Jun 2010
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings, and are often...
Provided by Association for Computing Machinery
-
White Papers
Specification Mining With Few False Positives
Jan 2009
Formal specifications can help with program testing, optimization, refactoring, documentation, and, most importantly, debugging and repair. Unfortunately, formal specifications are difficult to...
Provided by University of Virginia
-
White Papers
The Road Not Taken: Estimating Path Execution Frequency Statically
Nov 2009
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug finding. Path...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
MacroLab: A Vector-Based Macroprogramming Framework for Cyber-Physical Systems
Nov 2008
The authors present a macro-programming framework called Macro-Lab that offers a vector programming abstraction similar to Matlab for Cyber-Physical Systems (CPSs). The user writes a single...
Provided by Association for Computing Machinery
-
White Papers
A Metric for Software Readability
Jul 2008
In this paper, the authors explore the concept of code readability and investigate its relation to software quality. With data collected from human annotators, they derive associations between a...
Provided by Association for Computing Machinery
-
White Papers
Automatic Documentation Inference for Exceptions
Jul 2008
Exception handling is a powerful and widely-used programming language abstraction for constructing robust software systems. Unfortunately, it introduces an inter-procedural flow of control that...
Provided by Association for Computing Machinery
-
White Papers
Automated Duplicate Detection for Bug Tracking Systems
Aug 2010
Bug tracking systems are important tools that guide the maintenance activities of software developers. The utility of these systems is hampered by an excessive number of duplicate bug reports - in...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
Exceptional Situations and Program Reliability
Mar 2008
It is difficult to write programs that behave correctly in the presence of run-time errors. Proper behavior in the face of exceptional situations is important to the reliability of long-running...
Provided by Association for Computing Machinery
-
White Papers
Privately Finding Specifications
Feb 2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file must eventually be...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
Flex Your SAS Muscle
Apr 2010
This paper explains how to integrate the power of SAS software with the rich and interactive environment provided by Adobe Flex. SAS 9.2 enables one to easily deploy SAS Stored Processes as...
Provided by SAS Institute
-
White Papers
SAS Code Validation: L.E.T.O Method
Mar 2010
Coders write abundant amounts of SAS code for ad hoc analysis. This code is not usually intended for use in a full scale production system, but it is still critical that it be validated....
Provided by SAS Institute
-
White Papers
SAS Programmer's Paradise: New Goodies in SAS Enterprise Guide 4.3
Mar 2010
This paper describes the many new productivity enhancements for programmers in SAS Enterprise Guide 4.3. There is a new program editor with syntax completion for hundreds of SAS procedures and...
Provided by SAS Institute
-
White Papers
SAS Enterprise Guide: It's for Programmers Too
Mar 2010
Enterprise Guide 4.2 provides a powerful environment and toolset for end-to-end information delivery. As a SAS programmer, one can easily begin taking advantage of Enterprise Guide to provide a...
Provided by Dhillon Consulting
-
White Papers
SAS Enterprise Guide 4.2: Getting to Code You
Mar 2010
Both experienced and new users to SAS have a need for SAS Enterprise Guide to write and run their code. Experienced users are accustomed to entering all their code into the Program Editor window...
Provided by SAS Institute
-
White Papers
SAS Arrays, Both Implicit and Explicit
Mar 2010
In SAS, arrays can be defined with implicit or explicit subscripting. Current documentation only covers the explicit version and the implicit version is only supported for backward compatibility....
Provided by SAS Institute
-
White Papers
SAS Beyond Measure
Mar 2010
One's "Work life" is a journey with diverging and converging pathways that require decisions about their career direction each step of the way. The author's journey includes the enlightenment...
Provided by SAS Institute
-
White Papers
Quality Outcomes and SAS: Structuring, Managing and Working in SAS-Based Programming Groups
Mar 2010
Compliance with programming standards is part and parcel of managing or working a programming group; whether a C++ or SAS based group. Managers and programmers find themselves in a constant...
Provided by SAS Institute
-
White Papers
Searching for a Diamond in the Rough: Finding and Integrating SAS Programming Talent
Apr 2010
Although the current economy has seen a lot of companies cutting back on hiring programmers, there is still a high demand for talented SAS programmers. It can be a challenge to find highly...
Provided by Biogen Idec
-
Case Studies
Solid-State Drives for IBM Power Systems Pass Associated Bank-Corp's Performance Tests With Flying Colors
Oct 2009
Associated Bank-Corp needed to determine the best disk configuration for minimizing the time required to run its I/O-intensive end-of-day and end-of-month processing workloads. The bank's goal was...
Provided by IBM
-
Case Studies
IBM Case Study: Royal Bank of Canada-Client Video
Nov 2009
The distributed labs and host services team of Royal Bank of Canada helps to facilitate the testing of software and hardware changes for bank branches, call centers and other bank divisions,...
Provided by IBM
-
Case Studies
Portfolio Optimization
Nov 2009
Since its founding in 1987, the company's proactive approach to tax-efficient investing has performed consistently and allowed many of the country's wealthiest families and taxable institutions to...
Provided by IBM
-
Case Studies
Share Registrar Cuts Testing Time and Improves Application Lifecycle Management
Apr 2010
Equiniti, a leading share registrar in the United Kingdom, wanted to manage development processes more efficiently. It sought to reduce costly, time-consuming manual testing and gain better...
Provided by Microsoft
-
Case Studies
Insurance Company Expects to Cut Software Development Time and Costs by 20 Percent
Apr 2010
The application development team at Lansforsakringar AB, a Swedish insurance and banking company, wanted to simplify and speed software development. The team's customers relied on it for...
Provided by Microsoft
-
Case Studies
IT Services Firm Helps Customers Improve Software Testing and Team Collaboration
Apr 2010
Access IT, a software provider and technology trainer based in France, helps more than 300 European customers deploy and learn about Microsoft products and technologies. Recently, the company...
Provided by Microsoft
-
Case Studies
IT Company Uses Solution to Improve Product Tracking, Accelerate Development
Apr 2010
Minnesota-based Navitaire produces and manages a range of online business process solutions for airlines and other travel providers around the world. The company wanted to improve development and...
Provided by Microsoft
-
Case Studies
Insurance Company Expects to Cut Rework Time in Half, Improves Customer Satisfaction
Mar 2010
The Dutch insurance company Achmea wanted to improve efficiency and customer satisfaction. Developers often had to rebuild applications that did not meet customer requirements, and it was...
Provided by Microsoft
-
Case Studies
Software Vendor Speeds Testing, Improves Collaboration, and Wins New Business
Apr 2010
Readify, a software vendor based in Australia, performs most of its consulting work at customer sites, billing on a time-and-materials basis. To appeal to customers who need high visibility into...
Provided by Microsoft
-
Case Studies
Solution Provider Streamlines Processes, Will Speed Some Development by 50 Percent
Mar 2010
Based in Sydney, Australia, Dataract is an independent software vendor that develops workflow task automation solutions based on Microsoft software. The company wanted to design workflows inside...
Provided by Microsoft
-
Case Studies
Software Developer Uses Integrated Tool Set to Cut Costs and Streamline Development
Mar 2010
Minitab, a creator of statistical analysis and process improvement software, wanted to simplify and accelerate development. It deployed an integrated solution that includes Microsoft Visual Studio...
Provided by Microsoft
-
Case Studies
Consulting Firm Improves Productivity With Expanded Reporting, Version Control Tools
Mar 2010
Fujitsu Canada is a consulting firm offering business and IT services. The company had deployed Microsoft Visual Studio 2005 and Visual Studio 2008 but wanted expanded reporting, version control,...
Provided by Microsoft
-
Case Studies
Pension Provider Integrates Business Data and Improves Collaboration Between Teams
Apr 2010
China Life Pension Company is a management organization that offers a range of pension and annuity services for customers across China. To stand out from a growing list of competitors, the...
Provided by Microsoft
-
Case Studies
Spanish Media Firm Grows Audience With New Digital Marketing Push
Apr 2010
Telecinco is one of the major broadcasting companies in Europe, providing customers with a rich array of news, entertainment, and sports coverage. To retain its leading position in the market,...
Provided by Microsoft
-
Case Studies
Theatre Company Easily Integrates Data and Displays Information Graphically
Apr 2010
AMC Theatres, a worldwide leader in the movie industry, sought to integrate and analyze data from disparate sources. It also wanted to investigate tools for portraying data graphically. AMC tested...
Provided by Microsoft
-
Case Studies
Partner's Self-Service HR Solution Saves Customers Hundreds of Dollars Per Employee
Jul 2009
Topaz Bridge develops an Office Business Application (OBA) that makes it possible for information managed by SAP systems to be accessed through Microsoft Office SharePoint Server 2007. The...
Provided by Microsoft
-
Case Studies
Solution Provider Helps Customers Enhance Process Visibility and Tracking
Jul 2009
ActionBase develops human process management solutions that integrate with Microsoft Office programs. These Office Business Applications help customers increase the effectiveness of human-centric...
Provided by Microsoft
-
White Papers
Looking for an Ultra-Lightweight Code Generator?
Mar 2010
Global competition makes software an indispensable element of success - without software many of today's products and services would be impossible to develop and sell. On the other hand, creating...
Provided by actifsource
-
White Papers
The Architecture of Future Websites
Apr 2010
The World Wide Web started as a communication tool in the 80's. By early 90's, with the advent of the browser, the web became a publishing platform consisting of websites which were nothing more...
Provided by Luristic
-
Case Studies
SIBS Wins New Sources of Revenue Outside Portugal With IBM WebSphere Solution
Feb 2010
SIBS needed to develop a set of transformation rules so that it could keep its existing data formats and transform them into the new XML formats that the European Commission required for the...
Provided by IBM
-
Case Studies
Avedro Offers Next Level of Vision Correction Technology With Equipment That Seamlessly Fits Into Existing Medical Suites
Feb 2010
Avedro's President and CEO, David Muller, PhD, is an entrepreneur and visionary in the field of laser vision correction surgery. The goal was to produce a device that would fit seamlessly into...
Provided by ThermoFab
-
White Papers
Bringing Agility to Application Life Cycle Management
Dec 2009
Combining the best of Agile Development and ALM (Application Life Cycle Management), WRAP is a powerful latest-generation set of software tools that bring clarity and control into the complexity...
Provided by WoodRanch Technology
-
Case Studies
Web Content Management Firm Streamlines Development, Testing With Integrated Tools
Mar 2010
EPiServer delivers Web content management, online social community, and e-commerce solutions to businesses worldwide. To improve product lifecycles through closer collaboration between developers...
Provided by Microsoft
-
Case Studies
Consulting Company Uses Latest Development Tools to Improve Software Test Process
Apr 2010
Consulting services and software company Notion Solutions wanted to improve the quality of its software products, but was having difficulty ensuring adequate test coverage across different client...
Provided by Microsoft
-
Case Studies
Global Software Developer Expects to Double Productivity, Cut Costs by 10 Percent
Mar 2010
ICONICS, a Microsoft Gold Certified Partner, provides industrial automation and visualization software to organizations in more than 60 countries. The company's development teams include employees...
Provided by Microsoft
-
Case Studies
3M Streamlines Development, Accelerates Product Delivery With Integrated Tools
Mar 2010
Innovation is the key to success at 3M. With products as diverse as Scotch Tape, medical devices, and Web-based applications, 3M research teams are constantly exploring new ideas for consumer and...
Provided by Microsoft
-
Case Studies
Xerox Services Division Accelerates Database Build and Deployment Time Significantly
Mar 2010
Xerox Global Services - a division of document outsourcing and business services leader Xerox - offers solutions that include business applications for customers. Its database development team...
Provided by Microsoft
-
Case Studies
New Tools Help IT Firm Visualize, Improve, and Validate Architecture in Large Projects
Mar 2010
Sogeti is a global IT consulting firm that specializes in professional software services. Its developers, architects, and testers often work in different locations and had issues collaborating on...
Provided by Microsoft
-
Case Studies
Solution Provider Upgrades Platform for Efficient Application Lifecycle Management
Mar 2010
Northwest Cadence helps organizations manage and simplify their software development efforts so development teams can deliver applications more efficiently and organizations can meet their...
Provided by Microsoft
-
Case Studies
Design-Software Leader Streamlines Build Environment, Cuts Costs, Supports Partners
Apr 2010
With its AutoCAD design software, Autodesk transformed the way that ideas are turned into products. To maintain the company's leadership position, some 400 Autodesk developers work continuously to...
Provided by Microsoft
-
Case Studies
Software Consulting Firm Expects New Tool to Speed Debugging by at Least 25 Percent
Mar 2010
Software consulting firm Wintellect wanted more innovative processes for debugging that could help accelerate the resolution of bugs and enhance software quality. The company found what it needed...
Provided by Microsoft
-
White Papers
Designing Better Fitness Functions for Automated Program Repair
Jul 2010
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simple test cases and...
Provided by Association for Computing Machinery
-
White Papers
Learning a Metric for Code Readability
Aug 2010
In this paper, the authors explore the concept of code readability and investigate its relation to software quality. With data collected from 120 human annotators, they derive associations between...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
Harnessing Web-Based Application Similarities to Aid in Regression Testing
Aug 2010
Web-based applications are growing in complexity and criticality, increasing the need for their precise validation. Regression testing is an established approach for providing information about...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
Syntactic Regression Testing for Tree-Structured Output
Sep 2009
Regression testing is used by software developers to ensure that program modifications have not negatively impacted the correctness of code. While regression testing has been successfully applied...
Provided by University of Virginia
-
White Papers
A Genetic Programming Approach to Automated Software Repair
Jul 2009
Genetic programming is combined with program analysis methods to repair bugs in off-the-shelf legacy C programs. Fitness is defined using negative test cases that exercise the bug to be repaired...
Provided by Association for Computing Machinery
-
White Papers
Using Execution Paths to Evolve Software Patches
Mar 2009
The authors present an evolutionary approach using Genetic Programming (GP) to automatically create software repairs. By concentrating the modifications on regions related to where the bug occurs,...
Provided by University of New Mexico
-
White Papers
Exploiting Refactoring in Formal Verification
Nov 2009
In previous work, the authors introduced Echo, a new approach to the formal verification of the functional correctness of software. Part of what makes Echo practical is a technique called...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
A Decision Procedure for Subset Constraints Over Regular Languages
Jun 2010
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings, and are often...
Provided by Association for Computing Machinery
-
White Papers
Specification Mining With Few False Positives
Jan 2009
Formal specifications can help with program testing, optimization, refactoring, documentation, and, most importantly, debugging and repair. Unfortunately, formal specifications are difficult to...
Provided by University of Virginia
-
White Papers
The Road Not Taken: Estimating Path Execution Frequency Statically
Nov 2009
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug finding. Path...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
MacroLab: A Vector-Based Macroprogramming Framework for Cyber-Physical Systems
Nov 2008
The authors present a macro-programming framework called Macro-Lab that offers a vector programming abstraction similar to Matlab for Cyber-Physical Systems (CPSs). The user writes a single...
Provided by Association for Computing Machinery
-
White Papers
A Metric for Software Readability
Jul 2008
In this paper, the authors explore the concept of code readability and investigate its relation to software quality. With data collected from human annotators, they derive associations between a...
Provided by Association for Computing Machinery
-
White Papers
Automatic Documentation Inference for Exceptions
Jul 2008
Exception handling is a powerful and widely-used programming language abstraction for constructing robust software systems. Unfortunately, it introduces an inter-procedural flow of control that...
Provided by Association for Computing Machinery
-
White Papers
Automated Duplicate Detection for Bug Tracking Systems
Aug 2010
Bug tracking systems are important tools that guide the maintenance activities of software developers. The utility of these systems is hampered by an excessive number of duplicate bug reports - in...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
Exceptional Situations and Program Reliability
Mar 2008
It is difficult to write programs that behave correctly in the presence of run-time errors. Proper behavior in the face of exceptional situations is important to the reliability of long-running...
Provided by Association for Computing Machinery
-
White Papers
Privately Finding Specifications
Feb 2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file must eventually be...
Provided by Institute of Electrical & Electronic Engineers
-
White Papers
Modeling Bug Report Quality
Nov 2007
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically outstrips the...
Provided by Association for Computing Machinery
-
White Papers
Platform-Independent Modeling of Explicitly Parallel Programs
Feb 2010
The authors propose a model-driven approach to parallel programming of SPMD-style, explicitly parallel computations. They define an executable, platform-independent modeling language with...
Provided by Linkoping University
-
White Papers
The KeY Approach for the Cryptographic Verification of JAVA Programs: A Case Study
Apr 2012
In this paper, the authors report on an ongoing case study in which they use the KeY tool, a theorem prover for checking functional correctness and noninterference properties of JAVA programs, to...
Provided by Karlsruhe Institute of Technology
-
White Papers
Robust, Generic, Modularly-Verified Map: A Software Verification Challenge Problem
Jan 2011
Maps are a fundamental component in the development of modern software. The ability to associate keys with values in the manner of a partial mathematical function is important for a wide range of...
Provided by Association for Computing Machinery
-
White Papers
Irrelevance, Heterogeneous Equality, and Call-by-Value Dependent Type Systems
Feb 2012
The authors present a full-spectrum dependently typed core language which includes both non-termination and computational irrelevance (a.k.a. erasure), a combination which has not been studied...
Provided by University of Pennsylvania
-
White Papers
Equational Reasoning About Programs With General Recursion and Call-by-Value Semantics
Jan 2012
Dependently typed programming languages provide a mechanism for integrating verification and programming by encoding invariants as types. Traditionally, dependently typed languages have been based...
Provided by Association for Computing Machinery
-
White Papers
Giving Haskell a Promotion
Jan 2012
Static type systems are the world's most successful application of formal methods. Types are simple enough to make sense to programmers; they are tractable enough to be machine-checked on every...
Provided by Association for Computing Machinery
-
White Papers
Binders Unbound
Sep 2011
Implementors of compilers, program refactorers, theorem provers, proof checkers, and other systems that manipulate syntax know that dealing with name binding is difficult to do well. Furthermore,...
Provided by Association for Computing Machinery
-
White Papers
Evaluating Value-Graph Translation Validation for LLVM
Feb 2011
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the value-graphs of...
Provided by Harvard University
-
White Papers
Nikola: Embedding Compiled GPU Functions in Haskell
Sep 2010
The authors describe Nikola, a first-order language of array computations embedded in Haskell that compiles to GPUs via CUDA using a new set of type-directed techniques to support re-usable...
Provided by Association for Computing Machinery
-
White Papers
Effective Interactive Proofs for Higher-Order Imperative Programs
Sep 2009
The authors present a new approach for constructing and verifying higher-order, imperative programs using the Coq proof assistant. They build on the past work on the Ynot system, which is based on...
Provided by Association for Computing Machinery
-
White Papers
Certified Web Services in Ynot
May 2009
In this paper, the authors explains that it is possible to implement certified web systems in a way not much different from writing Standard ML or Haskell code, including use of imperative...
Provided by Harvard University
-
White Papers
Towards Type-Theoretic Semantics for Transactional Concurrency
Jan 2009
The authors propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design builds...
Provided by Association for Computing Machinery
-
White Papers
Ynot : Reasoning With the Awkward Squad
Apr 2008
The authors describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. Coq...
Provided by Association for Computing Machinery
-
White Papers
A Service-Based Model for the Internet Value Chain
Jul 2011
The exponential growth of Internet traffic is generating revenues which are not fairly distributed among all the actors involved in the value chain. In spite of the increasing returns for...
Provided by IARIA
-
White Papers
Debugging PVS Specifications of Control Logics Via Event-Driven Simulation
Jul 2011
In this paper, the authors present a framework aimed at simulating control logics specified in the higher-order logic of the Prototype Verification System. The framework offers a library of...
Provided by IARIA
-
White Papers
Euclides - A JavaScript to PostScript Translator
Jul 2011
Offering an easy access to programming languages that are difficult to approach directly dramatically reduces the inhibition threshold. The Generative Modeling Language is such a language and can...
Provided by IARIA
-
White Papers
PS-NET - A Predictable Typed Coordination Language for Stream Processing in Resource-Constrained Environments
Jul 2011
Stream processing is a well-suited application pattern for embedded computing. This holds true even more so when it comes to multi-core systems where concurrency plays an important role. With the...
Provided by IARIA
-
White Papers
Balanced Reduction of an IDE-Based Spatio-Temporal Model
Sep 2011
Spatio-temporal models have the potential to represent a wide variety of dynamic behaviour such as the growth of bacteria, the dispersion of a pollutant or the changing spatial patterns in house...
Provided by IARIA
-
White Papers
Formal Verification of Parameterized Multi-Agent Systems Using Predicate Diagrams
Sep 2011
This paper presents a formal diagram-based verification technique for multi-agent systems. A multi-agent system is a collection of intelligent agents that interact with each others and work...
Provided by IARIA
-
White Papers
A Tool for the Evaluation of the Complexity of Programs Using C++ Templates
Sep 2011
The authors investigate the relationship between C++ template metaprogramming and computational complexity, showing how templates characterize the class of polynomial-time computable functions, by...
Provided by IARIA
-
White Papers
Knowledge-Based Tool for Software Process Assessment and Improvement
Jul 2011
Although many organizations are aware of the importance of using well-defined and organized software development process, they face the problem of how to define and institutionalize it in...
Provided by IARIA
-
White Papers
Study on the Improved D-S Evidence Theory and Its Application on Gas Outburst Prediction
Jul 2011
This paper introduces improved combination rules for the D-S Evidence Theory for dealing with the evidence conflicts which considers the coherence evidence and the conflicts evidences together and...
Provided by IARIA
-
White Papers
Efficient Swarm Algorithms to Constrained Resource Allocation
Sep 2011
Resource management is the effective deployment for an organization's resources. It deals with classification, allocation, stocking, processing, storage, and valuation for the shared resources...
Provided by IARIA
