The term "infrastructure tool" is correct and usable in written English.
It can be used to refer to any kind of tool or device used to help with constructing or maintaining infrastructure. For example, "The construction company invested in a new infrastructure tool that made their work faster and more efficient."
"We're seeing more forward thinking toward innovative market development, and the right infrastructure tools to ensure the integrity and transparency of the marketplace," said Ms. Robinson, of Markit, which is providing credit issuance, registry, transaction and management services for the new exchange.
Typical IAM systems consist of three fundamental components (Fig. 1): IAM data stored in the infrastructure, tool-supported functionalities for executing and automating user management tasks and policies structuring the management of the overall IAM system itself [27].
Private partners will provide applications, training materials, train-the-trainer programs, technical expertise, and infrastructure tools.
Linkerd is maybe the most popular of a new crop of infrastructure tools that fall under the "service mesh" heading.
At the center of the geo-locational explosion, SimpleGeo provides infrastructure tools (like a Software Developer Kit) to developers who want to add location services to their apps.
But while building the infrastructure tools to power the game, they realized there was a much bigger opportunity to build the underlying maps for everyone's games.
The investments we're making in our infrastructure, tools, and workflows are going to allow us to build products that just aren't possible today.
With $5,000 of her student loan money and low-cost infrastructure tools like Google Translate, Google Voice and Twilio, Lim was able to build a multilingual communications tool connecting teachers and families.
Enlaces has provided basic infrastructure tools, connectivity, ICTs, and teacher training to a huge number of schools, but critical results are narrow in terms of classroom learning and no additional competencies have been observed.
The merger of CHOW and Urban Baby into the Entertainment & Lifestyle business unit simplifies our business, and allows us to leverage infrastructure, tools and best practices across this larger group.
