Search Results - acm: d.: software/d.3: programming languages/d.3.4: processes

Refine Results
  1. 1

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

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

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

    Source: 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/

    Subject Terms: 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]

    Subject Geographic: Toulouse, France

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

    Availability: 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
    Save to List
  2. 2

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

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

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

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

    Subject Terms: 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]

    Availability: https://inria.hal.science/inria-00468283

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Proceedings of the ACM Programming Languages and Pragmatics Conference.

    Authors: Forsythe, George E.

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

    Subject Terms: CONFERENCES & conventions, COMPUTER software, PROGRAMMING languages, PRAGMATICS, COMMITTEES

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  4. 4

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

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

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

    Subject Terms: 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
    Save to List
  5. 5

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

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

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

    Subject Terms: MOBILE computing, SYSTEM analysis, SYSTEMS software, PROGRAMMING languages, ALGORITHMS, COMPUTER programming

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  6. 6

    Gradual session types.

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

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

    Subject Terms: COMMUNICATION, WEB-based user interfaces, SEMANTICS, TYPEWRITING, PROGRAMMING languages

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    Code Staging in GNU Guix

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

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

    Source: 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

    Subject Terms: 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]

    Subject Geographic: 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

    Availability: 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
    Save to List
  8. 8

    Behavioral Interface Specification Languages.

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

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

    Subject Terms: 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
    Save to List
  9. 9

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

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

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

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

    Subject Terms: 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

    Availability: 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
    Save to List
  10. 10

    A Domain-Specific Language for Coordinating Concurrent Aspects in Java

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

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

    Source: 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

    Subject Terms: [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]

    Access 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
    Save to List
  11. 11

    Emerging languages: An alternative approach to teaching programming languages.

    Authors: PERUGINI, SAVERIO

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

    Subject Terms: PROGRAMMING languages, CUSTOMIZATION, SYNCHRONIZATION, VIDEO blogs, ONLINE education

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  12. 12

    Beyond Programming Languages.

    Authors: Winograd, Terry

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

    Subject Terms: COMPUTER programming, PROGRAMMING languages, COMPUTER software, COMPUTERS, ALGORITHMS, COMPUTER science

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  13. 13

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

    Authors: Horning, J. J.

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

    Subject Terms: COMPUTER software, PROGRAMMING languages, RELIABILITY in engineering, COMPUTER programmers, COMPUTER science

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  14. 14

    A Programmable Programming Language.

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

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

    Subject Terms: RACKET (Computer program language), DOMAIN-specific programming languages, COMPUTER software development

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  15. 15

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

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

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

    Source: 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

    Subject Terms: 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]

    Subject Geographic: Charlottesville, Virginia, United States

    Availability: https://inria.hal.science/inria-00469818

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  16. 16

    Logic programming environments: Dynamic program analysis and debugging

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

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

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

    Subject Terms: 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]

    Access 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
    Save to List
  17. 17

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

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

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

    Subject Terms: 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
    Save to List
  18. 18

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

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

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

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

    Subject Terms: 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

    File Description: application/pdf

    Access 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
    Save to List
  19. 19

    The verified CakeML compiler backend.

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

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

    Subject Terms: COMPILERS (Computer programs), FUNCTIONAL programming languages, SEMANTICS, PROGRAMMING languages, COMPUTER software

    Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  20. 20

    Participatory Programming: Developing Programmable Bioinformatics Tools for End-Users

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

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

    Source: Human-Computer Interaction Series ISBN: 9781402042201

    Subject Terms: 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]

    File Description: application/pdf

    Access 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
    Save to List

Search Tools: