Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

VERIFICATION (SOFTWARE ENGINEERING)

Subject

Browse all works related to VERIFICATION (SOFTWARE ENGINEERING).

Home
Subject
VERIFICATION (SOFTWARE ENGINEERING)

"31" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

An introduction to verification of visualization techniques

An introduction to verification of visualization techniques

by Silva, Claudio T., Etiene, Tiago, Kirby, Robert M.

fromSynthesis lectures on visual computing: computer graphics, …

0 Type: Book

Guidance for the verification and validation of neural networks

Guidance for the verification and validation of neural networks

by Taylor, Brian J., Pullum, Laura L., Darrah, Majorie A.

0 Type: Book

Many-sorted logic and its applications

Many-sorted logic and its applications

by Meinke, Karl

fromWiley professional computing

0 Type: Book

Verification of systems and circuits using LOTOS, Petri nets, and CCS

Verification of systems and circuits using LOTOS, Petri nets, and CCS

by Yoeli, Michael, Kol, Rakefet

fromWiley Series on Parallel and Distributed Computing

0 Type: Book

Integrated formal methods

Integrated formal methods: 8th international conference : proceedings

by Méry, Dominique, International Conference on Integrated Formal Methods

fromLecture Notes in Computer Science

0 Type: Book

Exploratory software testing

Exploratory software testing: tips, tricks, tours, and techniques to guide test…

by Whittaker, James A.

0 Type: Book

International Workshop on Memory Technology, Design and Testing

International Workshop on Memory Technology, Design and Testing: proceedings

by Institute of Electrical and Electronics Engineers (New York (N.Y.)), Lombardi, Fabrizio, IEEE International Workshop on Memory Technology, Design and Testing

0 Type: Book

Certified programs and proofs

Certified programs and proofs: Proceedings : First International Conference

by Jouannaud, Jean-Pierre, Informatiker, Jouannaud, Jean-Pierre, Informaticien, Jouannaud, Jean-Pierre, Computer scientist, International Conference on Certified Programs and Proofs

fromLecture Notes in Computer Science

0 Type: Book

Software Engineering and Formal Methods

Software Engineering and Formal Methods: 9th International Conference, Proceedings

by Barthe, Gilles

fromLecture Notes in Computer Science

0 Type: Book

Software engineering techniques

Software engineering techniques: revised selected papers

by Huzar, Zbigniew, IFIP TC 2 Central and East European Conference on Software Engineering Techniques

fromLecture Notes in Computer Science

0 Type: Book

Model checking software

Model checking software: proceedings

by Groce, Alex, International SPIN Workshop

fromLecture Notes in Computer Science

0 Type: Book

Model checking software

Model checking software: 18th International SPIN Workshop, Snowbird, UT, U…

by Groce, Alex, International SPIN Workshop (18, 2011, Snowbird, Utah)

fromLecture Notes in Computer Science

0 Type: Book

Model checking and artificial intelligence

Model checking and artificial intelligence: 6th international workshop, revised selected and …

by Van der Meyden, Ron, Workshop on Model Checking and Artificial Intelligence

fromLecture Notes in Computer Science

0 Type: Book

Empirical software engineering and verification

Empirical software engineering and verification: international summer schools : revised tutorial l…

by LASER Summer School on Software Engineering, Meyer, Bertrand, Ingénieur, Meyer, Bertrand, Engineer

fromLecture Notes in Computer Science

0 Type: Book

Empirical software engineering and verification

Empirical software engineering and verification: international summer schools : revised tutorial l…

by LASER Summer School on Software Engineering, Meyer, Bertrand, Ingénieur, Meyer, Bertrand, Engineer

fromLecture Notes in Computer Science

0 Type: Book

Leveraging applications of formal methods, verification, and validation

Leveraging applications of formal methods, verification, and validation: proceedings

by Margaria, Tiziana, International Symposium on Leveraging Applications of Formal Methods

fromLecture Notes in Computer Science

0 Type: Book

Leveraging applications of formal methods, verification, and validation

Leveraging applications of formal methods, verification, and validation: proceedings

