Search Results - d.2.4 software engineering. software/program verification. (statistical OR statistics) methods
-
1
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7 th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8Subject Terms: F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Algebraic approaches to semantics, Statistical model checking, Markov processes, Software Product Lines, G.3 PROBABILITY AND STATISTICS, Programming languages, compilers, interpreters, Software engineering techniques, Quantitative Constraints, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Formal methods, Statistical Model Checking, D.2.13 SOFTWARE ENGINEERING. Reusable Software. Domain engineering, 02 engineering and technology, [INFO] Computer Science [cs], Artificial intelligence (incl. robotics), F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Process models, F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Statistical methods, Logics and meanings of programs, 0202 electrical engineering, electronic engineering, information engineering, Computation by abstract devices, Mathematical logic and formal languages, Probabilistic Models
File Description: application/pdf
Access URL: https://backend.orbit.dtu.dk/ws/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://inria.hal.science/hal-01406531v1
https://link.springer.com/10.1007/978-3-319-47166-2_8
https://hal.inria.fr/hal-01406531
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekLLV16
https://hal.inria.fr/hal-01406531/document
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_8/fulltext.html
https://orbit.dtu.dk/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://hdl.handle.net/20.500.14243/321030
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8
https://orbit.dtu.dk/en/publications/d09e64ef-2992-4962-9fab-b03a87e3986c
https://hdl.handle.net/11382/534305
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8 -
2
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Statistical methods, D.2.5 [Software Engineering, Testing and Debugging—Testing tools, D.4.6 [Operating Systems, Security and Protection—Invasive software. General Terms, Security, Experimentation, Measurement Keywords, Software Security, Prediction
File Description: application/pdf
-
3
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 723–729, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Hähnle R.; Schaefer I./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:723/pagina_a:729/intervallo_pagine:723–729Subject Terms: Design for Verification, Synthesis, Statistical Model checking, 0202 electrical engineering, electronic engineering, information engineering, Deductive Verification, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification, 0102 computer and information sciences, 02 engineering and technology, System-of-Systems, Lightweight Verification, 01 natural sciences, Software Product Lines
File Description: application/pdf
Access URL: https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekHS16
https://tubiblio.ulb.tu-darmstadt.de/96680/
https://rd.springer.com/chapter/10.1007/978-3-319-47166-2_51
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_51
https://link.springer.com/10.1007/978-3-319-47166-2_51
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_51
https://doi.org/10.1007/978-3-319-47166-2_51
https://hdl.handle.net/20.500.14243/321029 -
4
Authors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783319471655
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, pp. 657–673, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673Subject Terms: F.4.1 MATHEMATICAL LOGIC AND FORMAL LANGUAGES. Mathematical Logic, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, 3. Good health, Collective adaptive systems, MultiVeStA, Spatio-temporal model checking, Statistical Model Checking, Spatial Logics, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, Statistical Model-checking, Spatial Logics Model-checking, Bike-sharing, Smart cities
File Description: application/pdf
Access URL: https://rd.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_46/fulltext.html
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#CianciaLMPV16
https://link.springer.com/10.1007/978-3-319-47166-2_46
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://hdl.handle.net/20.500.14243/318789
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://doi.org/10.1007/978-3-319-47166-2_46
https://hdl.handle.net/11382/534302
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://doi.org/10.1007/978-3-319-47166-2_46 -
5
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Statistical methods, D.2.5 [Software Engineering, Testing and Debugging—Testing tools, D.4.6 [Operating Systems, Security and Protection—Invasive software. General Terms, Security, Experimentation, Measurement Keywords, Software Security, Prediction
File Description: application/pdf
-
6
Authors:
Source: ACM Transactions on Software Engineering & Methodology; Jun2012, Vol. 21 Issue 3, p18:1-18:35, 35p
-
7
Authors: et al.
Contributors: et al.
Source: https://engineering.purdue.edu/~milind/docs/ppopp13.pdf.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Statistical Methods, D.2.5 [Software Engineering, Testing and Debugging—Diagnostics General Terms Reliability, Verification Keywords Scale-dependent Bug, Program Behavior Prediction, Feature Reconstruction
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Source: https://engineering.purdue.edu/~milind/docs/hpdc13.pdf.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Statistical Methods, D.2.5 [Software Engineering, Testing and Debugging—Diagnostics General Terms Reliability Keywords Scale-dependent Bug, Program Behavior Prediction, Feature Reconstruction
File Description: application/pdf
-
9
Authors:
Contributors:
Source: http://www.alexander-egyed.com/publications/Code Patterns for Automatically Validating Requirements-to-Code Traces.pdf.
Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification—Statistical methods, Validation General Terms Algorithms, Measurement, Reliability, Verification Keywords requirements
File Description: application/pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.7173
http://www.alexander-egyed.com/publications/Code Patterns for Automatically Validating Requirements-to-Code Traces.pdf -
10
Authors:
Source: ACM Transactions on Software Engineering & Methodology; Jun2008, Vol. 17 Issue 3, p1-27, 27p, 8 Diagrams, 2 Graphs
-
11
Authors: et al.
Source: ICSE: International Conference on Software Engineering; 2008, p341-350, 10p, 8 Charts
Subject Terms: COMPUTER software development, REGRESSION analysis, COMPUTER software, SOFTWARE engineering, INFORMATION technology
-
12
Authors:
Resource Type: eBook.
Subjects: Computer networks, Computer science, Software engineering, Compilers (Computer programs), Application software, Data mining
Categories: COMPUTERS / Networking / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Probability & Statistics / General
-
13
The Effect of the Number of Inspectors on the Defect Estimates Produced by Capture-Recapture Models.
Authors:
Source: ICSE: International Conference on Software Engineering; 2008, p331-340, 10p, 7 Charts, 8 Graphs
Subject Terms: COMPUTER software, BIOLOGY, SOFTWARE engineering, INFORMATION technology
-
14
Authors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783642326493
ISTI Technical reports, 2012
ANTS 2012-Swarm Intelligence-8th International Conference, pp. 25–36, Brussels, Belgium, 12-14 September 2012
info:cnr-pdr/source/autori:Massink M.; Brambilla M.; Latella D.; Dorigo M.; Birattari M./congresso_nome:ANTS 2012-Swarm Intelligence-8th International Conference/congresso_luogo:Brussels, Belgium/congresso_data:12-14 September 2012/anno:2012/pagina_da:25/pagina_a:36/intervallo_pagine:25–36
Lecture notes in computer science, 7461Subject Terms: Formal modeling, 0209 industrial biotechnology, Informatique générale, 0102 computer and information sciences, 02 engineering and technology, Intelligence artificielle, 01 natural sciences, 68N30 Mathematical aspects of software engineering, Informatique mathématique, Formal Modeling, Fluid Flow Analysis, D.2.4 Software/Program Verification, Swarm Robotics
File Description: application/pdf; 1 full-text file(s): application/pdf
Access URL: http://www.cnr.it/prodotto/i/276452
https://publications.cnr.it/doc/276452
https://iridia.ulb.ac.be/IridiaTrSeries/link/IridiaTr2012-005.pdf
https://homepages.inf.ed.ac.uk/stg/research/biopepa/archive/IridiaTr2012-005.pdf
https://rd.springer.com/chapter/10.1007/978-3-642-32650-9_3
https://difusion.ulb.ac.be/vufind/Record/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/153340/Holdings
https://link.springer.com/content/pdf/10.1007/978-3-642-32650-9_3.pdf
https://link.springer.com/chapter/10.1007%2F978-3-642-32650-9_3
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/153340 -
15
Authors:
Source: ACM Transactions on Software Engineering & Methodology; Oct2009, Vol. 19 Issue 2, p5:1-5:33, 33p, 7 Charts, 11 Graphs
-
16
Authors: et al.
Contributors: et al.
Subject Terms: Software/Program Verification—Statistical methods General Terms Algorithms, Experimentation Keywords Code Retrieval, Natural Language Processing, Defect Detection
File Description: application/pdf
-
17
Authors:
Resource Type: eBook.
Subjects: Software engineering, Computer networks, Compilers (Computer programs), Computer programming, Algorithms
Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms
-
18
Authors: et al.
Source: ICSE: International Conference on Software Engineering; 2010, p265-274, 10p, 2 Diagrams, 4 Charts, 1 Graph
Subject Terms: FAULT location (Engineering), COMPUTER programming, ALGORITHMS, SOFTWARE engineering, COMPUTER software usability
-
19
Authors:
Source: ACM Transactions on the Web; Jun2009, Vol. 3 Issue 3, p9-1-9-49, 49p, 11 Diagrams, 29 Charts, 6 Graphs
Subject Terms: COOKIES (Computer science), WEBSITES, SOFTWARE engineering, WEB services, APPLICATION software
-
20
Authors: et al.
Source: ACM Computing Surveys; Oct2009, Vol. 41 Issue 4, p19:1-19:36, 36p, 4 Charts, 10 Graphs
Nájsť tento článok vo Web of Science 
Full Text Finder