Výsledky vyhledávání - "Automatic Programming- Program verification"

DSD-Crasher: A hybrid analysis tool for bug finding

Autoři: Christoph Csallner Tao Xie The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Christoph Csallner Tao Xie The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.uoregon.edu/~yannis/dsd-tosem.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—formal methods, reliability, D.2.5 [Software Engineering, Testing and Debugging— testing tools, I.2.2 [Artificial Intelligence, Automatic Programming—program verification General Terms, Verification Additional Key Words and Phrases, Automatic testing, bug finding, dynamic analysis, dynamic invariant detection

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.4597

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.4597
http://www.cs.uoregon.edu/~yannis/dsd-tosem.pdf

Programs]: Specifying and Verifying and Reasoning about Programs--logics ofprograms; mechanical

Autoři: A. P. Sistla E. M. Clarke The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: A. P. Sistla E. M. Clarke The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf.

Témata: veriJ?cation, 1.2.2 [Artificial Intelligence, Automatic Programming--program verification General Terms, Theory Additional Key Words and Phrases, Branching time temporal logic, decision procedures, linear time temporal logic, NP-complete, PSPACE-complete, satistiability

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.178; http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.178
http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf

The Use of Application Domain Knowledge (and Other Techniques) for Facilitating Requirements Capture

Autoři: Stewart Green The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Stewart Green The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.soi.city.ac.uk/homes/till/wp31.ps.

Témata: Program Verification- Validation, D.2.5 [Software Engineering, Testing and debugging- Test data generators, I.2.0 [Artificial Intelligence, General- Cognitive simulation, I.2.2 [Artificial Intelligence, Automatic Programming- Program verification, I.2.4 [Artificial Intelligence, Knowledge Representations Formalisms and methods- Frames and scripts, Representation languages, RML, I.2.5 [Artificial Intelligence, Programming Languages and Software- Expert system tools and techniques, I.2.6 [Artificial Intelligence, Learning- Knowledge acquisition, I.2.7 [Artificial Intelligence, Natural Language Processing- Text analysis, I.6.8 [Simulation and Modelling, Types of Simu

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.3989; http://www.soi.city.ac.uk/homes/till/wp31.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.3989
http://www.soi.city.ac.uk/homes/till/wp31.ps

A Research Program in the Field of Computer Technology

Autoři: UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST Uncapher, Keith W

Zdroj: DTIC AND NTIS

Témata: Computer Programming and Software, Computer Systems Management and Standards, COMPUTER APPLICATIONS, SCIENTIFIC RESEARCH, COMMAND AND CONTROL SYSTEMS, COMMUNICATIONS NETWORKS, COMPUTER GRAPHICS, COMPUTER PROGRAMMING, DATA PROCESSING SECURITY, MICROPROGRAMMING, Computer program verification, ARPA computer network, Automatic programming, Computer information security, Text

URL: https://apps.dtic.mil/docs/citations/AD0784135

Inference of Field-Sensitive Reachability and Cyclicity.

Autoři: ZANARDINI, DAMIANO GENAIM, SAMIR

Zdroj: ACM Transactions on Computational Logic; Jul2014, Vol. 15 Issue 4, p1-41, 41p

Témata: PROGRAMMING languages, MACHINE theory, DATA structures, INFORMATION theory, SEMANTICS

Formal Methods: Practice and Experience.

Autoři: WOODCOCK, JIM LARSEN, PETER GORM BICARREGUI, JUAN a další

Zdroj: ACM Computing Surveys; Oct2009, Vol. 41 Issue 4, p19:1-19:36, 36p, 4 Charts, 10 Graphs

Témata: FORMAL methods (Computer science), INDUSTRIAL surveys, SOFTWARE verification, USER-centered system design, SOFTWARE architecture

A Research Program in the Field of Computer Technology

Autoři: Uncapher, Keith W UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST

Přispěvatelé: Uncapher, Keith W UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST

Zdroj: DTIC AND NTIS

Témata: Computer Programming and Software, Computer Systems Management and Standards, COMPUTER APPLICATIONS, SCIENTIFIC RESEARCH, COMMAND AND CONTROL SYSTEMS, COMMUNICATIONS NETWORKS, COMPUTER GRAPHICS, COMPUTER PROGRAMMING, DATA PROCESSING SECURITY, MICROPROGRAMMING, Computer program verification, ARPA computer network, Automatic programming, Computer information security

Popis souboru: text/html

Relation: http://www.dtic.mil/docs/citations/AD0784135

Dostupnost: http://www.dtic.mil/docs/citations/AD0784135
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=AD0784135

Conquering Complexity

Autoři: Mike Hinchey Lorcan Coyle

Resource Type: eBook.

Témata: Computational complexity, Electronic data processing, Software engineering, Computer science

Categories: COMPUTERS / General

Software Engineering : A Lifecycle Approach

Autoři: Mohapatra, Pratap K.J

Resource Type: eBook.

Témata: Software engineering

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Open Source, COMPUTERS / Software Development & Engineering / Tools

Principles of Artificial Intelligence

Autoři: Nils J. Nilsson

Resource Type: eBook.

Témata: Artificial intelligence

Categories: COMPUTERS / Data Science / General, COMPUTERS / Artificial Intelligence / General