Výsledky vyhledávání - ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: Lecture Notes in Computer Science ISBN: 9783642358128
Témata: 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 souboru: application/pdf; 108-132 páginas; Digital
Pří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 -
2
Autoři: a další
Přispěvatelé: a další
Zdroj: Software Engineering for Self-Adaptive Systems 2 ; https://inria.hal.science/hal-00709943 ; de Lemos, Rogerio and Giese, Holger and Müller, Hausi and Shaw, Mary. Software Engineering for Self-Adaptive Systems 2, 7475, Springer, pp.108-132, 2013, LNCS, 978-3-642-35812-8
Témata: Dynamic adaptation verification and validation, self-adaptive software systems verification and validation, self-adaptive software systems properties, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩ ; http://doi.acm.org/10.1145/1806799.1806823
Témata: Liability, Contract, Formal Methods, Specication, Defects, Legal Aspects, Evidence, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering
Geografické téma: Cape Town, South Africa
Time: Cape Town, South Africa
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00187581 ; Stephan Merz and Nicolas Navet. ISTE Publishing, pp.400, 2008, 9781847040244.
Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Dostupnost: https://inria.hal.science/inria-00187581
-
5
Autoři: a další
Přispěvatelé: a další
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⟩
Témata: 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
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: https://tel.archives-ouvertes.fr/tel-01812795 ; Systèmes embarqués. Université AbdElhamid Mehri Constantine 2, 2018. Français.
Témata: Timed Automata, Model Transformation, AADL, Automate temporisé, Transformation de modèle, Vérification, Uppaal, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.1: Domain-specific architectures, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: tel-01812795; https://tel.archives-ouvertes.fr/tel-01812795; https://tel.archives-ouvertes.fr/tel-01812795/document; https://tel.archives-ouvertes.fr/tel-01812795/file/these_hamdane_2018.pdf
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/inria-00440437 ; [Research Report] RR-7148, INRIA. 2009, pp.23.
Témata: Formal Methods, Specification, Defects, Legal Aspects, Evidence, Liability, Contract, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering
-
8
Autoři: a další
Přispěvatelé: a další
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⟩
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: 15th International Conference on Software Engineering and Formal Methods, SEFM 2017
https://hal.science/hal-01559688
15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
http://sefm17.fbk.eu/Témata: Framework, Critical systems, Verification, Diagnosis, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.2: Diagnostics, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: SEAMS 2011 ; https://inria.hal.science/inria-00578337 ; SEAMS 2011, ACM SIGSOFT / IEEE TCSE, May 2011, Honolulu, Hawaii, United States. pp.80-89, ⟨10.1145/1988008.1988020⟩ ; http://doi.acm.org/10.1145/1988008.1988020
Témata: application of control theory, assessment and evaluation of self-adaptive systems, engineering of self-adaptive systems, run-time validation and verification, software adaptation metrics, software adaptation properties, software quality attributes, 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.6: Reliability, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Honolulu, Hawaii, United States
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: ICSEA 2015 The Tenth International Conference on Software Engineering Advances ; Tenth International Conference on Software Engineering Advances (ISCEA 2015) ; https://hal.science/hal-01501469 ; Tenth International Conference on Software Engineering Advances (ISCEA 2015), Nov 2015, Barcelone, Spain ; http://www.ns2.thinkmind.org/index.php?view=article&articleid=icsea_2015_3_20_10379
Témata: refinement mapping, C programs, model-checking, formal specification, Temporal Logic of Actions, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.9: State diagrams, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Spain
Time: Barcelone, Spain
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: Acta Informatica. 52:337-392
Témata: Concurrency theory, Model checking, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Verificati, Formal method, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Temporal logic, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, 0202 electrical engineering, electronic engineering, information engineering, Bisimulation, Network of automata, Partial model checking, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Semi-composition, Mu-calcu lus, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Process algebra, Projection interface, 16. Peace & justice, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, Labeled Transition System, Model minimization, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, Model generation
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: Intelligent Data Engineering and Automated Learning – IDEAL 2016 ; https://hal.univ-brest.fr/hal-01472718 ; Intelligent Data Engineering and Automated Learning – IDEAL 2016, Oct 2016, Yangzou, China. pp.576-587 ; http://www.springer.com/fr/book/9783319462561#
Témata: organizing system, diagnosis, model-checking, verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: H.: Information Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0948-695X.
Témata: Model-Based Software Product Lines, Variability Modeling, Verification, Feature Modeling Analysis, Architecture Design, Model-Driven Development, Variability-Intensive Systems, Highly Configurable Systems, Requirements Engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.10: Design, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development, [INFO]Computer Science [cs], [SPI]Engineering Sciences [physics], [MATH]Mathematics [math]
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: WEBIST ; https://hal.inria.fr/hal-00867735 ; WEBIST, Apr 2012, Porto, Portugal. pp.58-70 ; http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2012-A2-014/2012-A2-014.pdf
Témata: Choreography, SOA Governance, V&V Policies, On-line Testing, Ranking, Reputation, Service Oriented Architecture, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.3: Software Management, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], stat, edu
Time: Porto, Portugal
Relation: https://hal.inria.fr/hal-00867735
Dostupnost: https://hal.inria.fr/hal-00867735
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: Web Information Systems and Technologies (Selected Papers) ; https://hal.inria.fr/hal-00867679 ; Cordeiro, J. and Krempels, K.H. Web Information Systems and Technologies (Selected Papers), 140, Springer, pp.86-102, 2013, LNBIP, 978-3-642-36607-9. ⟨10.1007/978-3-642-36608-6_6⟩
Témata: Service Choreography, SOA Governance, V&V Policies, On-line Testing, Ranking, Reputation, Service Oriented Architecture, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.3: Software Management, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], edu, stat
Relation: https://hal.inria.fr/hal-00867679
Dostupnost: https://hal.inria.fr/hal-00867679
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0934-5043.
Témata: 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.3: Formal methods, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/grantAgreement//317753/EU/A Source code analysis Toolbox for software security AssuraNCE/STANCE
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525175 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.199-214
Témata: Model transformation, UML-RSDS, Specification, Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: inria-00525175; https://hal.inria.fr/inria-00525175
Dostupnost: https://hal.inria.fr/inria-00525175
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; VSTTE 2017 - 9th International Conference Verified Software. Theories, Tools, and Experiments ; https://inria.hal.science/hal-01670145 ; VSTTE 2017 - 9th International Conference Verified Software. Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. Lecture Notes in Computer Science, Lecture Notes in Computer Science (10712), 2017, ⟨10.1007/978-3-319-72308-2⟩.
Témata: specifications, static analysis, theorem proving, verification, automated reasoning, separation logic, functional correctness, artificial intelligence, computer software selection and evaluation, formal logic, graph theory, model checking, program compilers, programming language, semantics, software engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Geografické téma: Heidelberg, Germany
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167
Témata: Compositional Verification, Real-Time System, Sequent calculus, CSP, Object-Z, Duration Calculus, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: inria-00525132; https://hal.inria.fr/inria-00525132
Dostupnost: https://hal.inria.fr/inria-00525132
Nájsť tento článok vo Web of Science 
Full Text Finder