يعرض 1 - 20 نتائج من 114 نتيجة بحث عن '"005.14"', وقت الاستعلام: 0.42s تنقيح النتائج
  1. 1
    Dissertation/ Thesis
    Repairing strings and trees

    المؤلفون: Riveros Jaeger, Cristian

    المساهمون: Benedikt, Michael

    مصطلحات موضوعية: 005.14, Computer science (mathematics), Theory and automated verification, Automata theory, repair, edit distance, strings, trees, tree automata, XML Schema

    URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581260

    View record in EThOS

    أضف إلى المفضلة
  2. 2
    Dissertation/ Thesis
    Monotonicity in shared-memory program verification

    المؤلفون: Kaiser, Alexander

    المساهمون: Kroening, Daniel

    مصطلحات موضوعية: 005.14, Program development and tools, Scalable systems, Theory and automated verification, Computer science (mathematics), concurrency, parameterized model checking, predicate abstraction, monotonicity, well quasi-ordered systems

    URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581399

    View record in EThOS

    أضف إلى المفضلة
  3. 3
    Dissertation/ Thesis
    An ontological approach to model Software Quality Assurance knowledge domain

    المؤلفون: Bajnaid, Nada O.

    مصطلحات موضوعية: 005.14, 000 Computer science, information & general works

    URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.603080

    View record in EThOS

    أضف إلى المفضلة
  4. 4
    Dissertation/ Thesis
    Test-driven development of embedded control systems : application in an automotive collision prevention system

    المؤلفون: Dohmke, Thomas

    مصطلحات موضوعية: 005.14, TL Motor vehicles. Aeronautics. Astronautics

    URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.500253

    View record in EThOS

    أضف إلى المفضلة
  5. 5
    Dissertation/ Thesis
    Use of program and data-specific heuristics for automatic software test data generation

    المؤلفون: Alshraideh, Mohammad

    المساهمون: Bottaci, Leonardo

    مصطلحات موضوعية: 005.14, Computer science

    URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.441758

    View record in EThOS

    أضف إلى المفضلة
  6. 6
    Dissertation/ Thesis
    Partitioning object-oriented source code for inspections

    المؤلفون: Walkinshaw, Neil

    مصطلحات موضوعية: 005.14

    URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.436084

    View record in EThOS

    أضف إلى المفضلة
  7. 7
    Dissertation/ Thesis
    Agent-based trust and reputation in the context of inaccurate information sources

    المؤلفون: Teacy, W. T. Luke

    مصطلحات موضوعية: 005.14

    URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.435724

    View record in EThOS

    أضف إلى المفضلة
  8. 8
    Dissertation/ Thesis
    Runtime monitoring of service based systems

    المؤلفون: Mahbub, Khaled

    مصطلحات موضوعية: 005.14, QA75 Electronic computers. Computer science

    URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.435034

    View record in EThOS

    أضف إلى المفضلة
  9. 9
    Dissertation/ Thesis
    Termination analysis of higher-order functional programs

    المؤلفون: Sereni, Damien

    مصطلحات موضوعية: 005.14

    URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.437001

    View record in EThOS

    أضف إلى المفضلة
  10. 10
    Dissertation/ Thesis
    Improving fault coverage and minimising the cost of fault identification when testing from finite state machines

    المؤلفون: Guo, Qiang

    المساهمون: Hierons, R. M., Harman, M.

    مصطلحات موضوعية: 005.14, Finite state machine (FSM), heuristic optimisation techniques (MOTs), Programming

    URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.426235

    View record in EThOS

    أضف إلى المفضلة
  11. 11
    Dissertation/ Thesis
    Generative frameworks for rigorous model-driven development

    المؤلفون: Amálio, Nuno

    مصطلحات موضوعية: 005.14

    URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.437624

    View record in EThOS

    أضف إلى المفضلة
  12. 12
    Dissertation/ Thesis
    Evolutionary search for test data in the presence of state behaviour

    المؤلفون: McMinn, Philip

    مصطلحات موضوعية: 005.14

    URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.419349

    View record in EThOS

    أضف إلى المفضلة
  13. 13
    Dissertation/ Thesis
    Justifying the use of COTS components within safety critical applications

    المؤلفون: Ye, Fan

    مصطلحات موضوعية: 005.14

    URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.424582

    View record in EThOS

    أضف إلى المفضلة
  14. 14
    Dissertation/ Thesis
    Model checking Circus

    المؤلفون: Freitas, Leonardo

    مصطلحات موضوعية: 005.14

    URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425409

    View record in EThOS

    أضف إلى المفضلة
  15. 15
    Dissertation/ Thesis
    Stability of test criteria and fault hierarchies in software testing

    المؤلفون: Kapoor, Kalpesh

    مصطلحات موضوعية: 005.14

    URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.410587

    View record in EThOS

    أضف إلى المفضلة
  16. 16
    Dissertation/ Thesis
    Software measurement for functional programming

    المؤلفون: Ryder, Chris

    المساهمون: Thompson, Simon

    مصطلحات موضوعية: 005.14, QA 76 Software, computer programming

    URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.418543

    View record in EThOS

    أضف إلى المفضلة
  17. 17
    Dissertation/ Thesis
    Automatic verification of temporal and timed properties of control programs

    المؤلفون: Zoubek, Bohumir

    مصطلحات موضوعية: 005.14

    URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.419737

    View record in EThOS

    أضف إلى المفضلة
  18. 18
    Dissertation/ Thesis
    Verification of concurrent safety-critical systems : the compliance-notation approach

    المؤلفون: Atiya, Diyaa-Addein

    مصطلحات موضوعية: 005.14

    URL الوصول: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.428042

    View record in EThOS

    أضف إلى المفضلة
  19. 19
    Dissertation/ Thesis
    Developing metrics for the comparison of sorting and segregation algorithms in a group of minimalist robots

    المؤلفون: Wilson, Matthew

    مصطلحات موضوعية: 005.14

    URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.410073

    View record in EThOS

    أضف إلى المفضلة
  20. 20
    Dissertation/ Thesis
    Contract representation for validation and run time monitoring

    المؤلفون: Solaiman, Ellis

    مصطلحات موضوعية: 005.14

    URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.399297

    View record in EThOS

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء