Výsledky vyhledávání - "ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages"

From hybrid data-flow languages to hybrid automata: a complete translation

Autoři: Schrammel, Peter Jeannet, Bertrand Thao Dang and Ian Mitchell a další

Přispěvatelé: Schrammel, Peter Jeannet, Bertrand Thao Dang and Ian Mitchell a další

Zdroj: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. :167-176

Témata: 0209 industrial biotechnology, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.2: Simulation Languages, Static Analysis, Verification, 02 engineering and technology, Hybrid Systems, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.4: Model Validation and Analysis, [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, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, Data-Flow Languages, Hybrid Automata, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/hal-00749891/file/paper.pdf
https://inria.hal.science/hal-00659698v1
https://inria.hal.science/hal-00749891v1
https://inria.hal.science/hal-00749891v1/document
https://doi.org/10.1145/2185632.2185658
https://hal.inria.fr/hal-00659698
http://srodev.sussex.ac.uk/60805/
https://dl.acm.org/doi/10.1145/2185632.2185658
https://hal.inria.fr/hal-00659698/document
https://www.cs.ox.ac.uk/publications/publication6408-abstract.html
http://sro.sussex.ac.uk/id/eprint/60805/

Model Transformations with Tom

Autoři: Bach, Jean-Christophe Crégut, Xavier Moreau, Pierre-Etienne a další

Přispěvatelé: Bach, Jean-Christophe Crégut, Xavier Moreau, Pierre-Etienne a další

Zdroj: LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012 ; https://inria.hal.science/hal-00646350 ; LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012, Mar 2012, Tallinn, Estonia. pp.16

Témata: model transformation, Tom, language, Java, EMF, term structure, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.2: Methodologies (e.g., object-oriented, structured), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.3: Tools, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.3: Languages (e.g., description, interconnection, definition), [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Tallinn, Estonia

Time: Tallinn, Estonia

Dostupnost: https://inria.hal.science/hal-00646350
https://inria.hal.science/hal-00646350v2/document
https://inria.hal.science/hal-00646350v2/file/camera_ready_version-without_final_copyright.pdf

Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment. A case study within the FoCaLiZe environment

Autoři: Doligez, Damien Jaume, Mathieu Rioboo, Renaud a další

Přispěvatelé: Doligez, Damien Jaume, Mathieu Rioboo, Renaud a další

Zdroj: PLAS - Seventh Workshop on Programming Languages and Analysis for Security ; https://inria.hal.science/hal-00773654 ; PLAS - Seventh Workshop on Programming Languages and Analysis for Security, Jun 2012, Beijing, China. ⟨10.1145/2336717.2336726⟩

Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.1: Classes and objects, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features/D.3.3.9: Inheritance, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.0: Access controls, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Beijing, China

Dostupnost: https://inria.hal.science/hal-00773654
https://inria.hal.science/hal-00773654v1/document
https://inria.hal.science/hal-00773654v1/file/DJR.pdf
https://doi.org/10.1145/2336717.2336726

Yet Another Meta-Model to specify Non-Functional Properties

Autoři: Di Marco, Antinisca Pompilio, Claudio Bertolino, Antonia a další

Přispěvatelé: Di Marco, Antinisca Pompilio, Claudio Bertolino, Antonia a další

Zdroj: International Workshop on Quality Assurance for Service-Based Applications (QASBA 2011) ; https://inria.hal.science/hal-00647360 ; International Workshop on Quality Assurance for Service-Based Applications (QASBA 2011), Sep 2011, Lugano, Switzerland

Témata: Meta-model, non-functional properties, service quality model, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.7: Software quality assurance (SQA), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Lugano, Switzerland

Relation: info:eu-repo/grantAgreement/EC/FP7/231167/EU/Emergent Connectors for Eternal Software Intensive Networked Systems/CONNECT; hal-00647360; https://inria.hal.science/hal-00647360; https://inria.hal.science/hal-00647360/document; https://inria.hal.science/hal-00647360/file/DiMarcoQASBA2011.pdf

Dostupnost: https://inria.hal.science/hal-00647360
https://inria.hal.science/hal-00647360/document
https://inria.hal.science/hal-00647360/file/DiMarcoQASBA2011.pdf

Automata-based Confidentiality Monitoring

Autoři: Le Guernic, Gurvan Banerjee, Anindya Jensen, Thomas a další

Přispěvatelé: Le Guernic, Gurvan Banerjee, Anindya Jensen, Thomas a další

Zdroj: ASIAN'06: 11th Annual Asian Computing Science Conference ; https://inria.hal.science/inria-00130210 ; ASIAN'06: 11th Annual Asian Computing Science Conference, National Institute of Informatics, Dec 2006, Tokyo/Japan

Témata: Language-based security, Monitoring, Automata, Information flow, Confidentiality, Non-interference, 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.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.2: Operational semantics, 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: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.4: Sequential Programming, 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.4: Software/Program Verification/D.2.4.2: Correctness proofs, 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.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.3: Information flow controls, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnost: https://inria.hal.science/inria-00130210
https://inria.hal.science/inria-00130210/document
https://inria.hal.science/inria-00130210/file/automatonBasedNiMonitoring.pdf

Specification and Refinement of Mobile Systems in MTLA and Mobile UML

Autoři: Knapp, Alexander Merz, Stephan Wirsing, Martin a další

Přispěvatelé: Knapp, Alexander Merz, Stephan Wirsing, Martin a další

Zdroj: ISSN: 0304-3975.

Témata: mobile systems, temporal logic, spatial logic, specification, verification, refinement, UML, system development, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Dostupnost: https://inria.hal.science/inria-00000754
https://inria.hal.science/inria-00000754v1/document
https://inria.hal.science/inria-00000754v1/file/final.pdf
https://doi.org/10.1016/j.tcs.2005.09.067

Combining CCSL and Esterel to specify and verify time requirements

Autoři: André, Charles Mallet, Frédéric Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) a další

Přispěvatelé: André, Charles Mallet, Frédéric Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) a další

