Výsledky vyhľadávania - d.2.4 software engineering. software/program verification. statistics methods~

1

Highly efficient numerical algorithm based on random trees for accelerating parallel Vlasov-Poisson simulations

Autori: Rodriguez Rozas, Angel Juan A., Acebrón Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID) a ďalší

Prispievatelia: Rodriguez Rozas, Angel Juan A., Acebrón Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID) a ďalší

Zdroj: ISSN: 0021-9991.

Dostupnosť: https://inria.hal.science/hal-00920998
https://doi.org/10.1016/j.jcp.2013.05.025

View record from BASE

Nájsť tento článok vo Web of Science

2

Towards Automatic Decision Support for Bike-Sharing System Design

Autori: Ter Beek M H Gnesi S Latella D a ďalší

Zdroj: 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:2015

Predmety: 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

Popis súboru: application/pdf

Nájsť tento článok vo Web of Science

3

Procedure-modular specification and verification of temporal safety properties.

Autori: Soleimanifard, Siavash Gurov, Dilian Huisman, Marieke

Zdroj: Software & Systems Modeling; Feb2015, Vol. 14 Issue 1, p83-100, 18p

Predmety: JAVA programming language, PROGRAMMING languages, SOFTWARE engineering, ALGORITHMS, SOFTWARE verification, TECHNICAL specifications

Full Text Finder

Nájsť tento článok vo Web of Science

4

Counterexample-guided Spatial Flow Model Checking Methods for C Code.

Autori: Yinbo Yu Jiajia Liu Dejun Mu

Zdroj: International Journal of Software & Informatics; 2022, Vol. 12 Issue 3, p263-284, 22p

Predmety: SOFTWARE verification, SPATIAL analysis (Statistics)

Nájsť tento článok vo Web of Science

5

On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination

Autori: Ciancia V Latella D Massink M

Zdroj: 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–83

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.inria.fr/hal-01631720/file/416253_1_En_5_Chapter.pdf
https://hdl.handle.net/20.500.14243/308033
https://doi.org/10.1007/978-3-319-39519-7_5
http://link.springer.com/chapter/10.1007/978-3-319-39519-7_5

View record at OpenAIRE

Nájsť tento článok vo Web of Science

6

A Comparative Analysis of Structured and Object-Oriented Programming Methods

Autori: Asagba, Prince Oghenekaro Ogheneovo, Edward E.

Zdroj: 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)

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: 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

View record at OpenAIRE

Full Text Finder

Nájsť tento článok vo Web of Science

7

Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series

Autori: Clarke D Schaefer I Ter Beek M H a ďalší

Zdroj: 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–267

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: http://dl.acm.org/citation.cfm?doid=2491627.2499880
https://doi.org/10.1145/2491627.2499880
https://hdl.handle.net/20.500.14243/253174

View record at OpenAIRE

Nájsť tento článok vo Web of Science

8

Formal verification of automotive embedded software

Autori: Todorov, Vassil Boulanger, Frédéric Taha, Safouan a ďalší

Prispievatelia: Todorov, Vassil Boulanger, Frédéric Taha, Safouan a ďalší

Zdroj: 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⟩

Predmety: 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]

Geografické téma: Gothenburg, Sweden

Dostupnosť: https://hal.science/hal-01768687
https://hal.science/hal-01768687v1/document
https://hal.science/hal-01768687v1/file/article-auteur.pdf
https://doi.org/10.1145/3193992.3194003

View record from BASE

Nájsť tento článok vo Web of Science

9

FMET – Formally Reviewed Papers Teaching Formal Methods in the Context of Software Engineering

Autori: Shaoying Liu Toshinori Hayashi Kazuhiro Takahashi a ďalší

Prispievatelia: Shaoying Liu Toshinori Hayashi Kazuhiro Takahashi a ďalší

Zdroj: http://cis.k.hosei.ac.jp/~sliu/TeachingFormalMethods_Liu.pdf.

Predmety: 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

Popis súboru: 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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.395.4561
http://cis.k.hosei.ac.jp/~sliu/TeachingFormalMethods_Liu.pdf

View record from BASE

Nájsť tento článok vo Web of Science

