Search Results - ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification*
-
1
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 -
2
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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
Subject Geographic: Cape Town, South Africa
Time: Cape Town, South Africa
-
4
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00187581 ; Stephan Merz and Nicolas Navet. ISTE Publishing, pp.400, 2008, 9781847040244.
Subject Terms: 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]
Availability: https://inria.hal.science/inria-00187581
-
5
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
-
6
Authors: et al.
Contributors: et al.
Source: https://tel.archives-ouvertes.fr/tel-01812795 ; Systèmes embarqués. Université AbdElhamid Mehri Constantine 2, 2018. Français.
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00440437 ; [Research Report] RR-7148, INRIA. 2009, pp.23.
Subject Terms: 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
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⟩
-
9
Authors: et al.
Contributors: et al.
Source: 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/Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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]
Subject Geographic: Honolulu, Hawaii, United States
-
11
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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]
Subject Geographic: Spain
Time: Barcelone, Spain
-
12
Authors: et al.
Contributors: et al.
Source: Acta Informatica. 52:337-392
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: 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#
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: ISSN: 0948-695X.
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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
Availability: https://hal.inria.fr/hal-00867735
-
16
Authors: et al.
Contributors: et al.
Source: 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⟩
Subject Terms: 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
Availability: https://hal.inria.fr/hal-00867679
-
17
Authors: et al.
Contributors: et al.
Source: ISSN: 0934-5043.
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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
Availability: https://hal.inria.fr/inria-00525175
-
19
Authors: et al.
Contributors: et al.
Source: 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⟩.
Subject Terms: 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]
Subject Geographic: Heidelberg, Germany
-
20
Authors: et al.
Contributors: et al.
Source: 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
Subject Terms: 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
Availability: https://hal.inria.fr/inria-00525132
Nájsť tento článok vo Web of Science 
Full Text Finder