Zdroj: https://inria.hal.science/inria-00360528 ; [Research Report] RR-6839, INRIA. 2009.

Témata: Time Model, MARTE, Synchronous languages, Esterel, SyncCharts, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing

Dostupnost: https://inria.hal.science/inria-00360528
https://inria.hal.science/inria-00360528v2/document
https://inria.hal.science/inria-00360528v2/file/RR-6839.pdf

On formal methods for certifying floating-point C programs

Autoři: Ayad, Ali Laboratoire de Recherche en Informatique (LRI) Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS) a další

Přispěvatelé: Ayad, Ali Laboratoire de Recherche en Informatique (LRI) Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS) a další

Zdroj: https://inria.hal.science/inria-00383793 ; [Research Report] RR-6927, INRIA. 2009, pp.34.

Témata: static analysis of programs, formal methods, deductive verification, automatic theorem provers, interactive proof assistants, floating-point arithmetic, IEEE-754 standard, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.5: Programming by contract, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.4: Pre- and post-conditions, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Dostupnost: https://inria.hal.science/inria-00383793
https://inria.hal.science/inria-00383793v1/document
https://inria.hal.science/inria-00383793v1/file/RR-6927.pdf

A DSL for Specifying Timing Requirements

Autoři: Goknil, Arda Peraldi-Frati, Marie-Agnès Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) a další

Přispěvatelé: Goknil, Arda Peraldi-Frati, Marie-Agnès Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) a další

Zdroj: Model-Driven Requirements Engineering Workshop (MoDRE), 2012 IEEE ; MoDRE 2012 - 2nd IEEE International Workshop on Model-Driven Requirements Engineering ; https://inria.hal.science/hal-00757168 ; MoDRE 2012 - 2nd IEEE International Workshop on Model-Driven Requirements Engineering, IEEE Requirement Engineering Conference, Sep 2012, Chicago, United States. pp.49-57, ⟨10.1109/MoDRE.2012.6360074⟩ ; http://cserg0.site.uottawa.ca/modre2012/proceedings.htm

Témata: Timing Analysis, Model Driven Development (MDD), Requirements Metamodel, Domain-Specific Language, Timing Requirements, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Chicago, United States

Relation: info:eu-repo/grantAgreement//ITEA 2 project 09033/EU/Timing Model Tools, algorithms, languages, methodology, USE cases/TIMMO-2-USE

Dostupnost: https://inria.hal.science/hal-00757168
https://doi.org/10.1109/MoDRE.2012.6360074

Specification and Verification of Time Requirements with CCSL and Esterel

Autoři: André, Charles Mallet, Frédéric Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) a další

Přispěvatelé: André, Charles Mallet, Frédéric Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE) a další

Zdroj: Languages, Compilers, and Tools for Embedded Systems ; https://inria.hal.science/inria-00416654 ; Languages, Compilers, and Tools for Embedded Systems, Jun 2009, Dublin, Ireland. pp.167-176, ⟨10.1145/1543136.1542475⟩

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing

Geografické téma: Dublin, Ireland

Dostupnost: https://inria.hal.science/inria-00416654
https://doi.org/10.1145/1543136.1542475