Výsledky vyhledávání - "ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors"
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: SLE 2021 - 14th International Conference on Software Language Engineering ; https://inria.hal.science/hal-03358061 ; SLE 2021 - 14th International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486906⟩
Témata: executable DSLs, runtime monitoring, logging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Chicago, United States
-
2
Autoři: a další
Přispěvatelé: a další
Zdroj: SLE 2021 - 14th International Conference on Software Language Engineering ; https://inria.hal.science/hal-03358061 ; SLE 2021 - 14th International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486906⟩
Témata: executable DSLs, runtime monitoring, logging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Chicago, United States
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: SLE 2021 - 14th International Conference on Software Language Engineering ; https://inria.hal.science/hal-03358061 ; SLE 2021 - 14th International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486906⟩
Témata: executable DSLs, runtime monitoring, logging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Chicago, United States
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: SLE 2021 - 13th International Conference on Software Language Engineering ; https://hal.inria.fr/hal-03358061 ; SLE 2021 - 13th International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486906⟩
Témata: executable DSLs, runtime monitoring, logging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.9: Tracing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Chicago, United States
Relation: hal-03358061; https://hal.inria.fr/hal-03358061; https://hal.inria.fr/hal-03358061/document; https://hal.inria.fr/hal-03358061/file/Monilogging_for_Executable_DSLs.pdf
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSRE17 - 28th International Symposium on Software Reliability Engineering ; https://inria.hal.science/hal-01592671 ; ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France
Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.0: Code inspections and walk-throughs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSRE17 - 28th International Symposium on Software Reliability Engineering ; https://hal.inria.fr/hal-01592671 ; ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France
Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.0: Code inspections and walk-throughs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: hal-01592671; https://hal.inria.fr/hal-01592671; https://hal.inria.fr/hal-01592671/document; https://hal.inria.fr/hal-01592671/file/ieee.pdf
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: Conference on the Quality of Software Architectures (QoSA) ; https://inria.hal.science/hal-00816940 ; Conference on the Quality of Software Architectures (QoSA), Jun 2013, Vancouver, Canada. pp.143--152, ⟨10.1145/2465478.2465486⟩
Témata: Business Process, Evolution, Quality of Service, Causal Model, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.2: Life cycle, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Vancouver
Time: Vancouver, Canada
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: Conference on the Quality of Software Architectures (QoSA) ; https://inria.hal.science/hal-00816940 ; Conference on the Quality of Software Architectures (QoSA), Jun 2013, Vancouver, Canada. pp.143--152, ⟨10.1145/2465478.2465486⟩
Témata: Business Process, Evolution, Quality of Service, Causal Model, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.2: Life cycle, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Vancouver
Time: Vancouver, Canada
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: Conference on the Quality of Software Architectures (QoSA) ; https://inria.hal.science/hal-00816940 ; Conference on the Quality of Software Architectures (QoSA), Jun 2013, Vancouver, Canada. pp.143--152, ⟨10.1145/2465478.2465486⟩
Témata: Business Process, Evolution, Quality of Service, Causal Model, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.2: Life cycle, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Vancouver
Time: Vancouver, Canada
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: Conference on the Quality of Software Architectures (QoSA) ; https://hal.inria.fr/hal-00816940 ; Conference on the Quality of Software Architectures (QoSA), Jun 2013, Vancouver, Canada. pp.143--152, ⟨10.1145/2465478.2465486⟩
Témata: Business Process, Evolution, Quality of Service, Causal Model, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.2: Life cycle, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Geografické téma: Vancouver
Time: Vancouver, Canada
Relation: hal-00816940; https://hal.inria.fr/hal-00816940; https://hal.inria.fr/hal-00816940/document; https://hal.inria.fr/hal-00816940/file/root.pdf
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: Lecture Notes in Computer Science ; 23th International Conference on Testing Software and Systems (ICTSS) ; https://inria.hal.science/hal-00640312 ; 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Témata: Model-Based Testing, UML/OCL, temporal property, Coverage, model animation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: Lecture Notes in Computer Science ; 23th International Conference on Testing Software and Systems (ICTSS) ; https://inria.hal.science/hal-00640312 ; 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Témata: Model-Based Testing, UML/OCL, temporal property, Coverage, model animation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: Lecture Notes in Computer Science ; 23th International Conference on Testing Software and Systems (ICTSS) ; https://inria.hal.science/hal-00640312 ; 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Témata: Model-Based Testing, UML/OCL, temporal property, Coverage, model animation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: Lecture Notes in Computer Science ; 23th International Conference on Testing Software and Systems (ICTSS) ; https://inria.hal.science/hal-00640312 ; 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Témata: model animation, Coverage, temporal property, UML/OCL, Model-Based Testing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
-
15
Autoři: a další
Přispěvatelé: a další
Zdroj: Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems. SFM 2011 ; https://inria.hal.science/hal-00647701 ; Marco Bernardo and Valérie Issarny. Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems. SFM 2011, LNCS 6659, Springer, 2011
Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, 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], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Relation: info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT; hal-00647701; https://inria.hal.science/hal-00647701; https://inria.hal.science/hal-00647701/document; https://inria.hal.science/hal-00647701/file/BertinoroSchool2011.pdf
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: 3rd International Workshop on Software Engineering for Resilient Systems
https://inria.hal.science/hal-00647363
3rd International Workshop on Software Engineering for Resilient Systems, Sep 2011, Geneva, SwitzerlandTémata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, 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: Geneva, Switzerland
Relation: info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT; hal-00647363; https://inria.hal.science/hal-00647363; https://inria.hal.science/hal-00647363/document; https://inria.hal.science/hal-00647363/file/BertolinoSERENE2011.pdf
-
17
Autoři: a další
Přispěvatelé: a další
Zdroj: 6th International Conference on Software and Data Technologies (ICSOFT 2011)
https://inria.hal.science/hal-00647358
6th International Conference on Software and Data Technologies (ICSOFT 2011), Jul 2011, Seville, SpainTémata: CONNECT project, interoperability, model-based dependability assessment, runtime monitoring, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT; hal-00647358; https://inria.hal.science/hal-00647358; https://inria.hal.science/hal-00647358/document; https://inria.hal.science/hal-00647358/file/BertolinoICSOFT2011.pdf
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: 13th European Workshop on Dependable Computing (EWDC)
https://inria.hal.science/hal-00647355
13th European Workshop on Dependable Computing (EWDC), May 2011, Pisa, ItalyTémata: Monitoring, Model-driven engineering, Complex-event processing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT; hal-00647355; https://inria.hal.science/hal-00647355; https://inria.hal.science/hal-00647355/document; https://inria.hal.science/hal-00647355/file/BertolinoEWDC2011.pdf
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: Lecture Notes in Computer Science ; 23th International Conference on Testing Software and Systems (ICTSS) ; https://hal.inria.fr/hal-00640312 ; 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Témata: Model-Based Testing, UML/OCL, temporal property, Coverage, model animation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: hal-00640312; https://hal.inria.fr/hal-00640312; https://hal.inria.fr/hal-00640312/document; https://hal.inria.fr/hal-00640312/file/978-3-642-24580-0_4_Chapter.pdf
-
20
Autoři: a další
Přispěvatelé: a další
Zdroj: Computer Security Foundations Symposium ; https://inria.hal.science/inria-00161019 ; Computer Security Foundations Symposium, Jul 2007, S. Servolo island, Venice, Italy
Témata: ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.3: Information flow controls, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.6: Monitors, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.5: Program analysis, ACM: K.: Computing Milieux/K.4: COMPUTERS AND SOCIETY/K.4.1: Public Policy Issues/K.4.1.5: Privacy, 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/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Nájsť tento článok vo Web of Science