10

Software Verification for Weak Memory via Program Transformation

Autori: Alglave, J Kroening, D Nimal, V a ďalší

Prispievatelia: Alglave, J Kroening, D Nimal, V a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783642370359
Lecture Notes in Computer Science
22nd European Symposium on Programming, ESOP 2013

Predmety: 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)

Prístupová URL adresa: 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

View record at OpenAIRE

Nájsť tento článok vo Web of Science

11

Is Deductive Program Verification Mature Enough to be Taught to Software Engineers?

Autori: Schoolderman, Marc Smetsers, Sjaak van Eekelen, M.C.J.D. a ďalší

Prispievatelia: Schoolderman, Marc Smetsers, Sjaak van Eekelen, M.C.J.D. a ďalší

Zdroj: 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.3375265

Predmety: 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

Prístupová URL adresa: 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

View record at OpenAIRE

Nájsť tento článok vo Web of Science

12

Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems

Autori: Basil Becker João Pedro Sousa Ladan Tahvildari a ďalší

Prispievatelia: Basil Becker João Pedro Sousa Ladan Tahvildari a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783642358128

Predmety: 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

Popis súboru: application/pdf; 108-132 páginas; Digital

Prístupová URL adresa: 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

View record at OpenAIRE

Nájsť tento článok vo Web of Science

13

VerifyThis 2012.

Autori: Huisman, Marieke Klebanov, Vladimir Monahan, Rosemary

Zdroj: International Journal on Software Tools for Technology Transfer; Nov2015, Vol. 17 Issue 6, p647-657, 11p

Predmety: SOFTWARE verification, FORMAL methods (Computer science), SOFTWARE engineering, BOOLEAN functions, SOFTWARE development tools, CONFERENCES & conventions

Korporácia: NATIONAL Physical Laboratory (Great Britain)

Full Text Finder

Nájsť tento článok vo Web of Science

14

Testing-based translation validation of generated code inÂ the context of IEC 61508.

Autori: Mirko Conrad

Zdroj: Formal Methods in System Design; Dec2009, Vol. 35 Issue 3, p389-401, 13p

Predmety: QUALITY assurance, GRAPHICAL modeling (Statistics), SOFTWARE validation, SYSTEMS design, COMPUTER software, COMPUTER engineering

Full Text Finder

Nájsť tento článok vo Web of Science

15

Statistical Model Checking for Product Lines

Autori: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto a ďalší

Prispievatelia: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto a ďalší

Zdroj: 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_8

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: 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

View record at OpenAIRE

Nájsť tento článok vo Web of Science

16

Why There is no General Solution to the Problem of Software Verification.

Autori: Symons, John Horner, Jack K.

Zdroj: Foundations of Science; Sep2020, Vol. 25 Issue 3, p541-557, 17p

Predmety: SOFTWARE engineering, SOFTWARE verification, COMPUTER software correctness, PHILOSOPHY of science

Full Text Finder

Nájsť tento článok vo Web of Science

17

Scalable and scope-bounded software verification in Varvel.

Autori: Ivančić, Franjo Balakrishnan, Gogul Gupta, Aarti a ďalší

Zdroj: Automated Software Engineering; Dec2015, Vol. 22 Issue 4, p517-559, 43p

Predmety: SOFTWARE verification, SOFTWARE engineering, COMPUTER viruses, COMPUTER software research, USER-centered system design

Full Text Finder

Nájsť tento článok vo Web of Science

18

Research ideas FMICS-AVoCS 2016

Autori: Ter Beek M.H. Gnesi S. Knapp A.

Zdroj: ISTI Technical reports, 2016

Predmety: 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

Prístupová URL adresa: http://www.cnr.it/prodotto/i/358120
https://publications.cnr.it/doc/358120

View record at OpenAIRE

Nájsť tento článok vo Web of Science

19

Compositional Verification of Software Product Lines

Autori: Millo, Jean-Vivien Ramesh, S. Krishna, Shankara, Narayanan a ďalší

Prispievatelia: Millo, Jean-Vivien Ramesh, S. Krishna, Shankara, Narayanan a ďalší

Zdroj: 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⟩

Predmety: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]