Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,328,794 papers from all fields of science
Search
Sign In
Create Free Account
Programming tool
Known as:
Software tools
, Tool (software)
, Tool (disambiguation)
Expand
A programming tool or software development tool is a computer program that software developers use to create, debug, maintain, or otherwise support…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Approximate string matching
Autoconf
BoundsChecker
Bug tracking system
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2010
Review
2010
Visual analysis of code security
John R. Goodall
,
Hassan Radwan
,
Lenny Halseth
Visualization for Computer Security
2010
Corpus ID: 6494126
To help increase the confidence that software is secure, researchers and vendors have developed different kinds of automated…
Expand
2010
2010
DEVELOPMENT OF A SUPERVISED SOFTWARE TOOL FOR AUTOMATED DETERMINATION OF OPTIMAL SEGMENTATION PARAMETERS FOR ECOGNITION
Yun Zhang
,
T. Maxwell
,
Hengjian Tong
,
V. Dey
,
G. Eng
2010
Corpus ID: 53313664
Image segmentation is one of the most important steps in object-based classification. The commercial software eCognition has been…
Expand
2009
2009
vMAGIC - Automatic Code Generation for VHDL
C. Pohl
,
C. Paiz
,
Mario Porrmann
International Journal of Reconfigurable Computing
2009
Corpus ID: 8230859
Automatic code generation is a standard method in software engineering, improving the code reliability as well as reducing the…
Expand
2005
2005
Foundations for MDA-based Forward Engineering
L. Favre
Journal of Object Technology
2005
Corpus ID: 2096000
Model Driven Architecture (MDA) is an emerging technology that is supposed to provide a technical framework for information…
Expand
2005
2005
Spectral amplitude-coding optical CDMA system using Mach-Zehnder Interferometers
Cheing-hong Lin
,
Jingshown Wu
,
H. Tsao
,
Chun-Liang Yang
Journal of Lightwave Technology
2005
Corpus ID: 111193925
In this paper, we propose a family of newly constructed codes to suppress the phase-induced intensity noise (PIIN) in spectral…
Expand
Highly Cited
2004
Highly Cited
2004
WSEAS TRANSACTIONS ON BIOLOGY AND BIOMEDICINE
N. Mastorakis
,
L. Cala
,
+4 authors
E. Venturino
2004
Corpus ID: 92162570
An approach for hybrid model identification based on sensitivity equations approach is tested on a hybrid model for biosurfactant…
Expand
2004
2004
Moduli Set Selection and Cost Estimation for RNS-Based FIR Filter and Filter Bank Design
Yong Liu
,
E. Lai
Design automation for embedded systems
2004
Corpus ID: 9869704
Moduli selection is one of the most important issues in the implementation of systems that make use of residue number systems. In…
Expand
2003
2003
CHALLENGES IN GETTING ‘FORMAL’ WITH VIRUSES
Arun Lakhotia
,
Prabhat K. Singh
2003
Corpus ID: 16734430
Researchers in academia and industry are beginning to develop anti-virus technologies founded on formal methods of analysing…
Expand
1997
1997
Protocol verification with the ALDÉBARAN toolset
M. Bozga
,
Jean-Claude Fernandez
,
A. Kerbrat
,
L. Mounier
International Journal on Software Tools for…
1997
Corpus ID: 1150299
The design of distributed systems is an increasingly complex task, yet competitiveness requires faster developments. Formal…
Expand
1995
1995
An Architecture for Agile Assembly
R. Hollis
,
A. Quaid
1995
Corpus ID: 6699257
,
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)
ACCEPT & CONTINUE
or Only Accept Required