This tool looks for unlabeled Wikidata items in your language. It starts with a Wikidata item, looks at all the associated Wikipedia pages, the links on all those pages, and lists the Wikidata items corresponding to the link targets.

Wikidata item	Q (Example \| In the news)
Language code

Q1329550 - static program analysis

Searching link targets on 19 Wikipedias...

Toggle existing labels

Item	Label [en]	Wikilabels	Link #
Q128751 [CC \| ]	source code	源代码 \| Quelltext \| ソースコード \| Zdrojový kód \| Πηγαίος κώδικας \| 소스 코드 \| Code source \| Исходный код \| Source code \| Código fuente \| Початковий код \| Mã nguồn \| Lähtekood \| Källkod \| Kod źródłowy \| نص برمجي مصدري \| کد منبع	17
Q188522 [CC \| ]	software testing	软件测试 \| Softwaretest \| ソフトウェアテスト \| Testování softwaru \| 소프트웨어 테스트 \| Test (informatique) \| Тестирование программного обеспечения \| Software testing \| Тестування програмного забезпечення \| Thử nghiệm phần mềm \| فحص البرمجيات \| آزمون نرم‌افزار	12
Q1342704 [CC \| ]	code review	代码审查 \| コードレビュー \| Posouzení kódu \| סקר קוד \| 코드 검토 \| Revue de code \| Просмотр кода \| Code review \| Revisión de código \| Перегляд коду \| Inspekcja kodu	11
Q157965 [CC \| ]	object code	目标代码 \| オブジェクトファイル \| Objektový kód \| 목적 파일 \| Object code \| Código objeto \| Mã đối tượng \| Objektkood \| Objektfiler \| Plik obiektowy	10
Q2499307 [CC \| ]	dynamic program analysis	動的プログラム解析 \| Δυναμική ανάλυση \| 동적 프로그램 분석 \| Analyse dynamique de programmes \| Динамический анализ кода \| Dynamic program analysis \| Dynaaminen analyysi \| Análisis dinámico de software \| Динамічний аналіз коду \| تحلیل دینامیک برنامه	10
Q1727373 [CC \| ]	lint	Lint \| Lint (Programmierwerkzeug) \| Lint (logiciel) \| Lint (software) \| Lint (Unix)	8
Q173326 [CC \| ]	formal verification	形式验证 \| 形式的検証 \| Formální verifikace \| Τυπική επαλήθευση \| Формальная верификация \| Formal verification \| Verificación formal \| Формальна верифікація	8
Q657339 [CC \| ]	software metric	軟體度量 \| ソフトウェア測定法 \| Métrique (logiciel) \| Метрика программного обеспечения \| Software metric \| Métrica del software \| Метрика програмного забезпечення	7
Q47506 [CC \| ]	compiler	Compiler \| Compilateur \| Компилятор \| Компілятор \| Trình biên dịch \| مصرف (حوسبة)	7
Q1860 [CC \| ]	English	Englische Sprache \| Αγγλική γλώσσα \| אנגלית \| Английский язык \| Englannin kieli \| Англійська мова \| اللغة الإنجليزية	7
Q7397 [CC \| ]	software	ソフトウェア \| Λογισμικό \| תוכנה \| Программное обеспечение \| Software \| Програмне забезпечення \| برمجية	7
Q648266 [CC \| ]	Wayback Machine	Wayback Machine \| 웨이백 머신	7
Q622849 [CC \| ]	halting problem	停机问题 \| Πρόβλημα τερματισμού \| 정지 문제 \| Problème de l'arrêt \| Halting problem \| Problema de la parada	6
Q224055 [CC \| ]	abstraction	抽象化 (計算機科學) \| 抽象化 (計算機科学) \| אבסטרקציה (מדעי המחשב) \| 추상화 (컴퓨터 과학) \| Abstraction (informatique) \| Abstraction (computer science)	6
Q2112188 [CC \| ]	program analysis	程序分析 \| Ανάλυση προγράμματος (πληροφορική) \| Program analysis \| Análisis de software \| Programmi analüüs \| Analiza programów	6
Q20899 [CC \| ]	podcast	Podcast \| 팟캐스트 \| Taskuhääling \| پادکست	6
Q33057 [CC \| ]	International Standard Book Number	ISBN \| International Standard Book Number \| النظام القياسي الدولي لترقيم الكتب \| شماره استاندارد بین‌المللی کتاب	6
Q7251 [CC \| ]	Alan Turing	Alan Turing \| アラン・チューリング \| Άλαν Τούρινγκ \| 앨런 튜링	6
Q631425 [CC \| ]	vulnerability	セキュリティホール \| 보안 취약점 \| Уязвимость (компьютерная безопасность) \| Vulnerability (computing) \| Agujero de seguridad \| Уразливість (інформаційні технології)	6
Q269608 [CC \| ]	reverse engineering	リバースエンジニアリング \| Reverzní inženýrství \| Обратная разработка \| Reverse engineering \| Ingeniería inversa \| Зворотна розробка	6
Q1049183 [CC \| ]	formal methods	形式化方法 \| 形式手法 \| 정형 기법 \| Formal methods \| Формальні методи	5
Q1437428 [CC \| ]	programming language semantics	形式语义学 \| プログラム意味論 \| Τυπική σημασιολογία των γλωσσών προγραμματισμού \| Semantics (computer science) \| علم الدلالة الشكلي	5
Q1930895 [CC \| ]	operational semantics	操作语义学 \| 操作的意味論 \| Λειτουργική σημασιολογία \| Operational semantics \| Semántica operacional	5
Q204711 [CC \| ]	Food and Drug Administration	美国食品药品监督管理局 \| アメリカ食品医薬品局 \| Úřad pro kontrolu potravin a léčiv \| Food and Drug Administration \| Administración de Alimentos y Medicamentos	5
Q92741 [CC \| ]	Alonzo Church	Alonzo Church \| 阿隆佐·邱奇 \| Αλόνζο Τσερτς	5
Q1375924 [CC \| ]	Hoare logic	霍尔逻辑 \| ホーア論理 \| Logique de Hoare \| Hoare logic \| Lógica de Hoare	5
Q3262192 [CC \| ]	decision problem	決定問題 \| Πρόβλημα απόφασης \| 결정 문제 \| Decision problem \| Problema de decisión	5
Q950250 [CC \| ]	test-driven development	Testováním řízený vývoj \| 테스트 주도 개발 \| Test-driven development \| Phát triển theo hướng thử nghiệm \| تطوير مقاد بالاختبار	5
Q41390 [CC \| ]	Kurt Gödel	Kurt Gödel \| Κουρτ Γκέντελ \| 쿠르트 괴델	5
Q25670 [CC \| ]	digital object identifier	디지털 객체 식별자 \| Identificador de objeto digital \| DOI (identyfikator cyfrowy) \| معرف الغرض الرقمي \| شناساگر اشیاء دیجیتال	5
Q1412670 [CC \| ]	software quality	소프트웨어 품질 \| Software quality \| Jakość oprogramowania \| جودة البرمجيات \| کیفیت نرم‌افزار	5
Q154755 [CC \| ]	Ada	Ada \| Ada (programming language)	4
Q333341 [CC \| ]	Abstract interpretation	抽象释义 \| 抽象解釈 \| Interprétation abstraite \| Abstract interpretation	4
Q1172416 [CC \| ]	data-flow analysis	数据流分析 \| データフロー解析 \| 데이터 흐름 분석 \| Data-flow analysis	4
Q176452 [CC \| ]	finite-state machine	有限状态机 \| 有限オートマトン \| 유한 상태 기계 \| Finite-state machine	4
Q40056 [CC \| ]	computer program	计算机程序 \| Počítačový program \| Programme informatique \| Tietokoneohjelma	4
Q965769 [CC \| ]	continuous integration	Kontinuierliche Integration \| Continuous integration \| Tích hợp liên tục \| إدماج مستمر	4
Q907375 [CC \| ]	unit testing	Modultest \| 単体テスト \| Unit testing \| آزمون واحد	4
Q19423 [CC \| ]	buffer overflow	Pufferüberlauf \| Dépassement de tampon \| Переполнение буфера \| Переповнення буфера	4
Q1893717 [CC \| ]	Rice's theorem	ライスの定理 \| Théorème de Rice \| Rice's theorem \| Teorema de Rice	4
Q792533 [CC \| ]	axiomatic semantics	公理的意味論 \| Αξιωματική σημασιολογία \| Axiomatic semantics \| Semántica axiomática	4
Q917415 [CC \| ]	regression testing	回帰テスト \| Regresní testování \| 회귀 테스트 \| آزمون رگرسیون	4
Q1964707 [CC \| ]	undefined behavior	未定義動作 \| Неопределённое поведение \| Undefined behavior \| Невизначена поведінка	4
Q13741 [CC \| ]	integrated development environment	統合開発環境 \| Integrated development environment \| Môi trường phát triển tích hợp \| بيئة تطوير متكاملة	4
Q638608 [CC \| ]	software development	פיתוח תוכנה \| Software development \| Phát triển phần mềm \| تطوير برمجيات	4
Q252733 [CC \| ]	Object Management Group	Object Management Group \| 객체 관리 그룹 \| گروه مدیریت شیء	4
Q209711 [CC \| ]	extreme programming	익스트림 프로그래밍 \| Extreme programming \| Lập trình cực hạn \| برمجة قصوى	4
Q193231 [CC \| ]	debugger	Débogueur \| Debugger \| Trình gỡ lỗi \| منقح	4
Q1144241 [CC \| ]	side effect	Effet de bord (informatique) \| Побочный эффект (программирование) \| Side effect (computer science) \| Побічний ефект (програмування)	4
Q80993 [CC \| ]	software engineering	Software engineering \| Ingeniería de software \| Công nghệ phần mềm \| هندسة البرمجيات	4
Q7226954 [CC \| ]	Polyspace	Polyspace \| PolySpace	3
Q461 [CC \| ]	Internet Archive	Internet Archive \| 互联网档案馆	3
Q193040 [CC \| ]	embedded system	嵌入式系统 \| 組み込みシステム \| Sistema embebido	3
Q741248 [CC \| ]	assertion	斷言 (程式) \| 表明 (プログラミング) \| Aserción (informática)	3
Q2652119 [CC \| ]	Program comprehension	程式理解 \| Program comprehension \| Comprensión del programa	3
Q1138363 [CC \| ]	Cppcheck	Cppcheck	3
Q1416761 [CC \| ]	FindBugs	FindBugs	3
Q1478575 [CC \| ]	FxCop	FxCop	3
Q1191161 [CC \| ]	MISRA C	MISRA C \| MISRA-C	3
Q1066228 [CC \| ]	white-box testing	White-Box-Test \| ホワイトボックステスト \| تست جعبه سفید	3
Q1810071 [CC \| ]	A/B testing	A/Bテスト \| A/B testování \| آزمون آ/ب	3
Q41506 [CC \| ]	Stanford University	スタンフォード大学 \| 스탠퍼드 대학교 \| دانشگاه استنفورد	3
Q2164323 [CC \| ]	documentation generator	ドキュメンテーションジェネレータ \| Documentation generator \| Generador de documentación	3
Q3966 [CC \| ]	computer hardware	ハードウェア \| Υλικό υπολογιστών \| Computer hardware	3
Q1569697 [CC \| ]	model checking	モデル検査 \| Έλεγχος μοντέλων \| Model checking	3
Q782466 [CC \| ]	integration testing	統合テスト \| Integrační testování \| تست یکپارچه‌سازی	3
Q1189746 [CC \| ]	denotational semantics	表示的意味論 \| Δηλωτική σημασιολογία \| Denotational semantics	3
Q1189053 [CC \| ]	fuzzing	Fuzz testování \| Fuzzing \| فازینگ	3
Q541691 [CC \| ]	SonarQube	SonarQube	3
Q21198 [CC \| ]	computer science	מדעי המחשב \| Informatique \| Computer science	3
Q7661178 [CC \| ]	Symbolic Execution	기호 실행 \| Symbolic execution \| اجرای نمادین	3
Q30232 [CC \| ]	agile software development	Agile software development \| Phát triển phần mềm linh hoạt \| أجايل (مبادئ تطوير برمجيات)	3
Q2507377 [CC \| ]	continuous delivery	Continuous delivery \| Phân phối liên tục \| تسليم مستمر	3
Q845566 [CC \| ]	debugging	Debugging \| Gỡ lỗi \| تصحيح برمجي	3
Q3025536 [CC \| ]	DevOps	DevOps \| ديف أوبس	3
Q187147 [CC \| ]	requirements analysis	Requirements analysis \| Yêu cầu (kỹ thuật) \| تحليل المتطلبات	3
Q3398377 [CC \| ]	software construction	Software construction \| Xây dựng phần mềm \| بناء البرمجيات	3
Q2297740 [CC \| ]	software deployment	Software deployment \| Triển khai phần mềm \| نشر البرمجيات	3
Q857102 [CC \| ]	software design	Software design \| Thiết kế phần mềm \| تصميم البرمجيات	3
Q2904257 [CC \| ]	software development process	Software development process \| Quy trình phát triển phần mềm \| عملية تطوير البرمجيات	3
Q940053 [CC \| ]	software maintenance	Software maintenance \| Bảo trì phần mềm \| صيانة البرمجيات	3
Q1460738 [CC \| ]	spiral model	Spiral model \| Mô hình xoắn ốc \| النموذج اللولبي	3
Q478175 [CC \| ]	waterfall model	Waterfall model \| Mô hình thác nước \| نموذج الشلال	3
Q97359440 [CC \| ]	Static application security testing	靜態應用程式安全測試 \| Static application security testing	2
Q1068794 [CC \| ]	Checkstyle	Checkstyle	2
Q1137075 [CC \| ]	ISO 26262	ISO 26262	2
Q251 [CC \| ]	Java	Java (Programmiersprache) \| جافا (لغة برمجة)	2
Q360812 [CC \| ]	correctness	Korrektheit (Informatik) \| Correctness (computer science)	2
Q288510 [CC \| ]	run time	Laufzeit (Informatik) \| זמן ריצה (תוכנה)	2
Q6643419 [CC \| ]	list of tools for static code analysis	Liste von Werkzeugen zur statischen Codeanalyse \| List of tools for static code analysis	2
Q2044404 [CC \| ]	PMD	PMD (Software) \| PMD (logiciel)	2
Q1138496 [CC \| ]	profiling	Profiler (Programmierung) \| Profiling (computer programming)	2
Q179550 [CC \| ]	software bug	Programmfehler \| Bug (informatique)	2
Q9143 [CC \| ]	programming language	Programmiersprache \| Programovací jazyk	2
Q751740 [CC \| ]	memory leak	Speicherleck \| Fuite de mémoire	2
Q2359689 [CC \| ]	automated code review	Style Checker \| כלים אוטומטיים לסקירת קוד	2
Q616554 [CC \| ]	race condition	Wettlaufsituation \| מרוץ תהליכים	2
Q35702 [CC \| ]	1930s	1930年代 \| عقد 1930	2
Q15777 [CC \| ]	C	C言語 \| C (langage)	2
Q68 [CC \| ]	computer	コンピュータ \| حاسوب	2
Q7489226 [CC \| ]	Shape analysis	シェープ解析 \| Shape analysis (program analysis)	2
Q1475717 [CC \| ]	test automation	テスト自動化 \| Automatizace testování	2
Q879969 [CC \| ]	black-box testing	ブラックボックステスト \| تست جعبه سیاه	2
Q816747 [CC \| ]	benchmark	ベンチマーク \| محک (رایانش)	2
Q667421 [CC \| ]	usability testing	ユーザビリティテスト \| Uživatelské testování	2
Q322514 [CC \| ]	acceptance testing	検収試験 \| آزمون پذیرش	2
Q865760 [CC \| ]	type system	מערכת טיפוסים \| Type system	2
Q2870778 [CC \| ]	code audit	코드 감사 \| Code audit	2
Q2727468 [CC \| ]	build automation	Moteur de production \| Build automation	2
Q772889 [CC \| ]	Pylint	Pylint	2
Q864915 [CC \| ]	Clang	Clang	2
Q215819 [CC \| ]	Microsoft SQL Server	Microsoft SQL Server	2
Q285614 [CC \| ]	p-code machine	P-код	2
Q454597 [CC \| ]	ReSharper	ReSharper	2
Q174666 [CC \| ]	cross-platform	Кроссплатформенность \| Багатоплатформність	2
Q4781496 [CC \| ]	application release automation	Application-release automation \| Tự động hóa phát hành ứng dụng	2
Q814447 [CC \| ]	behavior-driven development	Behavior-driven development \| تطوير مقاد بالسلوك	2
Q428361 [CC \| ]	Capability Maturity Model Integration	Capability Maturity Model Integration \| تكامل نموذج نضوج المقدرة	2
Q2348963 [CC \| ]	Control flow analysis	Control flow analysis \| Análisis de control del flujo	2
Q367664 [CC \| ]	data modeling	Data modeling \| Mô hình hóa dữ liệu	2
Q524367 [CC \| ]	Domain Driven Design	Domain-driven design \| تصميم مقاد بالنطاق	2
Q5970491 [CC \| ]	IEEE Standards Association	IEEE Standards Association	2
Q152361 [CC \| ]	ITIL	ITIL \| مكتبة البنية التحتية لتقانة المعلومات	2
Q24964334 [CC \| ]	infrastructure as code	Infrastructure as code \| البنية التحتية بصيغة نص برمجي	2
Q1543216 [CC \| ]	iterative and incremental development	Iterative and incremental development \| تطوير متكرر وتصاعدي	2
Q180591 [CC \| ]	kanban	Kanban (development) \| كانبان (هندسة برمجيات)	2
Q3751111 [CC \| ]	medical software	Medical software \| Software médico	2
Q607013 [CC \| ]	pair programming	Pair programming \| برمجة زوجية	2
Q1702721 [CC \| ]	personal software process	Personal software process \| عملية البرمجة الفردية	2
Q1135909 [CC \| ]	A Guide to the Project Management Body of Knowledge	Project Management Body of Knowledge \| الدليل المعرفي لإدارة المشاريع	2
Q795549 [CC \| ]	rapid application development	Rapid application development \| تطوير تطبيقات سريع	2
Q460387 [CC \| ]	scrum	Scrum (software development) \| سكرم (تطوير البرمجيات)	2
Q613566 [CC \| ]	software configuration management	Software configuration management \| إدارة تهيئة البرمجيات	2
Q181702 [CC \| ]	software documentation	Software documentation \| توثيق البرمجيات	2
Q947779 [CC \| ]	software project management	Software project management \| Quản lý dự án phần mềm	2
Q576460 [CC \| ]	software prototyping	Software prototyping \| صناعة النماذج الأولية للبرمجيات	2
Q613918 [CC \| ]	software quality assurance	Software quality assurance \| ضمان الجودة (برمجيات)	2
Q2467310 [CC \| ]	UML tool	UML tool \| Công cụ UML	2
Q1047808 [CC \| ]	user experience	User experience \| Trải nghiệm người dùng	2
Q3493345 [CC \| ]	SPARK	SPARK	1
Q3502995 [CC \| ]	undecidable problem	不可判定问题	1
Q622821 [CC \| ]	calculation	计算	1
Q2295111 [CC \| ]	code smell	Code-Smell	1
Q1123395 [CC \| ]	ConQAT	ConQAT	1
Q5205827 [CC \| ]	DO-178C	DO-178C	1
Q442770 [CC \| ]	Dynamic testing	Dynamisches Software-Testverfahren	1
Q1133472 [CC \| ]	format string attack	Formatstring-Angriff	1
Q1060017 [CC \| ]	IEC 61508	IEC 61508	1
Q1999921 [CC \| ]	No label in en!	Normierte Programmierung	1
Q591644 [CC \| ]	pendant	Pendant	1
Q2076669 [CC \| ]	Peter Liggesmeyer	Peter Liggesmeyer	1
Q60501851 [CC \| ]	Richard Seidl	Richard Seidl	1
Q1490811 [CC \| ]	Rough Auditing Tool for Security	Rough Auditing Tool for Security	1
Q2297613 [CC \| ]	No label in en!	Software Engineering Radio	1
Q2311792 [CC \| ]	Splint	Splint (Software)	1
Q1461658 [CC \| ]	static testing	Statisches Software-Testverfahren	1
Q333707 [CC \| ]	compile time	Übersetzungszeit	1
Q13233410 [CC \| ]	Android Studio	Android Studio	1
Q55452824 [CC \| ]	ESLint	ESLint	1
Q82268 [CC \| ]	Eclipse	Eclipse (統合開発環境)	1
Q1206660 [CC \| ]	IntelliJ IDEA	IntelliJ IDEA	1
Q14579 [CC \| ]	Linux kernel	Linuxカーネル	1
Q134067 [CC \| ]	Microsoft Visual Studio	Microsoft Visual Studio	1
Q1406 [CC \| ]	Microsoft Windows	Microsoft Windows	1
Q59 [CC \| ]	PHP	PHP (プログラミング言語)	1
Q11246150 [CC \| ]	No label in en!	Side-BN	1
Q28456544 [CC \| ]	SideCI	Sider	1
Q1062428 [CC \| ]	Windows Driver Kit	Windows Driver Kit	1
Q7978626 [CC \| ]	Web testing	ウェブアプリケーションテスト	1
Q19900 [CC \| ]	Oracle	オラクル (企業)	1
Q1546142 [CC \| ]	gray-box testing	グレーボックステスト	1
Q1199682 [CC \| ]	system testing	システムテスト	1
Q1683320 [CC \| ]	stress testing	ストレステスト	1
Q1982529 [CC \| ]	software performance testing	ソフトウェアパフォーマンステスト	1
Q16965930 [CC \| ]	soak testing	ソークテスト	1
Q184148 [CC \| ]	plug-in	プラグイン	1
Q4308623 [CC \| ]	mutation testing	ミューテーション解析	1
Q1399743 [CC \| ]	Model-based testing	モデルベーステスト	1
Q400185 [CC \| ]	ahead-of-time compiler	事前コンパイラ	1
Q778586 [CC \| ]	executable	実行ファイル	1
Q11456225 [CC \| ]	No label in en!	富士通ソフトウェアテクノロジーズ	1
Q787114 [CC \| ]	abstract machine	抽象機械	1
Q54862604 [CC \| ]	Orthogonal array testing	直交表テスト	1
Q291929 [CC \| ]	Predicate transformer semantics	述語変換意味論	1
Q15825362 [CC \| ]	runtime error	Běhová chyba	1
Q190686 [CC \| ]	subroutine	Podprogram	1
Q3510521 [CC \| ]	computer security	Počítačová bezpečnost	1
Q17143088 [CC \| ]	smoke testing	Smoke test	1
Q4027615 [CC \| ]	informatics	Πληροφορική	1
Q39645 [CC \| ]	semantics	Σημασιολογία	1
Q6457514 [CC \| ]	LDRA Testbed	LDRA Testbed	1
Q189900 [CC \| ]	information security	אבטחת מידע	1
Q503415 [CC \| ]	University of Maryland	אוניברסיטת מרילנד	1
Q3757 [CC \| ]	Java	ג'אווה	1
Q190087 [CC \| ]	data type	טיפוס נתונים	1
Q200303 [CC \| ]	inheritance	ירושה	1
Q1305241 [CC \| ]	encapsulation	כימוס	1
Q1211721 [CC \| ]	code coverage	כיסוי קוד	1
Q9135 [CC \| ]	operating system	מערכת הפעלה	1
Q19848926 [CC \| ]	null pointer	מצביע האפס	1
Q7248499 [CC \| ]	Programming complexity	סיבוכיות קוד	1
Q3240252 [CC \| ]	polymorphism	פולימורפיזם (מדעי המחשב)	1
Q6421208 [CC \| ]	Klocwork	קלוקוורק	1
Q1125955 [CC \| ]	input	קלט	1
Q79872 [CC \| ]	object-oriented programming	תכנות מונחה-עצמים	1
Q835922 [CC \| ]	lexical analysis	Analyse lexicale	1
Q194152 [CC \| ]	parsing	Analyse syntaxique	1
Q34653 [CC \| ]	1990s	Années 1990	1
Q109315314 [CC \| ]	Apex	Apex (langage)	1
Q2867003 [CC \| ]	No label in en!	Assemblage (informatique)	1
Q16254072 [CC \| ]	Astrée	Astrée	1
Q1644327 [CC \| ]	type case	Casse (typographie)	1
Q3759187 [CC \| ]	Gecos field	Champ Gecos	1
Q131140 [CC \| ]	COBOL	Cobol	1
Q1781447 [CC \| ]	computer configuration	Configuration (informatique)	1
Q1172167 [CC \| ]	Data profiling	Data profiling	1
Q913697 [CC \| ]	decompiler	Décompilateur	1
Q1423448 [CC \| ]	integer overflow	Dépassement d'entier	1
Q13218767 [CC \| ]	stack overflow	Dépassement de pile	1
Q775289 [CC \| ]	heap overflow	Dépassement de tas	1
Q1062340 [CC \| ]	segmentation fault	Erreur de segmentation	1
Q14902318 [CC \| ]	object file	Fichier objet	1
Q3113337 [CC \| ]	GrammaTech	GrammaTech	1
Q1773882 [CC \| ]	identifier	Identificateur	1
Q3150006 [CC \| ]	off-side rule	Indentation comme syntaxe	1
Q1146208 [CC \| ]	Institut National de Recherche en Informatique et en Automatique	Institut national de recherche en informatique et en automatique	1
Q20816930 [CC \| ]	machine instruction	Instruction-machine	1
Q183065 [CC \| ]	interpreter	Interprète (informatique)	1
Q20099485 [CC \| ]	Kiuwan	Kiuwan	1
Q3205974 [CC \| ]	Liverpool Data Research Associates	LDRA	1
Q192726 [CC \| ]	virtual machine	Machine virtuelle	1
Q188531 [CC \| ]	Objective-C	Objective-C	1
Q1156822 [CC \| ]	offset	Offset (informatique)	1
Q1156793 [CC \| ]	program optimization	Optimisation de code	1
Q185092 [CC \| ]	flowchart	Organigramme de programmation	1
Q333501 [CC \| ]	system crash	Plantage	1
Q634179 [CC \| ]	breakpoint	Point d'arrêt (informatique)	1
Q3080428 [CC \| ]	software portability	Portabilité (informatique)	1
Q205663 [CC \| ]	process	Processus (informatique)	1
Q3408762 [CC \| ]	No label in en!	Précompilateur	1
Q918333 [CC \| ]	preprocessor	Préprocesseur	1
Q92641 [CC \| ]	Robert W. Floyd	Robert Floyd	1
Q898314 [CC \| ]	coding convention	Règles de codage	1
Q205808 [CC \| ]	circular reference	Référence circulaire	1
Q796829 [CC \| ]	memory segmentation	Segmentation (informatique)	1
Q669129 [CC \| ]	arithmetic underflow	Soupassement arithmétique	1
Q3494425 [CC \| ]	Squale	Squale (qualité logicielle)	1
Q1996307 [CC \| ]	life-critical system	Système critique	1
Q471748 [CC \| ]	exception handling	Système de gestion d'exceptions	1
Q3519131 [CC \| ]	No label in en!	Testwell CMT++	1
Q3519130 [CC \| ]	No label in en!	Testwell CMTJava	1
Q213092 [CC \| ]	thread	Thread (informatique)	1
Q2378 [CC \| ]	Visual Basic	Visual Basic	1
Q6950605 [CC \| ]	Ariane flight V88	Vol 501 d'Ariane 5	1
Q11742780 [CC \| ]	linking	Édition de liens	1
Q4034701 [CC \| ]	BLAST model checker	BLAST (статический анализатор)	1
Q1105576 [CC \| ]	CodeWarrior	CodeWarrior	1
Q145270 [CC \| ]	Coverity	Coverity	1
Q1338047 [CC \| ]	JSLint	JSLint	1
Q2283 [CC \| ]	Microsoft	Microsoft	1
Q7121140 [CC \| ]	PVS-Studio	PVS-Studio	1
Q838016 [CC \| ]	printf	Printf	1
Q7444867 [CC \| ]	secure coding	Безопасное программирование	1
Q4650692 [CC \| ]	ACL2	ACL2	1
Q4653031 [CC \| ]	ANSI/ISO C Specification Language	ANSI/ISO C Specification Language	1
Q2136420 [CC \| ]	abstract rewriting system	Abstract rewriting system	1
Q352498 [CC \| ]	adaptive software development	Adaptive software development	1
Q20479 [CC \| ]	Agda	Agda (programming language)	1
Q4725609 [CC \| ]	alias analysis	Alias analysis	1
Q4733254 [CC \| ]	Alloy	Alloy (specification language)	1
Q25113083 [CC \| ]	automatic bug fixing	Automatic bug fixing	1
Q864155 [CC \| ]	binary decision diagram	Binary decision diagram	1
Q4036278 [CC \| ]	cleanroom software engineering	Cleanroom software engineering	1
Q15846555 [CC \| ]	completeness	Completeness (logic)	1
Q123944274 [CC \| ]	Constrained Horn clauses	Constrained Horn clauses	1
Q1187693 [CC \| ]	control flow graph	Control-flow graph	1
Q1131652 [CC \| ]	Coq	Coq (software)	1
Q975734 [CC \| ]	Curry–Howard correspondence	Curry–Howard correspondence	1
Q320724 [CC \| ]	Dependence analysis	Dependence analysis	1
Q17088389 [CC \| ]	disciplined agile delivery	Disciplined agile delivery	1
Q1259393 [CC \| ]	disjoint-set data structure	Disjoint-set data structure	1
Q2335896 [CC \| ]	Dynamic Systems Development Method	Dynamic systems development method	1
Q3045702 [CC \| ]	e-graph	E-graph	1
Q5324121 [CC \| ]	ESC/Java	ESC/Java	1
Q2497866 [CC \| ]	effect system	Effect system	1
Q5396965 [CC \| ]	escape analysis	Escape analysis	1
Q5422448 [CC \| ]	extreme programming practices	Extreme programming practices	1
Q5423559 [CC \| ]	F*	F*	1
Q5427374 [CC \| ]	FX-87	FX-87	1
Q1399336 [CC \| ]	feature-driven development	Feature-driven development	1
Q1437424 [CC \| ]	formal specification	Formal specification	1
Q649732 [CC \| ]	formal system	Formal system	1
Q24950778 [CC \| ]	glossary of artificial intelligence	Glossary of artificial intelligence	1
Q55639805 [CC \| ]	glossary of computer science	Glossary of computer science	1
Q3772484 [CC \| ]	glossary of electrical and electronics engineering	Glossary of electrical and electronics engineering	1
Q1487455 [CC \| ]	graphical user interface builder	Graphical user interface builder	1
Q5635438 [CC \| ]	HOL Light	HOL Light	1
Q117019667 [CC \| ]	Hyperproperty	Hyperproperty	1
Q1479753 [CC \| ]	ISO/IEC 9126	ISO/IEC 9126	1
Q17092699 [CC \| ]	ISO/IEC JTC 1/SC 7: Software and systems engineering	ISO/IEC JTC 1/SC 7	1
Q15408477 [CC \| ]	Idris	Idris (programming language)	1
Q15934753 [CC \| ]	incremental build model	Incremental build model	1
Q6052706 [CC \| ]	International Requirements Engineering Board	International Requirements Engineering Board	1
Q385374 [CC \| ]	invariant	Invariant (computer science)	1
Q460340 [CC \| ]	Isabelle	Isabelle (proof assistant)	1
Q2517517 [CC \| ]	Java Modeling Language	Java Modeling Language	1
Q3205992 [CC \| ]	LEGO	LEGO (proof assistant)	1
Q242028 [CC \| ]	lambda calculus	Lambda calculus	1
Q6509476 [CC \| ]	Lean	Lean (proof assistant)	1
Q2665555 [CC \| ]	Lean software development	Lean software development	1
Q841728 [CC \| ]	linear logic	Linear logic	1
Q2238838 [CC \| ]	loop invariant	Loop invariant	1
Q3312398 [CC \| ]	Microsoft Solutions Framework	Microsoft Solutions Framework	1
Q1609529 [CC \| ]	Mizar system	Mizar system	1
Q2651576 [CC \| ]	model of computation	Model of computation	1
Q22907407 [CC \| ]	NuPRL	Nuprl	1
Q1392305 [CC \| ]	OpenUP	OpenUP	1
Q7112733 [CC \| ]	outline of software development	Outline of software development	1
Q117085644 [CC \| ]	Path explosion	Path explosion	1
Q724168 [CC \| ]	Petri net	Petri net	1
Q5978076 [CC \| ]	pointer analysis	Pointer analysis	1
Q7227142 [CC \| ]	Polyvariance	Polyvariance	1
Q1970286 [CC \| ]	process calculus	Process calculus	1
Q1413145 [CC \| ]	Program slicing	Program slicing	1
Q1077784 [CC \| ]	programming tool	Programming tool	1
Q11387554 [CC \| ]	proof assistant	Proof assistant	1
Q3408184 [CC \| ]	Prototype Verification System	Prototype Verification System	1
Q7300330 [CC \| ]	Reactor protection system	Reactor protection system	1
Q7380130 [CC \| ]	Runtime verification	Runtime verification	1
Q21055608 [CC \| ]	SAT solver	SAT solver	1
Q7389723 [CC \| ]	SEMAT	SEMAT	1
Q114637252 [CC \| ]	Safety and liveness properties	Safety and liveness properties	1
Q23808624 [CC \| ]	Scaled Agile Framework	Scaled agile framework	1
Q3257964 [CC \| ]	separation logic	Separation logic	1
Q2164287 [CC \| ]	Software Engineering Body of Knowledge	Software Engineering Body of Knowledge	1
Q1378470 [CC \| ]	software development methodology	Software development methodology	1
Q929972 [CC \| ]	Software inspection	Software inspection	1
Q11702993 [CC \| ]	software walkthrough	Software walkthrough	1
Q693083 [CC \| ]	soundness	Soundness	1
Q7575011 [CC \| ]	Specification by example	Specification by example	1
Q1209840 [CC \| ]	specification language	Specification language	1
Q7598047 [CC \| ]	stand-up meeting	Stand-up meeting	1
Q28955120 [CC \| ]	TLA+	TLA+	1
Q1421651 [CC \| ]	team software process	Team software process	1
Q781833 [CC \| ]	temporal logic	Temporal logic	1
Q7702793 [CC \| ]	Termination analysis	Termination analysis	1
Q163310 [CC \| ]	Turing machine	Turing machine	1
Q7666857 [CC \| ]	Twelf	Twelf	1
Q7860967 [CC \| ]	Typestate analysis	Typestate analysis	1
Q3297086 [CC \| ]	V-Model	V-model (software development)	1
Q20921172 [CC \| ]	No label in en!	Symbolinen analyysi	1
Q118455746 [CC \| ]	authority control	Control de autoridades	1
Q30 [CC \| ]	United States of America	Estados Unidos	1
Q145 [CC \| ]	United Kingdom	Reino Unido	1
Q2526135 [CC \| ]	security	Seguridad	1
Q963731 [CC \| ]	semantics of logic	Semántica formal	1
Q197970 [CC \| ]	Turing completeness	Turing completo	1
Q2013 [CC \| ]	Wikidata	Wikidata	1
Q13515725 [CC \| ]	archive.today	Archive.is	1
Q263544 [CC \| ]	Common Intermediate Language	Common Intermediate Language	1
Q178940 [CC \| ]	GNU Compiler Collection	GNU Compiler Collection	1
Q838005 [CC \| ]	gets	Gets	1
Q543287 [CC \| ]	null	NULL (C)	1
Q2622457 [CC \| ]	Oracle Developer Studio	Oracle Solaris Studio	1
Q1058748 [CC \| ]	cut, copy, and paste	Вирізання, копіювання та вставлення	1
Q2682392 [CC \| ]	Common Weakness Enumeration	Загальний перелік вразливостей	1
Q1206110 [CC \| ]	program operator	Оператор (програмування)	1
Q2101564 [CC \| ]	specification	Специфікація	1
Q312466 [CC \| ]	utility software	Утиліта	1
Q1060682 [CC \| ]	ISO 9001	ISO 9001	1
Q12119947 [CC \| ]	No label in en!	Keeletoimetamine	1
Q131276 [CC \| ]	International Standard Serial Number	International Standard Serial Number	1
Q118398 [CC \| ]	arXiv	أرخايف	1
Q94 [CC \| ]	Android	أندرويد (نظام تشغيل)	1
Q206008 [CC \| ]	ISO 9000 series	أيزو 9000	1
Q3258398 [CC \| ]	unified process	العملية الموحدة	1
Q478019 [CC \| ]	Rational Unified Process	العملية الموحدة لراشيونال	1
Q1899125 [CC \| ]	clean room design	تصميم الغرفة النظيفة	1
Q11248500 [CC \| ]	user experience design	تصميم تجربة المستخدم	1
Q1142155 [CC \| ]	V-model	نموذج V	1
Q165194 [CC \| ]	application programming interface	واجهة برمجة التطبيقات	1
Q13424265 [CC \| ]	security testing	تست امنیت	1