Suchergebnisse - "ACM: D.: Software/D.2: SOFTWARE ENGINEERING"

Treffer weiter einschränken
  1. 1

    RISC-V Word-Size Modular Instructions for Residue Number Systems ; Instructions modulaires RISC-V pour Residue Number System

    Autoren: Didier, Laurent-Stéphane Robert, Jean-Marc Institut de Mathématiques de Toulon - EA 2134 (IMATH) et al.

    Weitere Verfasser: Didier, Laurent-Stéphane Robert, Jean-Marc Institut de Mathématiques de Toulon - EA 2134 (IMATH) et al.

    Quelle: Lecture Notes in Networks and Systems, Proceedings of the Future Technologies Conference (FTC) 2024, Volume 2 ; Future Technologies Conference (FTC) 2024 ; https://hal.science/hal-04790909 ; Future Technologies Conference (FTC) 2024, The Science and Information (SAI) Organization, Nov 2024, London, United Kingdom. pp.68-86, ⟨10.1007/978-3-031-73122-8_5⟩ ; https://saiconference.com/FTC

    Schlagwörter: High performance number system Residue Number Systems modular multiplication word-size modular arithmetic RISC-V ISA, High performance number system, Residue Number Systems, modular multiplication, word-size modular arithmetic, RISC-V ISA, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [MATH.MATH-GM]Mathematics [math]/General Mathematics [math.GM]

    Geographisches Schlagwort: London, United Kingdom

    Verfügbarkeit: https://hal.science/hal-04790909
    https://hal.science/hal-04790909v1/document
    https://hal.science/hal-04790909v1/file/main.pdf
    https://doi.org/10.1007/978-3-031-73122-8_5

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    Leveraging a Microservice Architecture, Access Control and Interoperability Patterns to Manage Privacy-related User Consents

    Autoren: Lamari, Selena Benblidia, Nadjia Tibermacine, Chouki et al.

    Weitere Verfasser: Lamari, Selena Benblidia, Nadjia Tibermacine, Chouki et al.

    Quelle: Service-Oriented Computing ; ICSOC 2024 - 22nd International Conference on Service-Oriented Computing ; https://imt-mines-ales.hal.science/hal-04737951 ; ICSOC 2024 - 22nd International Conference on Service-Oriented Computing, Dec 2024, Tunis, Tunisia. pp.146-157, ⟨10.1007/978-981-96-0808-9_12⟩ ; https://icsoc2024.redcad.tn/index.html

    Schlagwörter: Microservice architecture, Interoperability, Software engineering, Privacy, GDPR regulation, Personal data, Consent management, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

    Geographisches Schlagwort: Tunis, Tunisia

    Verfügbarkeit: https://imt-mines-ales.hal.science/hal-04737951
    https://imt-mines-ales.hal.science/hal-04737951v1/document
    https://imt-mines-ales.hal.science/hal-04737951v1/file/ICSOC%202024%20-%20Lamari%20et%20al.%20-%20Leveraging%20a%20Microservice%20Architecture,%20Access%20Control%20and%20Interoperability%20Patterns%20to%20Manage%20Privacy-related%20User%20Consents.pdf
    https://doi.org/10.1007/978-981-96-0808-9_12

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Pull Requests Integration Process Optimization: An Empirical Study

    Autoren: Olmedo, Agustín Arévalo, Gabriela Cassol, Ignacio et al.

    Weitere Verfasser: Olmedo, Agustín Arévalo, Gabriela Cassol, Ignacio et al.

    Quelle: Evaluation of Novel Approaches to Software Engineering ; https://imt-mines-ales.hal.science/hal-04157804 ; Hermann Kaindl, Mike Mannion and Leszek A. Maciaszek. Evaluation of Novel Approaches to Software Engineering, 1829, Springer, pp.155-178, 2023, Communications in Computer and Information Science, 978-3-031-36596-6. ⟨10.1007/978-3-031-36597-3_8⟩

    Schlagwörter: Collaborative software development, Distributed version control system, Pull-based development, Pull request, Integration process efficiency, Software merging, Merge conflicts, ACM: D.: Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management/D.2.9.5: Software configuration management, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Verfügbarkeit: https://imt-mines-ales.hal.science/hal-04157804
    https://imt-mines-ales.hal.science/hal-04157804v1/document
    https://imt-mines-ales.hal.science/hal-04157804v1/file/Pull_Requests_Integration_Process_Optimization_An%20Empirical%20Study.pdf
    https://doi.org/10.1007/978-3-031-36597-3_8

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Cloud-Agnostic Serverless Platform for Fault-Tolerant Execution of Dynamic Task Graphs

    Autoren: Delamea, Quentin Burman, Janna Gurhem, Jerome et al.

    Weitere Verfasser: Delamea, Quentin Burman, Janna Gurhem, Jerome et al.

    Quelle: 2025 IEEE Cloud Summit
    https://hal.science/hal-05265233
    2025 IEEE Cloud Summit, Jun 2025, Washington DC, United States. IEEE, pp.39-45, 2025, ⟨10.1109/Cloud-Summit64795.2025.00014⟩

    Schlagwörter: cloud computing, task graph execution, fault-tolerance, distributed scheduling, elastic computing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO]Computer Science [cs]

    Geographisches Schlagwort: Washington DC, United States

    Time: Washington DC, United States

    Verfügbarkeit: https://hal.science/hal-05265233
    https://doi.org/10.1109/Cloud-Summit64795.2025.00014

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    Draw me Science: Multi-level and multi-scale reconstruction of knowledge dynamics with phylomemies

    Autoren: David Chavalarias Quentin Lobbé Alexandre Delanoë et al.

    Weitere Verfasser: David Chavalarias Quentin Lobbé Alexandre Delanoë et al.

    Quelle: Scientometrics

    Schlagwörter: 0301 basic medicine, 0303 health sciences, [SHS.STAT]Humanities and Social Sciences/Methods and statistics, [SHS.HISPHILSO]Humanities and Social Sciences/History, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g, Philosophy and Sociology of Sciences, [SHS.INFO]Humanities and Social Sciences/Library and information sciences, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], Article, [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing, 03 medical and health sciences, [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], ACM: D.: Software/D.2: SOFTWARE ENGINEERING, HCI), [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL], [INFO]Computer Science [cs]

    Zugangs-URL: https://link.springer.com/content/pdf/10.1007/s11192-021-04186-5.pdf
    https://pubmed.ncbi.nlm.nih.gov/34840359
    https://hal-paris1.archives-ouvertes.fr/hal-03180347v1
    https://hal.inria.fr/hal-03180347v1
    https://link.springer.com/content/pdf/10.1007/s11192-021-04186-5.pdf
    https://hal.archives-ouvertes.fr/hal-03180347
    https://link.springer.com/article/10.1007%2Fs11192-021-04186-5/metrics
    https://europepmc.org/article/PMC/PMC8606253

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    Report From The Trenches A Case Study In Modernizing Software Development Practices

    Autoren: Mahugnon Honoré, Houékpétodji Anquetil, Nicolas Ducasse, Stéphane et al.

    Weitere Verfasser: Mahugnon Honoré, Houékpétodji Anquetil, Nicolas Ducasse, Stéphane et al.

    Quelle: IEEE International Conference on Software Maintenance and Evolution--Industrial track ; https://inria.hal.science/hal-03341735 ; IEEE International Conference on Software Maintenance and Evolution--Industrial track, Sep 2021, Luxembourg, Luxembourg

    Schlagwörter: Grounded Theory, Agile development, COVID-19, Exploratory case study, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Geographisches Schlagwort: Luxembourg

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/2109.05531; ARXIV: 2109.05531

    Verfügbarkeit: https://inria.hal.science/hal-03341735
    https://inria.hal.science/hal-03341735v1/document
    https://inria.hal.science/hal-03341735v1/file/main.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  7. 7

    Towards Profiling Runtime Architecture Code Contributors in Software Projects

    Autoren: Perez, Quentin Le Borgne, Alexandre Urtado, Christelle et al.

    Weitere Verfasser: Perez, Quentin Le Borgne, Alexandre Urtado, Christelle et al.

    Quelle: ENASE 2021 - 16th International conference on Evaluation of Novel Approaches to Software Engineering ; https://imt-mines-ales.hal.science/hal-03173312 ; ENASE 2021 - 16th International conference on Evaluation of Novel Approaches to Software Engineering, Apr 2021, Online, United States. pp.429--436, ⟨10.5220/0010495804290436⟩ ; http://www.enase.org/

    Schlagwörter: Empirical software engineering, Code ownership, Software architecture, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.8: Software libraries, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Geographisches Schlagwort: Online, United States

    Verfügbarkeit: https://imt-mines-ales.hal.science/hal-03173312
    https://imt-mines-ales.hal.science/hal-03173312v1/document
    https://imt-mines-ales.hal.science/hal-03173312v1/file/Perez%20et%20al.%20ENASE%202021.pdf
    https://doi.org/10.5220/0010495804290436

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  8. 8

    Laborem Box: A scalable and open source platform to design remote lab experiments in electronics

    Autoren: Lavayssière, Camille Larroque, Benoît Luthon, Franck et al.

    Weitere Verfasser: Lavayssière, Camille Larroque, Benoît Luthon, Franck et al.

    Quelle: ISSN: 2468-0672 ; HardwareX ; https://univ-pau.hal.science/hal-03658332 ; HardwareX, 2022, 11, pp.1-25. ⟨10.1016/j.ohx.2022.e00301⟩.

    Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES/H.1.2: User/Machine Systems, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE]

    Verfügbarkeit: https://univ-pau.hal.science/hal-03658332
    https://univ-pau.hal.science/hal-03658332v1/document
    https://univ-pau.hal.science/hal-03658332v1/file/HardwareX_Laborem_Box_Rev2Final.pdf
    https://doi.org/10.1016/j.ohx.2022.e00301

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  9. 9

    Presentation of the biological resource access portal of the RARe's animal division ; Présentation du portail d'accès aux ressources biologiques du pilier animal de RARe

    Autoren: Marthey, Sylvain Delavaud, Aurélie Marthey, Nicolas et al.

    Weitere Verfasser: Marthey, Sylvain Delavaud, Aurélie Marthey, Nicolas et al.

    Quelle: ISSN: 2823-2283.

    Schlagwörter: access to genetic resources, shellfish, fish, birds, mammals, Information system, coquillages, accès aux ressources génétiques, poissons, oiseaux, Mammifères domestiques, Système d'information, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: H.: Information Systems, [INFO.INFO-WB]Computer Science [cs]/Web, [INFO.INFO-BT]Computer Science [cs]/Biotechnology, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [SDV]Life Sciences [q-bio], [SDV.BA.MVSA]Life Sciences [q-bio]/Animal biology/Veterinary medicine and animal Health, [SDV.BBM.GTP]Life Sciences [q-bio]/Biochemistry, Molecular Biology/Genomics [q-bio.GN], [SDV.BDLR]Life Sciences [q-bio]/Reproductive Biology, [SDV.BID]Life Sciences [q-bio]/Biodiversity, [SDV.GEN.GA]Life Sciences [q-bio]/Genetics/Animal genetics, [SDV.GEN.GPO]Life Sciences [q-bio]/Genetics/Populations and Evolution [q-bio.PE]

    Verfügbarkeit: https://hal.inrae.fr/hal-03727344
    https://hal.inrae.fr/hal-03727344v1/document
    https://hal.inrae.fr/hal-03727344v1/file/21_Marthey_NOVAE2022.pdf
    https://doi.org/10.17180/novae-2022-NS02-art21

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    Loop Aggregation for Approximate Scientific Computing

    Autoren: Sallou, June Gauvain, Alexandre Bourcier, Johann et al.

    Weitere Verfasser: Sallou, June Gauvain, Alexandre Bourcier, Johann et al.

    Quelle: Computational Science – ICCS 2020 ; ICCS 2020 - International Conference on Computational Science ; https://hal.science/hal-02545875 ; ICCS 2020 - International Conference on Computational Science, 2020, Amsterdam, Netherlands. pp.141-155, ⟨10.1007/978-3-030-50417-5_11⟩

    Schlagwörter: Computational Science, Approximate Computing, Trade-off, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE]

    Geographisches Schlagwort: Amsterdam, Netherlands

    Verfügbarkeit: https://hal.science/hal-02545875
    https://hal.science/hal-02545875v1/document
    https://hal.science/hal-02545875v1/file/Loop_Aggregation_for_Scientific_Computing.pdf
    https://doi.org/10.1007/978-3-030-50417-5_11

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    Digitalization in Next Generation C2: Research Agenda from Model-Based Engineering Perspective

    Autoren: Buisson, Jérémy M, Jean Levrai Mbeck Belloir, Nicolas et al.

    Weitere Verfasser: Buisson, Jérémy M, Jean Levrai Mbeck Belloir, Nicolas et al.

    Quelle: 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE)
    https://hal.science/hal-02887623
    2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), Jun 2020, Budapest, France. pp.000243-000248, ⟨10.1109/SoSE50414.2020.9130534⟩

    Schlagwörter: Index Terms-C2, military SoS, model-based engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.10: Design/D.2.10.1: Representation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Geographisches Schlagwort: Budapest, France

    Verfügbarkeit: https://hal.science/hal-02887623
    https://hal.science/hal-02887623/document
    https://hal.science/hal-02887623/file/Buisson%20et%20al.%20-%202020%20-%20Digitalization%20in%20Next%20Generation%20C2%20Research%20Age.pdf
    https://doi.org/10.1109/SoSE50414.2020.9130534

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    Low Cost High Integrity Platform ; Low Cost High Integrity Platform: regular paper

    Autoren: Lecomte, Thierry Déharbe, David Sabatier, Denis et al.

    Weitere Verfasser: Lecomte, Thierry Déharbe, David Sabatier, Denis et al.

    Quelle: ERTS 2020 - 10th European Congress on Embedded Real Time Systems ; https://hal.science/hal-02446132 ; ERTS 2020 - 10th European Congress on Embedded Real Time Systems, Jan 2020, Toulouse, France

    Schlagwörter: Certification, Safety, Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]

    Geographisches Schlagwort: Toulouse, France

    Verfügbarkeit: https://hal.science/hal-02446132
    https://hal.science/hal-02446132v1/document
    https://hal.science/hal-02446132v1/file/Low_Cost_High_Integrity_Platform.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    Visual Program Manipulation in the Polyhedral Model

    Autoren: Zinenko, Oleksandr Huot, Stéphane Bastoul, Cédric et al.

    Weitere Verfasser: Zinenko, Oleksandr Huot, Stéphane Bastoul, Cédric et al.

    Quelle: ACM Transactions on Architecture and Code Optimization. 15:1-25

    Schlagwörter: [INFO.INFO-DC]Computer Science [cs]/Distributed, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g, Direct manipulation, 02 engineering and technology, Polyhedral model, Parallel, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], and Cluster Computing [cs.DC], [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, HCI), [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]

    Dateibeschreibung: application/pdf

    Zugangs-URL: http://dl.acm.org/ft_gateway.cfm?id=3177961&type=pdf
    https://dl.acm.org/doi/10.1145/3177961
    https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002248695440994
    https://dl.acm.org/doi/pdf/10.1145/3177961
    https://dblp.uni-trier.de/db/journals/taco/taco15.html#ZinenkoHB18
    https://doi.org/10.1145/3177961
    https://hal.inria.fr/hal-01744426/document

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

    GdR Génie de la Programmation et du Logiciel, Défis 2030

    Autoren: Blay-Fornarino, Mireille Dubois, Catherine Moreau, Pierre-Etienne et al.

    Weitere Verfasser: Blay-Fornarino, Mireille Dubois, Catherine Moreau, Pierre-Etienne et al.

    Quelle: https://hal.science/hal-03097727 ; 2021.

    Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Relation: https://hal.science/hal-03417881v1

    Verfügbarkeit: https://hal.science/hal-03097727
    https://hal.science/hal-03097727v1/document
    https://hal.science/hal-03097727v1/file/GDR_GPL_DEFIS_2030.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

    ObjTables: structured spreadsheets that promote data quality, reuse, and integration

    Autoren: Karr, Jonathan, R Liebermeister, Wolfram Goldberg, Arthur, P et al.

    Weitere Verfasser: Karr, Jonathan, R Liebermeister, Wolfram Goldberg, Arthur, P et al.

    Quelle: https://hal.inrae.fr/hal-03337093 ; 2021.

    Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM]

    Verfügbarkeit: https://hal.inrae.fr/hal-03337093
    https://hal.inrae.fr/hal-03337093v1/document
    https://hal.inrae.fr/hal-03337093v1/file/Karr_2020_ObjTables_preprint.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

    Draw me Science - multi-level and multi-scale reconstruction of knowledge dynamics with phylomemies

    Autoren: Chavalarias, David Lobbe, Quentin Delanoë, Alexandre et al.

    Weitere Verfasser: Chavalarias, David Lobbe, Quentin Delanoë, Alexandre et al.

    Quelle: https://hal.science/hal-03180347 ; 2021.

    Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI), [INFO.INFO-DL]Computer Science [cs]/Digital Libraries [cs.DL], [INFO]Computer Science [cs], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing, [INFO.INFO-SI]Computer Science [cs]/Social and Information Networks [cs.SI], [SHS.HISPHILSO]Humanities and Social Sciences/History, Philosophy and Sociology of Sciences, [SHS.INFO]Humanities and Social Sciences/Library and information sciences, [SHS.STAT]Humanities and Social Sciences/Methods and statistics

    Verfügbarkeit: https://hal.science/hal-03180347
    https://hal.science/hal-03180347v2/document
    https://hal.science/hal-03180347v2/file/ChavalariasEtAl2021_KnowledgeDynamics_withSI.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  17. 17

    Correct-by-construction model driven engineering composition operators

    Autoren: Kezadri, Mounira Pantel, Marc Thirioux, Xavier et al.

    Weitere Verfasser: Kezadri, Mounira Pantel, Marc Thirioux, Xavier et al.

    Quelle: Formal Aspects of Computing. 28:409-440

    Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics, MDE, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, ACM: D.: Software, 01 natural sciences, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, Formal verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, 0202 electrical engineering, electronic engineering, information engineering, Proof assistant, MOF, Composition

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  18. 18

    How Resilient is your computer system?

    Autoren: Excoffon, William Fabre, Jean-Charles Lauer, Michaël et al.

    Weitere Verfasser: Excoffon, William Fabre, Jean-Charles Lauer, Michaël et al.

    Quelle: ERTS 2018,9th European Congress Embedded Real Time Software and systems ; https://hal.science/hal-01708220 ; ERTS 2018,9th European Congress Embedded Real Time Software and systems, Jan 2018, Toulouse, France

    Schlagwörter: ACM: D.: Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

    Geographisches Schlagwort: Toulouse, France

    Verfügbarkeit: https://hal.science/hal-01708220
    https://hal.science/hal-01708220v1/document
    https://hal.science/hal-01708220v1/file/ERTS2018-paper-full-V1.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  19. 19

    Automatic Transformation from Ecore Metamodels towards Gallina Inductive Types

    Autoren: Buisson, Jeremy Rehab, Seidali Centre de recherche des écoles de Saint-Cyr Coëtquidan Guer (CREC) et al.

    Weitere Verfasser: Buisson, Jeremy Rehab, Seidali Centre de recherche des écoles de Saint-Cyr Coëtquidan Guer (CREC) et al.

    Quelle: MODELSWARD 2018 ; https://hal.science/hal-01693939 ; MODELSWARD 2018, Jan 2018, Santa Cruz, Portugal. ⟨10.5220/0006608604880495⟩

    Schlagwörter: Ecore, QVT, Model-Driven Engineering, Coq, Xtext, Model Transformation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Geographisches Schlagwort: Santa Cruz, Portugal

    Verfügbarkeit: https://hal.science/hal-01693939
    https://hal.science/hal-01693939v1/document
    https://hal.science/hal-01693939v1/file/Modelsward2018_Model__Camera_ready_.pdf
    https://doi.org/10.5220/0006608604880495

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

    Alignement des points de vue du système d'information Une approche pragmatique

    Autoren: Pepin, Jonathan Andre, Pascal Attiogbé, Christian et al.

    Weitere Verfasser: Pepin, Jonathan Andre, Pascal Attiogbé, Christian et al.

    Quelle: Actes du XXXVIème Congrès INFORSID ; https://hal.science/hal-02468406 ; Actes du XXXVIème Congrès INFORSID, May 2018, Nantes, France

    Schlagwörter: Systèmes d'information, Architecture d'entreprise, Rétro-ingénierie, Alignement Métier, Ingénierie des modèles, Mesure, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: H.: Information Systems/H.4: INFORMATION SYSTEMS APPLICATIONS, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Geographisches Schlagwort: Nantes, France

    Verfügbarkeit: https://hal.science/hal-02468406
    https://hal.science/hal-02468406v1/document
    https://hal.science/hal-02468406v1/file/INFORSID2018Pepin.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: