المؤلفون: Proença, José, Madeira, Alexandre

مصطلحات موضوعية: Dynamic logic, Software connectors, Formal methods

وصف الملف: application/pdf

Relation: 978-3-030-31516-0

الاتاحة: http://hdl.handle.net/10773/27067

المؤلفون: Oliveira, Nuno, Barbosa, L. S.

المساهمون: Universidade do Minho

مصطلحات موضوعية: Software connectors, Architectural reconfiguration, Reconfiguration, Software architecture

وصف الملف: application/pdf

Relation: 9781450316569

الاتاحة: http://hdl.handle.net/1822/26532

المؤلفون: Oliveira, Nuno, Barbosa, L. S.

المساهمون: Universidade do Minho

مصطلحات موضوعية: Software connectors, Reconfiguration

وصف الملف: application/pdf

Relation: 978-3-642-38229-1; 0302-9743

الاتاحة: http://hdl.handle.net/1822/26342

المؤلفون: Asteasuain, Fernando, Graiño, Claudio, Dubinsky, Manuel

مصطلحات موضوعية: Ciencias Informáticas, Software Architectures, Validation, Software Connectors, Aspect Orientation

وصف الملف: application/pdf; 87-98

Relation: http://sedici.unlp.edu.ar/handle/10915/57086; http://45jaiio.sadio.org.ar/sites/default/files/asse-02.pdf

الاتاحة: http://sedici.unlp.edu.ar/handle/10915/57086
http://45jaiio.sadio.org.ar/sites/default/files/asse-02.pdf

المؤلفون: Asteasuain, Fernando, Graiño, Claudio, Dubinsky, Manuel

مصطلحات موضوعية: Ciencias Informáticas, Software architectures, Dynamic Validation, Software Connectors, Aspect Orientation

وصف الملف: application/pdf; 3-28

Relation: http://sedici.unlp.edu.ar/handle/10915/135663

الاتاحة: http://sedici.unlp.edu.ar/handle/10915/135663

المؤلفون: Barbosa, Marco António, Barbosa, L. S.

مصطلحات موضوعية: Services, Coordination, Reo, Software connectors, Exogenous coordination, Science & Technology

وصف الملف: application/pdf

Relation: http://dx.doi.org/10.1016/j.scico.2008.09.019; https://hdl.handle.net/1822/20270

الاتاحة: https://hdl.handle.net/1822/20270
https://doi.org/10.1016/j.scico.2008.09.019

المؤلفون: Barbosa, L. S., Barbosa, Marco António

مصطلحات موضوعية: Mobility, Software connectors, components, Science & Technology

وصف الملف: application/pdf

Relation: Barbosa, M. A., & Barbosa, L. S. (2007, June). An Orchestrator for Dynamic Interconnection of Software Components. Electronic Notes in Theoretical Computer Science. Elsevier BV. http://doi.org/10.1016/j.entcs.2007.01.053; https://hdl.handle.net/1822/33899

الاتاحة: https://hdl.handle.net/1822/33899
https://doi.org/10.1016/j.entcs.2007.01.053

المؤلفون: Pavel Petrek

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://dsrg.mff.cuni.cz/publications/petrek-master-thesis.pdf.

مصطلحات موضوعية: Title, Optimizing of Software Connectors Code Generator’s

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.4585; http://dsrg.mff.cuni.cz/publications/petrek-master-thesis.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.4585
http://dsrg.mff.cuni.cz/publications/petrek-master-thesis.pdf

المؤلفون: Lubomír Bulej

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://nenya.ms.mff.cuni.cz/publications/BulejBures-Eliminating.pdf.

مصطلحات موضوعية: software connectors, runtime reconfiguration

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.6109; http://nenya.ms.mff.cuni.cz/publications/BulejBures-Eliminating.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.6109
http://nenya.ms.mff.cuni.cz/publications/BulejBures-Eliminating.pdf

المؤلفون: Lubomír Bulej, Tomáš Bureš

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://nenya.ms.mff.cuni.cz/publications/BulejBures-tr-2006-6.pdf.

مصطلحات موضوعية: software connectors, runtime reconfiguration

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7989; http://nenya.ms.mff.cuni.cz/publications/BulejBures-tr-2006-6.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7989
http://nenya.ms.mff.cuni.cz/publications/BulejBures-tr-2006-6.pdf

المؤلفون: Bridget Spitznagel, Phil Koopman

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.cmu.edu/~sprite/thesis/thesis.ps.

مصطلحات موضوعية: Software architecture, software connectors, formal specifications, software engineering tools

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.7953; http://www.cs.cmu.edu/~sprite/thesis/thesis.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.7953
http://www.cs.cmu.edu/~sprite/thesis/thesis.ps

المؤلفون: Bigot, Julien, Pérez, Christian

المساهمون: Algorithms and Scheduling for Distributed Heterogeneous Platforms (GRAAL), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), INRIA

المصدر: https://inria.hal.science/inria-00401656 ; [Research Report] RR-6979, INRIA. 2009, pp.27.

مصطلحات موضوعية: software components, scientific computing, model-driven engineering, software connectors, algorithmic skeletons, genericity, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

الاتاحة: https://inria.hal.science/inria-00401656
https://inria.hal.science/inria-00401656v1/document
https://inria.hal.science/inria-00401656v1/file/RR-6979.pdf

