登入

跳至 : 概要書目資訊主題

Computer software - Congresses. - Testing

概要

作品:	59 作品在 46 項出版品 46 種語言

書目資訊

Tests and proofssecond international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / by: (書目-電子資源)

Formal Approaches to Software Testing (vol. # 3997)5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / by: (書目-電子資源)

Formal Approaches to Software Testing and Runtime VerificationFirst Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / by: (書目-電子資源)

Testing of Software and Communicating Systems20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings / by: (書目-電子資源)

Formal Approaches to Software Testing4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / by: (書目-電子資源)

Formal approaches to software testingThird International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers / by: (書目-電子資源)

Tests and proofsthird international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings / by: (書目-電子資源)

Tests and proofs4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings / by: (書目-電子資源)

Testing techniques in software engineeringSecond Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures / by: (書目-電子資源)

Verified softwaretheories, tools, experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, proceedings / by: (書目-電子資源)

主題

Software Engineering.

Communications Engineering, Networks.

Mathematical Logic and Formal Languages.

Software engineering

Computer logic.

Computing Methodologies.

Theory of Computation.

Formal Logic.

Logics and Meanings of Programs.

Telecommunication systems

Agile software development

Software Engineering/Programming and Operating Systems.

Information Systems and Communication Service.

Informal Logic.

Computer software

Management of Computing and Information Systems.

Programming Techniques.

Algorithm Analysis and Problem Complexity.

Artificial Intelligence (incl. Robotics)

Academic-industrial collaboration

Information Systems Applications (incl. Internet)

Operating Systems.

Computing Milieux.

Formal methods (Computer science)

Programming Languages, Compilers, Interpreters.

Special Purpose and Application-Based Systems.

Software engineering.

Programming languages (Electronic computers)

Computer-Aided Engineering (CAD, CAE) and Design.

Software engineering|vCongresses.

Computer Science Logic and Foundations of Programming.

Algorithms.

Models and Principles.

Internet

Management information systems.

Computer Engineering and Networks.

Software refactoring

The Computing Profession.

Artificial Intelligence.

Control, Robotics, Automation.

Formal Languages and Automata Theory.

Computer Science.

Computer Communication Networks.

Computers and Society.

System Performance and Evaluation.

Simulation and Modeling.

Computer science.

Computer networks.

Computer Systems Organization and Communication Networks.

Systems and Data Security.

Computer System Implementation.

Models of Computation.

Integrated circuits

Computers, Special purpose.

Compilers and Interpreters.