Suchergebnisse - acm: d.: software/d.3: programming languages/d.3.4: processes~

Treffer weiter einschränken
  1. 1

    Tool Support for a Method and a Language Integrating Model Refinements and Project Management

    Autoren: Bergaoui, Salma Llopard, Ivan Hili, Nicolas et al.

    Weitere Verfasser: Bergaoui, Salma Llopard, Ivan Hili, Nicolas et al.

    Quelle: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
    https://cea.hal.science/cea-01236474
    8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
    https://hal.archives-ouvertes.fr/ERTS2016/

    Schlagwörter: Development Processes, Embedded Systems, Methods & Tools, Project Management, Model-Based System Engineering, Action Language, Parallelism, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.9: State diagrams, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.11: Object-oriented languages, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development/I.6.5.0: Modeling methodologies, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geographisches Schlagwort: Toulouse, France

    Relation: info:eu-repo/grantAgreement/EC/FP7/332913/EU/COgnitive & Perceptive CAMeraS/COPCAMS

    Verfügbarkeit: https://cea.hal.science/cea-01236474
    https://cea.hal.science/cea-01236474v1/document
    https://cea.hal.science/cea-01236474v1/file/ERTSS-2016-HOE2-2015-12-01-18h02.pdf

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

    Proceedings of the First Domain-Specific Aspect Languages Workshop - ACM International Conference on Generative Programming and Component Engineering (GPCE 2006)

    Autoren: Tanter, Éric Fabry, Johan Le Meur, Anne-Françoise et al.

    Weitere Verfasser: Tanter, Éric Fabry, Johan Le Meur, Anne-Françoise et al.

    Quelle: https://inria.hal.science/inria-00468283 ; [Research Report] 2006, pp.40.

    Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.12: Specialized application languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Verfügbarkeit: https://inria.hal.science/inria-00468283

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

    Proceedings of the ACM Programming Languages and Pragmatics Conference.

    Autoren: Forsythe, George E.

    Quelle: Communications of the ACM; Mar1966, Vol. 9 Issue 3, p137-138, 2p

    Schlagwörter: CONFERENCES & conventions, COMPUTER software, PROGRAMMING languages, PRAGMATICS, COMMITTEES

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

    Challenges and Improvements in Distributed Software Development: A Systematic Review.

    Autoren: Jiménez, Miguel Piattini, Mario Vizcaíno, Aurora

    Quelle: Advances in Software Engineering; 2009, p1-14, 14p, 4 Charts, 4 Graphs

    Schlagwörter: COMPUTER software development, COMPUTER software quality control, SOFTWARE architecture, COMPUTER programming, COMPUTER programmers, COMPUTER software developers, PROGRAMMING languages

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

    Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation.

    Autoren: SEWELL, PETER WOJCIECHOWSKI, PAWEŁ T. UNYAPOTH, ASIS

    Quelle: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p12-12.83, 63p, 7 Diagrams, 6 Charts

    Schlagwörter: MOBILE computing, SYSTEM analysis, SYSTEMS software, PROGRAMMING languages, ALGORITHMS, COMPUTER programming

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

    Gradual session types.

    Autoren: IGARASHI, ATSUSHI THIEMANN, PETER TSUDA, YUYA et al.

    Quelle: Journal of Functional Programming; 2019, Vol. 29, p1-56, 56p

    Schlagwörter: COMMUNICATION, WEB-based user interfaces, SEMANTICS, TYPEWRITING, PROGRAMMING languages

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

    Code Staging in GNU Guix

    Autoren: Courtès, Ludovic Service Expérimentation et Développement Bordeaux (SED) Inria Bordeaux - Sud-Ouest et al.

    Weitere Verfasser: Courtès, Ludovic Service Expérimentation et Développement Bordeaux (SED) Inria Bordeaux - Sud-Ouest et al.

    Quelle: 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE’17)
    https://hal.inria.fr/hal-01580582
    16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE’17), Oct 2017, Vancouver, Canada. ⟨10.1145/3136040.3136045⟩
    http://conf.researchr.org/home/gpce-2017

    Schlagwörter: Software deployment, Scheme, Code staging, System administration, Functional languages, Source code generation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.9: Management, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.9: Systems Programs and Utilities, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.0: Applicative (functional) languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

    Geographisches Schlagwort: Vancouver

    Time: Vancouver, Canada

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1709.00833; hal-01580582; https://hal.inria.fr/hal-01580582; https://hal.inria.fr/hal-01580582/document; https://hal.inria.fr/hal-01580582/file/gpce.pdf; ARXIV: 1709.00833

    Verfügbarkeit: https://hal.inria.fr/hal-01580582
    https://hal.inria.fr/hal-01580582/document
    https://hal.inria.fr/hal-01580582/file/gpce.pdf
    https://doi.org/10.1145/3136040.3136045

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

    Behavioral Interface Specification Languages.

    Autoren: Hatcliff, John Leavens, Gary T. Leino, K. Rustan M. et al.

    Quelle: ACM Computing Surveys; Jun2012, Vol. 44 Issue 3, p16-16:58, 58p

    Schlagwörter: COMPUTER interfaces, PROGRAMMING languages, COMPUTER programming, COMPUTER software, COMPUTER programmers, SOFTWARE verification, SOFTWARE engineering

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

    Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)

    Autoren: Deransart, Pierre Ducassé, Mireille Ferrand, Gérard et al.

    Weitere Verfasser: Deransart, Pierre Ducassé, Mireille Ferrand, Gérard et al.

    Quelle: https://inria.hal.science/inria-00151285 ; [Interne] RR-6229, INRIA. 2007, pp.54.

    Schlagwörter: trace, tracer, tracer driver, analyser, analyser manager, observational semantics, trace adequation, software engineering, debugging, programming environment, Byrd's trace, Prolog, Prolog debugging, box model, trace validation, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.12: Interoperability/D.2.12.2: Interface definition languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.2: Interactive environments, 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], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

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

    Verfügbarkeit: https://inria.hal.science/inria-00151285
    https://inria.hal.science/inria-00151285v3/document
    https://inria.hal.science/inria-00151285v3/file/RR-6229.pdf

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

    A Domain-Specific Language for Coordinating Concurrent Aspects in Java

    Autoren: Núñez, Angel Noyé, Jacques Jacques, Noyé et al.

    Weitere Verfasser: Núñez, Angel Noyé, Jacques Jacques, Noyé et al.

    Quelle: 3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007)
    3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007), Mar 2007, Toulouse, France

    Schlagwörter: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Aspect-Oriented Progamming, Concurrency, LTS, Reflex, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], FSP, Java, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

    Zugangs-URL: https://inria.hal.science/inria-00468041v1
    https://inria.hal.science/inria-00468041

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

    Emerging languages: An alternative approach to teaching programming languages.

    Autoren: PERUGINI, SAVERIO

    Quelle: Journal of Functional Programming; 2019, Vol. 29, p1-13, 13p

    Schlagwörter: PROGRAMMING languages, CUSTOMIZATION, SYNCHRONIZATION, VIDEO blogs, ONLINE education

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

    Beyond Programming Languages.

    Autoren: Winograd, Terry

    Quelle: Communications of the ACM; Jul1979, Vol. 22 Issue 7, p391-401, 11p

    Schlagwörter: COMPUTER programming, PROGRAMMING languages, COMPUTER software, COMPUTERS, ALGORITHMS, COMPUTER science

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

    Selected Papers from the ACM Conference on Language Design for Reliable Software.

    Autoren: Horning, J. J.

    Quelle: Communications of the ACM; Aug1977, Vol. 20 Issue 8, p539-539, 1p

    Schlagwörter: COMPUTER software, PROGRAMMING languages, RELIABILITY in engineering, COMPUTER programmers, COMPUTER science

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

    A Programmable Programming Language.

    Autoren: FELLEISEN, MATTHIAS FINDLER, ROBERT BRUCE FLATT, MATTHEW et al.

    Quelle: Communications of the ACM; Mar2018, Vol. 61 Issue 3, p62-71, 10p, 1 Illustration, 8 Diagrams

    Schlagwörter: RACKET (Computer program language), DOMAIN-specific programming languages, COMPUTER software development

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

    Proceedings of the 4th workshop on Domain-specific aspect languages (DSAL 2009)

    Autoren: Cleenewerck, Thomas Fabry, Johan Le Meur, Anne-Françoise et al.

    Weitere Verfasser: Cleenewerck, Thomas Fabry, Johan Le Meur, Anne-Françoise et al.

    Quelle: Aspect-oriented software development ; https://inria.hal.science/inria-00469818 ; Thomas Cleenewerck, Johan Fabry, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter. Aspect-oriented software development, Mar 2009, Charlottesville, Virginia, United States. ACM Press, 24 p., 2009, 978-1-60558-455-3 ; http://portal.acm.org/citation.cfm?id=1509307&coll=GUIDE&dl=ACM&CFID=82632910&CFTOKEN=95670755

    Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.12: Specialized application languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

    Geographisches Schlagwort: Charlottesville, Virginia, United States

    Verfügbarkeit: https://inria.hal.science/inria-00469818

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

    Logic programming environments: Dynamic program analysis and debugging

    Autoren: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) et al.

    Weitere Verfasser: Ducassé, Mireille Noyé, Jacques Logiciel : ANalyse et DEveloppement (Lande) et al.

    Quelle: The Journal of Logic Programming. :351-384

    Schlagwörter: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.2: Constraint and logic languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Logic, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.1: Debugging aids, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

    Zugangs-URL: https://inria.hal.science/hal-00756832v1
    https://hal.inria.fr/inria-00074067
    https://dblp.uni-trier.de/db/journals/jlp/jlp19.html#DucasseN94
    https://hal.inria.fr/inria-00074067/document
    https://www.sciencedirect.com/science/article/pii/0743106694900302
    http://www.sciencedirect.com/science/article/pii/0743106694900302

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

    An Evaluation Framework and Comparative Analysis of the Widely Used First Programming Languages.

    Autoren: Farooq, Muhammad Shoaib Khan, Sher Afzal Ahmad, Farooq et al.

    Quelle: PLoS ONE; Feb2014, Vol. 9 Issue 2, p1-25, 25p

    Schlagwörter: COMPARATIVE studies, COMPUTER programming, PROGRAMMING languages, COMPUTER science, COMPUTER engineering, ERGONOMICS, APPLICATION software

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

    Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming

    Autoren: Magnaudet, Mathieu Chatty, Stéphane Conversy, Stéphane et al.

    Weitere Verfasser: Magnaudet, Mathieu Chatty, Stéphane Conversy, Stéphane et al.

    Quelle: Proceedings of the ACM on Human-Computer Interaction. 2:1-27

    Schlagwörter: Interactive Software, Smala, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], 05 social sciences, Reactive Programming, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], GUI Programming, 02 engineering and technology, Djnn

    Dateibeschreibung: application/pdf

    Zugangs-URL: https://hal-enac.archives-ouvertes.fr/hal-01815222/file/pacm2018-light.pdf
    https://enac.hal.science/hal-01815222v1
    https://doi.org/10.1145/3229094
    https://enac.hal.science/hal-01815222v1/document
    https://hal-enac.archives-ouvertes.fr/hal-01815222
    https://dl.acm.org/doi/10.1145/3229094
    https://dblp.uni-trier.de/db/journals/pacmhci/pacmhci2.html#MagnaudetCCLPP18
    https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002219380888816
    https://hal-enac.archives-ouvertes.fr/hal-01815222/document

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

    The verified CakeML compiler backend.

    Autoren: KIAM TAN, YONG MYREEN, MAGNUS O. KUMAR, RAMANA et al.

    Quelle: Journal of Functional Programming; 2019, Vol. 29, p1-57, 57p

    Schlagwörter: COMPILERS (Computer programs), FUNCTIONAL programming languages, SEMANTICS, PROGRAMMING languages, COMPUTER software

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

    Participatory Programming: Developing Programmable Bioinformatics Tools for End-Users

    Autoren: Letondal, Catherine Henry Lieberman Fabio Paternò et al.

    Weitere Verfasser: Letondal, Catherine Henry Lieberman Fabio Paternò et al.

    Quelle: Human-Computer Interaction Series ISBN: 9781402042201

    Schlagwörter: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments/D.2.6.2: Interactive environments, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES/H.1.2: User/Machine Systems/H.1.2.2: Software psychology, ACM: H.: Information Systems/H.1: MODELS AND PRINCIPLES/H.1.2: User/Machine Systems/H.1.2.0: Human factors, HCI)/H.5.2: User Interfaces, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.10: Design/D.2.10.0: Methodologies, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.12: User interfaces, End-User Development, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], participatory design, [INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]

    Dateibeschreibung: application/pdf

    Zugangs-URL: https://hal-enac.archives-ouvertes.fr/hal-01286956v2/file/EUD-letondal.pdf
    https://hal-enac.archives-ouvertes.fr/hal-01286956v2
    https://dblp.uni-trier.de/db/series/hci/Lieberman2006.html#Letondal06
    https://rd.springer.com/chapter/10.1007/1-4020-5386-X_10
    https://link.springer.com/chapter/10.1007/1-4020-5386-X_10

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

Suchwerkzeuge: