Search Results - d.2.4 software engineering. software/program verification. statistics methods
-
1
Authors: et al.
Contributors: et al.
Source: ISSN: 0021-9991.
Subject Terms: Probabilistic Domain Decomposition, Probabilistic representation of solution of partial differential equations, Quasi-Monte carlo, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.1: Interpolation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.0: Domain decomposition methods, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.5: Hyperbolic equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.1: Interpolation/G.1.1.4: Spline and piecewise polynomial interpolation, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.7: Statistical methods, ACM: J.: Computer Applications, ACM: J.: Computer Applications/J.2: PHYSICAL SCIENCES AND ENGINEERING/J.2.8: Physics, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.4: Parallel and vector implementations, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.6: Reliability and robustness, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS/G.3.7: Probabilistic algorithms (including Monte Carlo), ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS/G.3.15: Stochastic processes, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [SPI.PLASMA]Engineering Sciences [physics]/Plasmas, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel
-
2
Authors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783662492239
Software Engineering and Formal Methods, edited by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe, pp. 266–280, 2015
info:cnr-pdr/source/autori:Ter Beek M. H.; Gnesi S.; Latella D.; Massink M./titolo:Towards automatic decision support for bike-sharing system design/titolo_volume:Software Engineering and Formal Methods/curatori_volume:Domenico Bianculli, Radu Calinescu, Bernhard Rumpe/editore:/anno:2015Subject Terms: Multi-objective ptimisation, Probability and Statistics. Markov processes, 11. Sustainability, Probabilistic temporal logic, Software/Program Verification. Model checking, Bike-sharing systems, Variability analysis, Mean field model checking, Software/Program Verification. Formal methods
File Description: application/pdf
-
3
Authors:
Source: Software & Systems Modeling; Feb2015, Vol. 14 Issue 1, p83-100, 18p
-
4
Authors:
Source: International Journal of Software & Informatics; 2022, Vol. 12 Issue 3, p263-284, 22p
Subject Terms: SOFTWARE verification, SPATIAL analysis (Statistics)
-
5
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783319395180
COORDINATION 2016-DisCoTec 2016-Coordination Models and Languages. 18th IFIP WG 6.1 International Conference, pp. 67–83, Heraklion, Crete, Greece, 6-9 June 2016
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M./congresso_nome:COORDINATION 2016-DisCoTec 2016-Coordination Models and Languages. 18th IFIP WG 6.1 International Conference/congresso_luogo:Heraklion, Crete, Greece/congresso_data:6-9 June 2016/anno:2016/pagina_da:67/pagina_a:83/intervallo_pagine:67–83Subject Terms: Mean-field approximation, Difference and functional equations, Discrete time Markov chains, Markov processes, Software/Program Verification, Specifying and Verifying and Reasoning about Programs, Coordination Languages, 0102 computer and information sciences, 02 engineering and technology, PROBABILITY AND STATISTICS, 01 natural sciences, Performance Analysis and Design Aids, Modes of Computation, Probabilistic model-checking, On-the-fly model-checking, 0202 electrical engineering, electronic engineering, information engineering, Collective Adaptive Systems
File Description: application/pdf
-
6
Authors:
Source: Journal of Applied Sciences and Environmental Management; Vol 11, No 4 (2007)
Journal of Applied Sciences and Environmental Management; Vol 12, No 4 (2008)
Journal of Applied Sciences and Environmental Management, Vol 11, Iss 4 (2010)
Journal of Applied Sciences and Environmental Management, Vol 12, Iss 4 (2010)Subject Terms: FOS: Computer and information sciences, Science, Programming Education, 0211 other engineering and technologies, Scratch Programming, Set (abstract data type), 02 engineering and technology, Computational Thinking in Education, Autonomic Computing and Self-Adaptive Systems, Programming domain, Software Architecture, Artificial Intelligence, 0502 economics and business, FOS: Mathematics, Programming paradigm, Coding (social sciences), Software engineering, Statistics, 05 social sciences, Object-oriented programming, Computer science, Structured programming, Computer Science Applications, Programming language, Process (computing), Aspect-Oriented Programming, Computational Theory and Mathematics, Computer Science, Physical Sciences, Inductive programming, Reactive programming, Program Analysis and Verification Techniques, Procedural programming, Mathematics, Empirical Studies in Software Engineering, Information Systems, Formal Methods in Software Verification and Control
File Description: application/pdf
Access URL: https://www.ajol.info/index.php/jasem/article/download/55190/43665
https://www.ajol.info/index.php/jasem/article/download/55217/43688
https://www.ajol.info/index.php/jasem/article/view/55190
https://www.ajol.info/index.php/jasem/article/view/55217
https://doaj.org/article/12bde2beecfe429982d83c7d5d27efc5
https://doaj.org/article/61d70a4393004ce9a9b8c9f726bd40b0
https://tspace.library.utoronto.ca/handle/1807/51656?mode=full
https://www.ajol.info/index.php/jasem/article/download/55190/43665
https://tspace.library.utoronto.ca/bitstream/1807/51656/1/ja08063.pdf
https://www.ajol.info/index.php/jasem/article/view/55217 -
7
Authors: et al.
Source: SPLC'13-17th International Software Product Line Conference, pp. 266–267, Tokyo, Japan, 26-30 August 2013
info:cnr-pdr/source/autori:Clarke D.; Schaefer I.; Ter Beek M. H.; Apel S.; Atlee J. M./congresso_nome:SPLC'13-17th International Software Product Line Conference/congresso_luogo:Tokyo, Japan/congresso_data:26-30 August 2013/anno:2013/pagina_da:266/pagina_a:267/intervallo_pagine:266–267Subject Terms: D.2.2 Design Tools and Techniques, D.2.5 Testing and Debugging, Evolution, Formal methods, Testing, Verification, 02 engineering and technology, D.2.13 Reusable Software, Software Product Lines, D.2.11 Software Architectures, Semantics, D.2.4 Software/Program Verification. Formal methods, D.2.4 Software/Program Ver, D.2.4 Software/Program Verification. Model checking, D.2.4 Software/Program Verification. Validation, 0202 electrical engineering, electronic engineering, information engineering, Variability
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Source: FORMALISE: 6th International Conference on Formal Methods in Software Engineering ; https://hal.science/hal-01768687 ; FORMALISE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden. ⟨10.1145/3193992.3194003⟩
Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Subject Geographic: Gothenburg, Sweden
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Education – Computer science education, Curriculum. D 2.4 [Software engineering, Software/Program Verification – Model checking. General Terms, Reliability, Standardization, Verification. Keywords, Formal Methods, Education, Software Engineering, Teaching Methods, Formal engineering methods
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.395.4561; http://cis.k.hosei.ac.jp/~sliu/TeachingFormalMethods_Liu.pdf
-
10
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783642370359
Lecture Notes in Computer Science
22nd European Symposium on Programming, ESOP 2013Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO)
Access URL: https://link.springer.com/content/pdf/10.1007%2F978-3-642-37036-6_28.pdf
http://arxiv.org/abs/1207.7264
https://arxiv.org/abs/1207.7264
https://core.ac.uk/display/79540715
https://doi.org/10.1007/978-3-642-37036-6_28
http://www.kroening.com/papers/esop2013-wmm.pdf
https://arxiv.org/pdf/1207.7264
http://www.cprover.org/etaps/esop.pdf
https://ora.ox.ac.uk/objects/uuid:64f6ecc1-b47f-4d48-a78d-a5f522f96f0b
https://ora.ox.ac.uk/objects/uuid:33ec5926-faaa-4759-aec8-ece0cfa0fee9
https://doi.org/10.1007/978-3-642-37036-6_28 -
11
Authors: et al.
Contributors: et al.
Source: Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019, pp. 50-57
Schoolderman, M, Smetsers, S & van Eekelen, M C J D 2019, Is Deductive Program Verification Mature Enough to be Taught to Software Engineers? in E Rahimi & D Stikkolorum (eds), CSERC '19 : The 8th Computer Science Education Research Conference. 1 edn, Association for Computing Machinery (ACM), New York, NY, pp. 50-57, 8th Computer Science Education Research Conference (CSERC'19), Larnaca, Cyprus, 18/11/19. https://doi.org/10.1145/3375258.3375265Subject Terms: Formal verification, Teaching, Software Science, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Digital Security, 01 natural sciences, Why3
Access URL: https://repository.ubn.ru.nl/bitstream/handle/2066/218670/3/218670.pdf
https://research.ou.nl/en/publications/d8b4648e-f43a-4352-a867-255c996ca581
https://doi.org/10.1145/3375258.3375265
https://research.ou.nl/en/publications/is-deductive-program -verification -mature-enough-to-be-taught-to-s
https://dl.acm.org/doi/10.1145/3375258.3375265
https://www.narcis.nl/publication/RecordID/oai%3Aresearch.ou.nl%3Apublications%2Fd8b4648e-f43a-4352-a867-255c996ca581
https://repository.ubn.ru.nl/handle/2066/218670
https://dblp.uni-trier.de/db/conf/cserc/cserc2019.html#SchooldermanSE19
https://doi.org/10.1145/3375258.3375265
https://repository.ubn.ru.nl//bitstream/handle/2066/218670/218670.pdf
https://hdl.handle.net/2066/218670
https://www.scopus.com/pages/publications/85082132594
https://research.ou.nl/en/publications/d8b4648e-f43a-4352-a867-255c996ca581
https://doi.org/10.1145/3375258.3375265 -
12
Authors: et al.
Contributors: et al.
Source: Lecture Notes in Computer Science ISBN: 9783642358128
Subject Terms: Automatización y sistemas de control, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Usuarios, Dynamic adaptation verification and validation, self-adaptive software systems verification and validation, 02 engineering and technology, Sistemas de software, Automation Command and control system, self-adaptive software systems properties
File Description: application/pdf; 108-132 páginas; Digital
Access URL: http://hal.inria.fr/docs/00/71/84/09/PDF/run-time-vv.pdf
https://inria.hal.science/hal-00709943v2
https://hal.inria.fr/hal-00709943
https://hal.archives-ouvertes.fr/hal-00709943v2
https://dblp.uni-trier.de/db/conf/dagstuhl/adaptive2010.html#TamuraVMSBKMPSTW10
https://link.springer.com/chapter/10.1007/978-3-642-35813-5_5
https://rd.springer.com/chapter/10.1007/978-3-642-35813-5_5
https://hal.inria.fr/hal-00709943/document
https://hdl.handle.net/10906/81961 -
13
Authors:
Source: International Journal on Software Tools for Technology Transfer; Nov2015, Vol. 17 Issue 6, p647-657, 11p
Subject Terms: SOFTWARE verification, FORMAL methods (Computer science), SOFTWARE engineering, BOOLEAN functions, SOFTWARE development tools, CONFERENCES & conventions
Company/Entity: NATIONAL Physical Laboratory (Great Britain)
-
14
Authors: Mirko Conrad
Source: Formal Methods in System Design; Dec2009, Vol. 35 Issue 3, p389-401, 13p
-
15
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 -
16
Authors:
Source: Foundations of Science; Sep2020, Vol. 25 Issue 3, p541-557, 17p
-
17
Authors: et al.
Source: Automated Software Engineering; Dec2015, Vol. 22 Issue 4, p517-559, 43p
-
18
Authors:
Source: ISTI Technical reports, 2016
Subject Terms: Model-based system analysis, Probability and statistics--Markov processes, Automated verification techniques, Formal methods, Reusable software--domain engineering, Software/Program verification - formal methods, Critical systems, Application and Case Studies, Software/Program Verification-model checking
-
19
Authors: et al.
Contributors: et al.
Source: iFM 2013 - 10th International Conference on integrated Formal Methods ; https://inria.hal.science/hal-00799108 ; iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.109-123, ⟨10.1007/978-3-642-38613-8_8⟩
-
20
Authors:
Source: Software & Systems Modeling; Oct2017, Vol. 16 Issue 4, p1083-1115, 33p
Nájsť tento článok vo Web of Science 
Full Text Finder