المؤلفون: José Proença, Alexandre Madeira

المصدر: Fundamentals of Software Engineering ISBN: 9783030315160
FSEN

مصطلحات موضوعية: Structure (mathematical logic), 050101 languages & linguistics, Modularity (networks), Software connectors, Computer science, Process (engineering), Distributed computing, Formal methods, 05 social sciences, Complex system, Context (language use), 02 engineering and technology, Petri net, Reuse, Dynamic logic, Component (UML), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::01a8c47cf8e52342306cec8d8be7232a
http://hdl.handle.net/10773/27067

المؤلفون: Daniel Figueiredo, Luís Soares Barbosa, Manuel A. Martins

المساهمون: Universidade do Minho

المصدر: Lecture Notes in Computer Science ISBN: 9783319900889
It's All About Coordination

مصطلحات موضوعية: Bisimulation, Theoretical computer science, Exploit, Computer science, Software connectors, Ciências Naturais::Ciências da Computação e da Informação, 02 engineering and technology, Reactive transition systems, Coordination, Igualdade de género, 020204 information systems, Transition system, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Reversing, Hybrid logic, Equivalence (formal languages), Reo connectors, Formal description, Switch graph

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a8a5448acea8b0ea1f8b776840a4f485
https://doi.org/10.1007/978-3-319-90089-6_4

المؤلفون: José Proença, Dave Clarke

المصدر: Electronic Notes in Theoretical Computer Science. 194:57-76

مصطلحات موضوعية: coordination, Theoretical computer science, General Computer Science, Computer science, Programming language, computer.software_genre, Synchronization, Theoretical Computer Science, Orc, Asynchronous communication, Synchronization (computer science), Reo, Mutual exclusion, Coordination languages, computer, Software Connectors, Computer Science(all)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::abb4985fadaa6439c8cbf5b51df6b0f3
https://doi.org/10.1016/j.entcs.2008.03.099

المؤلفون: Spalazzese, Romina

مصطلحات موضوعية: [INFO:INFO_SE] Computer Science/Software Engineering, Software Connectors, Mediating Connectors, Mediators, Protocol Interoperability, Automatic Synthesis of Software Connectors (Mediators), Emerging Mediators, Formal Methods, Patterns of Connectors, Ubiquitous/Pervasive Computing, Middleware for Ubiquitous Computing

الاتاحة: http://tel.archives-ouvertes.fr/tel-00660816
http://tel.archives-ouvertes.fr/docs/00/66/08/16/PDF/RominaSpalazzesePhDThesis.pdf

المؤلفون: Thomas Slotos

المساهمون: The Association for Computing Machinery

المصدر: CBSE
Slotos, T 2014, A specification schema for software connectors . in T A F C M (ed.), A specification schema for software connectors : Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014) . Association for Computing Machinery (ACM), pp. 139-147, 17th International ACM Sigsoft Symposium on Component-Based Software Engineering CBSE 2014, Lille, France, 30.06.14 . DOI: 10.1145/2602458.2602464
Slotos, T 2014, A specification schema for software connectors . in T A F C M (ed.), CBSE 2014-Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (Part of CompArch 2014) : Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014) . CBSE 2014-Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (Part of CompArch 2014), Association for Computing Machinery, Inc, pp. 139-147, 17th International ACM Sigsoft Symposium on Component-Based Software Engineering CBSE 2014, Lille, France, 30.06.14 . https://doi.org/10.1145/2602458.2602464

مصطلحات موضوعية: Application programs, Software connectors, Informatics, Application softwares, Programming language, Computer science, business.industry, Schema migration, Software architecture, Software development, Software requirements specification, software connector, computer.software_genre, Software framework, Software construction, Component-based software engineering, ComputingMethodologies_DOCUMENTANDTEXTPROCESSING, Software system, Software engineering, business, computer, Software design description

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f0dc70ba6e99cf84edbb617e1ab72ab9
https://doi.org/10.1145/2602458.2602464

المؤلفون: Baquero Forero, Juan Rodrigo

Thesis Advisors: Hnětynka, Petr, Bureš, Tomáš

مصطلحات موضوعية: software connectors, component systems, distribuované vestavěné zařízení, komponentové systémy, distributed embedded devices, softwarové konektory

الاتاحة: http://www.nusl.cz/ntk/nusl-328136

المؤلفون: Misha Strittmatter, Lucia Happe

المصدر: ICPE

مصطلحات موضوعية: Cable gland, Engineering, business.industry, Distributed computing, Software connectors, Performance prediction, Abstraction, business, Performance model, Simulation, Small set

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b6721a164d266dd0ff3d0b93fddee8ea
https://doi.org/10.1145/2188286.2188337

المؤلفون: José Proença

المساهمون: Arbab, F., Clarke, D., Vink, E. de, Leiden University, Clarke, Dave, de Vink, Erik, Arbab, Farhad

المصدر: None
CIÊNCIAVITAE
Jose Proenca

مصطلحات موضوعية: Software connectors, Visual formalisms, Connector colouring, Coordination, Reo, Constraint satisfaction, Distributed systems, Actor model, Animations, Constraint automata

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0d8b4ba7e050ceb7853741b9cc945286
https://hdl.handle.net/1887/17624