Hakutulokset - information ((imprecision programming) OR (revision programming)) test concepts a

1

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference...

Julkaistu 2008

Sisällysluettelo: “... -- Models and Testing – A Recipe for Improved Effectiveness? -- General Software Testing -- Runtime...”
Hae kokoteksti

Elektroninen E-kirja

2

Novel Methods and Technologies for Enterprise Information Systems ERP Future 2013 Conference, Vienna, Austria, November 2013, Revised Papers /

Julkaistu 2014

Sisällysluettelo: “...: Requirements Engineering and Testing of ERP Systems -- Part V: Open Source -- Part VI: ERP Training -- Part VII...”
Hae kokoteksti

Elektroninen E-kirja

3

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Julkaistu 2007

Sisällysluettelo: “... Rate -- Revising Probabilistic Prolog Programs -- Inductive Logic Programming for Gene Regulation...”
Hae kokoteksti

Elektroninen E-kirja

4

Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers /

Julkaistu 2007

Sisällysluettelo: “... Patterns: A High-Level Join Point Selection Mechanism -- W2 – Critical Systems Development -- Critical...”
Hae kokoteksti

Elektroninen E-kirja

5

Models in Software Engineering Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers /

Tekijä Giese, Holger., Giese, Holger.
Julkaistu 2008

Sisällysluettelo: “... Modeling: Concepts and Tools -- ModHel’X: A Component-Oriented Approach to Multi-Formalism Modeling...”
Hae kokoteksti

Elektroninen E-kirja

6

Analysis and Design of Information Systems

Tekijä Langer, Arthur M., Langer, Arthur M.
Julkaistu 2008

Sisällysluettelo: “... -- Documentation and Acceptance Testing -- Business Process Reengineering -- Security -- Data Warehousing...”
Hae kokoteksti

Elektroninen E-kirja

7

Network-Based Information Systems First International Conference, NBIS 2007, Regensburg, Germany, September 3-7, 2007, Proceedings /

Julkaistu 2007

Sisällysluettelo: “...Sensor and Ad-Hoc Networks -- A Simple Statistical Methodology for Testing Ad Hoc Networks...”
Hae kokoteksti

Elektroninen E-kirja

8

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Julkaistu 2010

Sisällysluettelo: “... for Testing Asynchronous Creol Components -- Compositional Strategy Mapping -- A Sound Analysis for Secure...”
Hae kokoteksti

Elektroninen E-kirja

9

Advances in Web Based Learning - ICWL 2007 6th International Conference, Edinburgh, UK, August 15-17, 2007, Revised Papers /

Julkaistu 2008

Sisällysluettelo: “... Learning through Prerequisite Structures Derived from Concept Maps -- A Pedagogy-Driven Personalization...”
Hae kokoteksti

Elektroninen E-kirja

10

Advances in Blended Learning Second Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008, Revised Selected Papers /

Julkaistu 2008

Sisällysluettelo: “... an Intelligent Coach for a Collaborative Concept-Mapping Learning Environment -- A Theoretical Framework...”
Hae kokoteksti

Elektroninen E-kirja

11

Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “... Streaming Delivery over P2P Networks -- On the Role of Information Compaction to Intrusion Detection -- A...”
Hae kokoteksti

Elektroninen E-kirja

12

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers /

Julkaistu 2005

Sisällysluettelo: “... Usability Testing in a Component-Based Environment: Improving Test Efficiency with Component-Specific...”
Hae kokoteksti

Elektroninen E-kirja

13

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conference, ENASE 2008 / 2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009, Revised Selected...

Julkaistu 2010

Sisällysluettelo: “...: Identification and Storage of Concepts in the Focus of Formal Z Specifications -- A Model Driven Approach...”
Hae kokoteksti

Elektroninen E-kirja

14

Interactive Systems. Design Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers /

Julkaistu 2006

Sisällysluettelo: “... -- Test of the ICARE Platform Fusion Mechanism -- A Method for the Verification of Haptic Algorithms -- A...”
Hae kokoteksti

Elektroninen E-kirja

15

The Open Knowledge Society A Computer Science and Information Systems Manifesto /

Julkaistu 2008

Sisällysluettelo: “... -- Metadata and Knowledge Management Driven Web-Based Learning Information System -- Case-Based Reasoning: A...”
Hae kokoteksti

Elektroninen E-kirja

16

An Integrated Approach to Software Engineering

Tekijä Jalote, Pankaj., Jalote, Pankaj.
Julkaistu 2005

Sisällysluettelo: “... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
Hae kokoteksti

Elektroninen E-kirja

17

Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17--19, 2014, Revised Selected Papers /

Julkaistu 2014

Sisällysluettelo: “...-Directed Verification in DIVINE -- A New Concept in Advice Complexity of Job Shop Scheduling....”
Hae kokoteksti

Elektroninen E-kirja

18

Computational Linguistics and Intelligent Text Processing 11th International Conference, CICLing 2010, Iasi, Romania, March 21-27, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Sentences towards Building a Telugu Treebank -- EusPropBank: Integrating Semantic Information in the Basque...”
Hae kokoteksti

Elektroninen E-kirja

19

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Julkaistu 2013

Sisällysluettelo: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
Hae kokoteksti

Elektroninen E-kirja

20

Fun and Games Second International Conference, Eindhoven, The Netherlands, October 20-21, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “...-Source Multiplayer Introduction to Mobile Robots Programming -- Test-Bed for Multimodal Games on Mobile...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua