Industries: Diamond processing, metal-cutting machine tools, forge-pressing machines, electric motors, tires, knitted wear, hosiery, shoes, silk fabric, chemicals, trucks, instruments, microelectronics, jewellery manufacturing, software development, food processing, brandy.

The notion of abstract data types is related to the concept of data abstraction, important in object-oriented programming and design by contract methodologies for software development.

* Metamath-a language for developing strictly formalized mathematical definitions and proofs accompanied by a proof checker for this language and a growing database of thousands of proved theorems ; while the Metamath language is not accompanied with an automated theorem prover, it can be regarded as important because the formal language behind it allows development of such a software ; as of March, 2012, there is no " widely " known such software, so it is not a subject of " automated theorem proving " ( it can become such a subject ), but it is a proof assistant.

The production controllers were quite different and a great disappointment to the electrical and software development teams.

When Nintendo revived the industry, they signed up software development companies to create NES games under a strict license agreement which imposed serious restrictions on what they were allowed to do.

When the original digital signature generating software was turned over to the Atari community, development of new Atari 7800 titles began.

Atari Corp. and Epyx eventually agreed that Atari Corp. would handle production and marketing, while Epyx would handle software development.

Category: Video game development software

Category: Amiga development software

In software development, UAT is one of the final stages of a project and often occurs before a client or customer accepts the new system.

Acceptance testing is a term used in agile software development methodologies, particularly Extreme Programming, referring to the functional testing of a user story by the software development team during the implementation phase.

According to the London IPO filings, the management team was Philippe Kahn as President, Spencer Ozawa as VP of Operations, Marie Bourget as CFO, and Spencer Leyton as VP of business development, while all software development was continuing to take place in Denmark and later London as the Danish co-founders moved there.

Borland developed a series of well-regarded software development tools.

In October 1994, Borland sold Quattro Pro and Paradox to Novell for $ 140 million in cash, repositioning the company on its core software development tools and the Interbase database engine and shifting toward client-server scenarios in corporate applications.

On March 20, 2006, Borland announced its acquisition of Gauntlet Systems, a provider of technology that screens software under development for quality and security.

It generates new knowledge that is useful in such fields as drug design and development of new software tools to create that knowledge.

Category: Video game development software

Category: Amiga development software

The highest-quality software is thus developed by a team of various domain experts, each person a specialist in some area of development.

The software industry includes businesses for development, maintenance and publication of software that are using any business model.

The study of mathematical proof is particularly important in logic, and has applications to automated theorem proving and formal verification of software.

In aerospace design a kluge was a temporary design using separate commonly available components that were not flight worthy to proof the design and enable concurrent software development while the integrated components were developed and manufactured.

* X10-Free software Theta menus, proof of concept prototype for X10, written in June 1986 by Don Hopkins.

Its significance lies in providing a proof of concept that the project can actually integrate and deliver software, artwork and media, as well as maintain a community capable of creativity and innovation.

The alternative is formal software verification, which uses mathematical proof techniques to show the absence of bugs.

Recently, some formalist mathematicians have proposed that all of our formal mathematical knowledge should be systematically encoded in computer-readable formats, so as to facilitate automated proof checking of mathematical proofs and the use of interactive theorem proving in the development of mathematical theories and computer software.

In 1993, ILM visual effects specialist John Knoll created a proof of concept test of dogfighting X-wings and TIE fighters to demonstrate the feasibility of using commercially-available desktop computer software for simple animation work .< ref name = Homing145 >

On November 25, 2004 he released a proof of concept program that allows Linux users ( via VLC ) to play video encoded with Microsoft's proprietary WMV9 codec, by porting the reference version of the software.

The aim is to remove any remaining uncertainty about the validity of the proof by creating a formal proof that can be verified by automated proof checking software such as HOL.

Isolation must be failure proof for all types of failures whether they be software or human caused failures.

In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by man-machine collaboration.

The Böhm-Jacopini proof did not settle the question of whether to adopt structured programming for software development, partly because the construction was more likely to obscure a program than to improve it.

The integrated modular avionics concept proposes an integrated architecture with application software portable across an assembly of common hardware modules.

Copyright has grown from a legal concept regulating copying rights in the publishing of books and maps to one with a significant effect on nearly every modern industry, covering such items as sound recordings, films, photographs, software, and architectural works.

He developed a free software definition and the concept of " copyleft ", designed to ensure software freedom for all.

The concept of libre works arose with Richard Stallman ’ s description of free software in 1985 and was codified in the 1986 free software definition.

The Amstrad PCW's bundled word processing software, LocoScript, used the term " in limbo " to refer to files which had been deleted but which could still be restored, a concept similar to that later implemented by the Trash in the Apple Macintosh and the Recycle Bin in Microsoft Windows 95.

The more general term machinima, a misspelled portmanteau of machine cinema, arose when the concept spread beyond the Quake series to other games and software.

" Another important feature of Doom was that it allowed players to create their own modifications, maps, and software for the game, thus expanding the concept of game authorship.

* List of concept mapping and mind mapping software

* Mount ( streaming ), a concept used in streaming software programs

Native Instruments ' Kore was an effort to bring the editor / librarian concept into the age of software instruments.

In 1951 Maurice Wilkes enhanced this concept by adding conditional execution, a concept akin to a conditional in computer software.

He wrote a number of software packages ( including BRL-CAD ) and network tools ( including ttcp and the concept of the default route or " default gateway ") and contributed to many others ( including BIND ).

The concept of the memex influenced the development of early hypertext systems ( eventually leading to the creation of the World Wide Web ) and personal knowledge base software.

* In the essay " Homesteading the Noosphere ", programmer and advocate Eric S. Raymond uses the concept in discussing the social workings of open-source software development.

The term evokes open source, which is a related concept in software.

However, the basic concept of peer-to-peer computing was envisioned in earlier software systems and networking discussions, reaching back to principles stated in the first Request for Comments, RFC 1.

Dijkstra wrote his seminal paper, " Go To Statement Considered Harmful ", in 1968 and David Parnas introduced the key concept of modularity and information hiding in 1972 to help programmers deal with the ever increasing complexity of software systems.

In the 1980s and early-to-mid 1990s, shareware was considered to be a concept for independent software writers to receive a degree of remuneration for their labor.

Programmers frequently adapt source code from one piece of software to use in other projects, a concept known as software reusability.