Skip to search formSkip to main contentSkip to account menu

Programming tool

Known as: Software tools, Tool (software), Tool (disambiguation) 
A programming tool or software development tool is a computer program that software developers use to create, debug, maintain, or otherwise support… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Approximate string matchingAutoconfBoundsCheckerBug tracking system

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a… 
Highly Cited
2010
Highly Cited
2010
Acme: an architecture description interchange language
Numerous architectural description languages (ADLs) have been developed, each providing complementary capabilities for… 
Review
2010
Review
2010
REXEL: computer aided record selection for code-based seismic structural analysis
In code-based seismic design and assessment it is often allowed the use of real records as an input for nonlinear dynamic… 
Highly Cited
2002
Highly Cited
2002
zt: A Sofware Tool for Simple and Partial Mantel Tests
Different methods of data analysis (e.g. clustering and ordination) are based on distance matrices. In some cases, researchers… 
Highly Cited
2001
Highly Cited
2001
Developing multi‐agent systems with a FIPA‐compliant agent framework
To ease large‐scale realization of agent applications there is an urgent need for frameworks, methodologies and toolkits that… 
Highly Cited
2001
Highly Cited
2001
What Is the Rational Unified Process ?
What exactly is the Rational Unified Process, or RUP as many call it now? I can give several answers to this question, from… 
Highly Cited
2000
Highly Cited
2000
Agent-Oriented Supply-Chain Management
The supply chain is a worldwide network of suppliers, factories, warehouses, distribution centers, and retailers through which… 
Highly Cited
1998
Highly Cited
1998
SBDART: A Research and Teaching Software Tool for Plane-Parallel Radiative Transfer in the Earth's Atmosphere.
SBDART is a software tool that computes plane-parallel radiative transfer in clear and cloudy conditions within the earth's… 
Highly Cited
1994
Highly Cited
1994
SUIF: an infrastructure for research on parallelizing and optimizing compilers
Compiler infrastructures that support experimental research are crucial to the advancement of high-performance computing. New… 
Highly Cited
1977
Highly Cited
1977
Testing Programs with the Aid of a Compiler
if finite input-output specifications are added to the syntax of programs, these specifications can be verified at compile time… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)