by Margaria, Tiziana, International Symposium on Leveraging Applications of Formal Methods

fromLecture Notes in Computer Science

0 Type: Book

Software engineering and formal methods

Software engineering and formal methods: 10th international conference : proceedings

by Eleftherakis, George, International Conference on Software Engineering and Formal Methods

fromLecture Notes in Computer Science

0 Type: Book

Foundations of software technology and theoretical computer science

Foundations of software technology and theoretical computer science: 14th conference : Madras, India, December 15-17, …

by Thiagarajan, P. S., Conference on Foundations of software technology and theoretical computer science, Madras)

fromLecture Notes in Computer Science

0 Type: Book

Foundations of software technology and theoretical computer science

Foundations of software technology and theoretical computer science: 14th conference, Madras, India, December 15 - 17,…

by FST and TCS, Madras)

fromLecture Notes in Computer Science

0 Type: Book

1
2

Subjects

VERIFICATION (SOFTWARE ENGINE… (31) VERIFIKATION (SOFTWARE ENGINE… (31) VÉRIFICATION (GÉNIE LOGICIEL) (31) SPECIFICATIONS (SOFTWARE ENGI… (12) SPEZIFIKATIONEN (SOFTWARE ENG… (12) SPÉCIFICATIONS + CONCEPTS DE … (12) CORRECTNESS (THEORY OF PROGRA… (7) KORREKTHEIT (THEORIE DER PROG… (7) PROGRAMMES CORRECTS (THÉORIE … (7) Computer software -- Verifica… (5) Software Engineering (5) Computer programs -- Verifica… (4) Génie logiciel (4) Génie logiciel -- Congrès (4) Logiciels -- Vérification (4) Software engineering -- Congr… (4) TESTEN + FEHLERSUCHEN (SOFTWA… (4) TESTING + DEBUGGING (SOFTWARE… (4) TESTS ET MISE AU POINT DE PRO… (4) Model Checking (3) Theoretische Informatik (3) ALGEBRAIC SPECIFICATION (THEO… (2) ALGEBRAISCHE SPEZIFIKATION (T… (2) ALGORITHMIC COMPLEXITY (MATHE… (2) ALGORITHMISCHE KOMPLEXITÄT (M… (2) ANALYSE DE SYSTÈMES + CONCEPT… (2) Algebra -- Data processing (2) Algèbre -- informatique (2) Beweistheorie (2) COMPLEXITÉ ALGORITHMIQUE (MAT… (2) DEVELOPMENT TOOLS + DEVELOPME… (2) DEVELOPPEMENT DE LOGICIELS (G… (2) Debugging in computer science (2) ENTWICKLUNGSWERKZEUGE + ENTWI… (2) FIABILITÉ DU LOGICIEL (GÉNIE … (2) Formale Methode (2) INFORMATIQUE THÉORIQUE (2) Informatik (2) MÉTHODES DE PROGRAMMATION SPÉ… (2) PARALLEL PROCESSING + CONCURR… (2) PARALLELVERARBEITUNG + NEBENL… (2) PROGRAMME UND ALGORITHMEN ZUR… (2) PROGRAMMES ET ALGORITHMES POU… (2) PROGRAMS AND ALGORITHMS FOR T… (2) Programmierung (2) RELIABILITY + FAULT-TOLERANCE… (2) Reduktionssystem (2) SEMANTICS OF PROGRAMMING LANG… (2) SEMANTIK VON PROGRAMMIERSPRAC… (2) SPECIAL PROGRAMMING METHODS (2) SPECIFICATION ALGEBRIQUE (THÉ… (2) SPEZIELLE PROGRAMMIERMETHODEN (2) SYNTAXE ET SÉMANTIQUE DES LAN… (2) SYSTEMANALYSE + SYSTEMENTWICK… (2) SYSTEMS ANALYSIS + SYSTEMS DE… (2) Softwareentwicklung (2) THEORETICAL COMPUTER SCIENCE (2) THEORIE DER PROGRAMMIERUNG (2) THEORY OF PROGRAMMING (2) THÉORIE DE LA PROGRAMMATION (2) TRAITEMENT PARALLELE + SIMULT… (2) Typentheorie (2) Typsystem (2) ZUVERLÄSSIGKEIT + FEHLERTOLER… (2) APPLICATIONS INFORMATIQUES EN… (1) ARCHITECTURES DES MICROPROCES… (1) CCS (1) CIRCUITS INTÉGRÉS (HARDWARE) (1) COMPUTER APPLICATIONS IN MEDI… (1) COMPUTERANWENDUNGEN/MEDIZIN U… (1) Circuits intégrés -- Vérifica… (1) Computer graphics (1) Computer programs -- Validati… (1) Computer software -- Congress… (1) Computer software -- Developm… (1) Computer software -- Validati… (1) Computergrafik (1) DATA SECURITY + DATA PROTECTI… (1) DATENSICHERHEIT + DATENSCHUTZ… (1) Dreidimensionale Computergraf… (1) Débogage (1) ECHTZEITSYSTEME + EINGEBETTET… (1) Echtzeitsystem (1) Eingebettetes System (1) Empirische Forschung (1) F.1 (1) F.2 (1) FACHLICHE NACHSCHLAGEWERKE + … (1) FORMALE BESCHREIBUNGSTECHNIKEN (1) Fehlertoleranz (1) Formal methods (Computer scie… (1) Formal methods (Computer scie… (1) GESTION DE PROJETS + GESTION … (1) GÉNÉRATION DE LA STRUCTURE DE… (1) GÜLTIGKEITSPRÜFUNG (SOFTWARE … (1) INFORMATIQUE GRAPHIQUE (1) INFORMATIQUE GRAPHIQUE TRIDIM… (1) INTEGRATED CIRCUITS (HARDWARE) (1) INTEGRIERTE SCHALTKREISE (HAR… (1) INTELLIGENT SYSTEMS (ARTIFICI… (1) INTELLIGENTE SYSTEME (KÜNSTLI… (1) Information visualization (1) Information visualization -- … (1) Informatique -- Congrès (1) Integrated circuits -- Verifi… (1) Korrektheit (1) LEHRBÜCHER (DOKUMENTENTYP) (1) LOGIQUE MULTI-ESPÈCES (LOGIQU… (1) LOGIQUE TEMPORELLE (LOGIQUE M… (1) LOTOS (1) LOTOS (Computer program langu… (1) LOTOS (Langage de programmati… (1) Linguaggi di programmazione. … (1) Logiciels -- Congrès (1) Logiciels -- Validation (1) Logics and Meanings of Progra… (1) MAINTENANCE DES LOGICIELS (GÉ… (1) MANUELS POUR L'ENSEIGNEMENT (… (1) MANY-SORTED LOGIC (MATHEMATIC… (1) MEHRSORTENLOGIK (MATHEMATISCH… (1) MEMORIES + MEMORY STRUCTURES … (1) MODÈLES D'OBJET (INFOGRAPHIE) (1) Mehrwertige Logik (1) MÉMOIRES/ÉLÉMENTS, DISPOSITIF… (1) Méthodes formelles (Informati… (1) NEURAL NETWORKS + CONNECTIONI… (1) NEURONALE NETZWERKE + KONNEKT… (1) Nebenläufigkeit (1) Neural networks (Computer sci… (1) OBERFLÄCHENGENERIERUNG (COMPU… (1) OBJECT MODELLING (COMPUTER GR… (1) OBJEKTMODELLIERUNG (COMPUTERG… (1) OUVRAGES DE RÉFÉRENCE SPÉCIAL… (1) PETRI NETS (CONTROL SYSTEMS T… (1) PETRINETZE (THEORIE DER REGEL… (1) PROCESSOR ARCHITECTURES + COM… (1) PROJECT MANAGEMENT + PEOPLE M… (1) PROJEKTMANAGEMENT + PERSONALM… (1) PROZESSORARCHITEKTUREN + RECH… (1) Petri nets (1) Petri-Netz (1) Programming Languages, Compil… (1) QUALITÉ DU LOGICIEL (GÉNIE LO… (1) Qualitätskontrolle (1) REAL-TIME SYSTEMS + EMBEDDED … (1) Requirements engineering (1) RÉSEAUX DE NEURONES ARTIFICIE… (1) RÉSEAUX DE PETRI (THÉORIE DES… (1) Réseaux de Pétri (1) Réseaux neuronaux (Informatiq… (1) SEFM (1) SOFTWARE DISTRIBUTION + SOFTW… (1) SOFTWARE QUALITY (SOFTWARE EN… (1) SOFTWAREQUALITÄT (SOFTWARE EN… (1) SOFTWAREVERTEILUNG + SOFTWARE… (1) SPECIALIZED REFERENCE WORKS +… (1) SPEICHER + SPEICHERSTRUKTUREN… (1) STABILITY + RELIABILITY + CHE… (1) STABILITÄT + ZUVERLÄSSIGKEIT … (1) STABILITÉ + FIABILITÉ + CONTR… (1) SYSTÈMES EN TEMPS RÉEL ET SYS… (1) SYSTÈMES INTELLIGENTS (INTELL… (1) Software Basico (1) SÉCURITÉ ET PROTECTION DES DO… (1) TECHNIQUES DE DESCRIPTION FOR… (1) TEMPORAL LOGIC (MATHEMATICAL … (1) TEMPORALLOGIK (MATHEMATISCHE … (1) TEXTBOOKS (DOCUMENT TYPE) (1) TEXTURE RENDERING (COMPUTER G… (1) THREE-DIMENSIONAL COMPUTER GR… (1) Temporale Logik (1) Teoria da computacao (1) Testen (1) VALIDATION (SOFTWARE ENGINEER… (1) VALIDATION DE PROGRAMMES (GÉN… (1) Verifikation (1) Visualisation de l'informatio… (1) formal description techniques (1) software (1)

Contributor

Margaria, Tiziana (4) International Symposium on Le… (3) Filliâtre, Jean-Christophe (2) Groce, Alex (2) LASER Summer School on Softwa… (2) Meade, Kathleen A. (2) Meyer, Bertrand, Engineer (2) Meyer, Bertrand, Ingénieur (2) Rosenberg, Sharon (2) Barthe, Gilles (1) Conference on Foundations of … (1) Darrah, Majorie A. (1) Eleftherakis, George (1) Erlingsson, Úlfar (1) Etiene, Tiago (1) FST and TCS, Madras) (1) Grumberg, Orna (1) Huber, Ludwig (1) Huzar, Zbigniew (1) IEEE International Workshop o… (1) IFIP TC 2 Central and East Eu… (1) Institute of Electrical and E… (1) International Conference on C… (1) International Conference on I… (1) International Conference on S… (1) International SPIN Workshop (1) International SPIN Workshop (… (1) International Symposium on En… (1) International Symposium on Le… (1) International Workshop TYPES (1) Jouannaud, Jean-Pierre, Compu… (1) Jouannaud, Jean-Pierre, Infor… (1) Jouannaud, Jean-Pierre, Infor… (1) Kirby, Robert M. (1) Kol, Rakefet (1) Lombardi, Fabrizio (1) Meinke, Karl (1) Méry, Dominique (1) Pullum, Laura L. (1) Ravn, Anders P. (1) Silva, Claudio T. (1) Stavely, Allan M. (1) Symposium on Formal Technique… (1) Taylor, Brian J. (1) Thiagarajan, P. S. (1) Van der Meyden, Ron (1) Whittaker, James A. (1) Workshop on Model Checking an… (1) Yoeli, Michael (1)

Publisher

Springer (20) Addison-Wesley (2) Cadence Design Systems (2) IEEE Computer Society Press (1) Interpharm Press (1) J. Wiley (1) Morgan & Claypool Publishers (1) Springer-Verlag (1) Wiley (1) Wiley-Interscience (1)

Year

2016 (1) 2012 (5) 2011 (7) 2010 (6) 2008 (2) 2007 (1) 2006 (2) 2002 (1) 1999 (1) 1998 (1) 1997 (1) 1994 (2) 1993 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type