Výsledky vyhledávání - ACM: D.: Software/D.0: GENERAL

1

1. American Heart Association. (2021). Heart disease and stroke statistics—2021 update. Circulation, 143(8), e254-e743. 2. Rahman, M., Al Amin, M., Hasan, R., Hossain, S. T., Rahman, M. H., & Rashed, R. A. M. (2025). A Predictive AI Framework for Cardiovascular Disease Screening in the US: Integrating EHR Data with Machine and Deep Learning Models. British Journal of Nursing Studies, 5(2), 40-48. 3. ZakirHossain, M., Khan, M. M., Thapa, S., Uddin, R., Meem, E. J., Niloy, S. K., ... & Bhavani, G. D. (2025, February). Advanced Deep Learning Techniques for Precision Diagnosis of Tea Leaf Diseases. In 2025 IEEE International Conference on Emerging Technologies and Applications (MPSec ICETA) (pp. 1-6). IEEE. 4. Chen, T., & Guestrin, C. (2016). XGBoost: A scalable tree boosting system. In Proceedings of the 22nd ACM SIGKDD international conference on knowledge discovery and data mining (pp. 785-794). ACM. 5. Damen, J. A., Hooft, L., Schuit, E., Debray, T. P., Collins, G. S., Tzoulaki, I., Lassale, C. M., Siontis, G. C., Chiocchia, V., Roberts, C., Schlüssel, M. M., Gerry, S., Black, J. A., Heus, P., van der Schouw, Y. T., Peelen, L. M., & Moons, K. G. (2016). Prediction models for cardiovascular disease risk in the general population: systematic review. BMJ, 353, i2416. 6. Framingham Heart Study. (1948). Framingham Heart Study cohort research data. National Heart, Lung, and Blood Institute. 7. Johnson, A. E., Pollard, T. J., Shen, L., Lehman, L. H., Feng, M., Ghassemi, M., Moody, B., Szolovits, P., Celi, L. A., & Mark, R. G. (2016). MIMIC-III, a freely accessible critical care database. Scientific Data, 3, 160035. 8. Krittanawong, C., Zhang, H., Wang, Z., Aydar, M., & Kitai, T. (2017). Artificial intelligence in precision cardiovascular medicine. Journal of the American College of Cardiology, 69(21), 2657-2664. 9. Lundberg, S. M., & Lee, S. I. (2017). A unified approach to interpreting model predictions. In Advances in Neural Information Processing Systems 30 (NIPS 2017) (pp. 4765-4774). 10. Pedregosa, F., Varoquaux, G., Gramfort, A., Michel, V., Thirion, B., Grisel, O., Blondel, M., Prettenhofer, P., Weiss, R., Dubourg, V., Vanderplas, J., Passos, A., Cournapeau, D., Brucher, M., Perrot, M., & Duchesnay, É. (2011). Scikit-learn: Machine learning in Python. Journal of Machine Learning Research, 12, 2825–2830. 11. Shameer, K., Johnson, K. W., Glicksberg, B. S., Dudley, J. T., & Sengupta, P. P. (2018). Machine learning in cardiovascular medicine: are we there yet? Heart, 104(14), 1156-1164. 12. Steyerberg, E. W., Vergouwe, Y., & van Calster, B. (2019). Towards better clinical prediction models: seven steps for development and an ABCD for validation. European Heart Journal, 40(15), 1255–1264. 13. Sudlow, C., Gallacher, J., Allen, N., Beral, V., Burton, P., Danesh, J., Downey, P., Elliott, P., Green, J., Landray, M., Liu, B., Matthews, P., Ong, G., Pell, J., Silman, A., Young, A., Sprosen, T., Peakman, T., & Collins, R. (2015). UK biobank: an open access resource for identifying the causes of a wide range of complex diseases of middle and old age. PLOS Medicine, 12(3), e1001779. 14. Weng, S. F., Reps, J., Kai, J., Garibaldi, J. M., & Qureshi, N. (2017). Can machine-learning improve cardiovascular risk prediction using routine clinical data? PLOS ONE, 12(4), e0174944. 15. World Health Organization. (2021). Cardiovascular diseases (CVDs). Retrieved from https://www.who.int/news-room/fact-sheets/detail/cardiovascular-diseases-(cvds) 16. Abadi, M., Barham, P., Chen, J., Chen, Z., Davis, A., Dean, J., Devin, M., Ghemawat, S., Irving, G., Isard, M., Kudlur, M., Levenberg, J., Monga, R., Moore, S., Murray, D. G., Steiner, B., Tucker, P., Vasudevan, V., Warden, P., ... Zheng, X. (2016). TensorFlow: A system for large-scale machine learning. In 12th USENIX symposium on operating systems design and implementation (OSDI 16) (pp. 265–283). 17. Chollet, F. (2015). Keras (Version 2.4.0) [Computer software]. https://github.com/fchollet/keras

Autoři: Okunola, Abiodun

Nájsť tento článok vo Web of Science

2

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Autoři: Le Métayer, Daniel Maarek, Manuel Mazza, Eduardo a další

Přispěvatelé: Le Métayer, Daniel Maarek, Manuel Mazza, Eduardo a další

Zdroj: ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010) ; https://inria.hal.science/inria-00472287 ; ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩ ; http://doi.acm.org/10.1145/1806799.1806823

Témata: Liability, Contract, Formal Methods, Specication, Defects, Legal Aspects, Evidence, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering

Geografické téma: Cape Town, South Africa

Time: Cape Town, South Africa

Dostupnost: https://inria.hal.science/inria-00472287
https://inria.hal.science/inria-00472287v3/document
https://inria.hal.science/inria-00472287v3/file/20100608-ICSE-HAL-version-with-DOI.pdf
https://doi.org/10.1145/1806799.1806823

View record from BASE

Nájsť tento článok vo Web of Science

3

Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study

Autoři: Alleaune, Christophe Benabou, Valérie-Laure Beras, Denis a další

Přispěvatelé: Alleaune, Christophe Benabou, Valérie-Laure Beras, Denis a další

Zdroj: https://inria.hal.science/inria-00440437 ; [Research Report] RR-7148, INRIA. 2009, pp.23.

Témata: Formal Methods, Speciﬁcation, Defects, Legal Aspects, Evidence, Liability, Contract, ACM: K.: Computing Milieux/K.5: LEGAL ASPECTS OF COMPUTING, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-GL]Computer Science [cs]/General Literature [cs.GL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering

Dostupnost: https://inria.hal.science/inria-00440437
https://inria.hal.science/inria-00440437v1/document
https://inria.hal.science/inria-00440437v1/file/LISE-HAL-INRIA-RR-7148.pdf

View record from BASE

Nájsť tento článok vo Web of Science

4

Teaching Software Product Lines: A Snapshot of Current Practices and Challenges

Autoři: Acher, Mathieu Lopez-Herrejon, Roberto Erick Rabiser, Rick a další

Přispěvatelé: Acher, Mathieu Lopez-Herrejon, Roberto Erick Rabiser, Rick a další

Zdroj: ISSN: 1531-4278 ; ACM Transactions of Computing Education ; https://inria.hal.science/hal-01522779 ; ACM Transactions of Computing Education, 2017.

Témata: Software Engineering Teaching, Variability Modeling, Software Product Line Teaching, General and reference → Surveys and overviews, Social and professional topics → Computing education, Applied computing → Education, Software and its engineering → Software product lines, Software Product Lines, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnost: https://inria.hal.science/hal-01522779
https://inria.hal.science/hal-01522779v1/document
https://inria.hal.science/hal-01522779v1/file/TOCE.pdf

View record from BASE

Nájsť tento článok vo Web of Science

5

HARS: A Hardware-Assisted Runtime Software for embedded many-core architectures

Autoři: Lhuillier, Y. Ojail, M. Guerre, A. a další

Přispěvatelé: Lhuillier, Y. Ojail, M. Guerre, A. a další

Zdroj: ISSN: 1539-9087.

Témata: B.5.0 [Register-Transfer-Level Implementation]: General, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures, ACM: B.: Hardware/B.5: REGISTER-TRANSFER-LEVEL IMPLEMENTATION, [INFO]Computer Science [cs]

Dostupnost: https://cea.hal.science/cea-01818892
https://doi.org/10.1145/2517311

View record from BASE

Nájsť tento článok vo Web of Science

6

Using Domain Features to Handle Feature Interactions

Autoři: Mosser, Sébastien Duchien, Laurence Parra, Carlos Andrés a další

Přispěvatelé: Mosser, Sébastien Duchien, Laurence Parra, Carlos Andrés a další

Zdroj: Variability Modelling Software-Intensive Systems (VAMOS) ; https://inria.hal.science/hal-00653044 ; Variability Modelling Software-Intensive Systems (VAMOS), Ulrich Eisenecker, University of Leipzig, DE, Jan 2012, Leipzig, Germany. pp.101-110

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Leipzig, Germany

Dostupnost: https://inria.hal.science/hal-00653044
https://inria.hal.science/hal-00653044v1/document
https://inria.hal.science/hal-00653044v1/file/main.pdf

View record from BASE

Nájsť tento článok vo Web of Science

7

Describing the Essential Ingredients for an Open, General-Purpose, Shared and Both Large-Scale and Sustainable Experimental Facility (OpenLab)

Autoři: Niavis, Harris Korakis, Thanasis Fdida, Serge a další

Přispěvatelé: Niavis, Harris Korakis, Thanasis Fdida, Serge a další

Zdroj: Building the Future Internet through FIRE ; https://hal.archives-ouvertes.fr/hal-01803996 ; Building the Future Internet through FIRE, 2017 ; http://www.riverpublishers.com/research_details.php?book_id=427

Témata: ACM: D.: Software/D.2: SOFTWARE ENGINEERING, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, [INFO]Computer Science [cs], [INFO.INFO-WB]Computer Science [cs]/Web, [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-CY]Computer Science [cs]/Computers and Society [cs.CY], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], info, manag

Relation: https://hal.archives-ouvertes.fr/hal-01803996/file/12_Chapter_12.pdf; https://hal.archives-ouvertes.fr/hal-01803996

Dostupnost: https://hal.archives-ouvertes.fr/hal-01803996/file/12_Chapter_12.pdf
https://hal.archives-ouvertes.fr/hal-01803996

View record from BASE

Nájsť tento článok vo Web of Science

8

Object-Oriented Techniques for Sparse Matrix Computations in Fortran 2003

Autoři: Filippone, Salvatore Buttari, Alfredo Università degli Studi di Roma Tor Vergata Roma, Italia = University of Rome Tor Vergata Rome, Italy = Université de Rome Tor Vergata Rome, Italie a další

Přispěvatelé: Filippone, Salvatore Buttari, Alfredo Università degli Studi di Roma Tor Vergata Roma, Italia = University of Rome Tor Vergata Rome, Italy = Université de Rome Tor Vergata Rome, Italie a další

Zdroj: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-02419121 ; ACM Transactions on Mathematical Software, 2012, 38 (4), pp.1-20. ⟨10.1145/2331130.2331131⟩.

Témata: Object-Oriented Design, G13 [Numerical Analysis]: Numerical Linear Algebra-Sparse, information hiding, structured, and very large systems (direct and iterative methods), G4 [Mathematical Software]: Algorithm design and analysis General Terms: Mathematics of computing, Algorithms, Design Additional Key Words and Phrases: Sparse Matrices, D211 [Software Engineering]: Software Architectures-Data abstrac- tion, sparse matrices, Mathematics of computing, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]

Dostupnost: https://hal.science/hal-02419121
https://hal.science/hal-02419121v1/document
https://hal.science/hal-02419121v1/file/psblas3.pdf
https://doi.org/10.1145/2331130.2331131

View record from BASE

Nájsť tento článok vo Web of Science

9

2015 IEEE/ACM 4th SEMAT Workshop on a General Theory of Software Engineering

Nájsť tento článok vo Web of Science

10

SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference

Autoři: Cordy M. Strüber D. Pinto M. a další

Témata: Software Product Lines

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/20.500.14243/494982
https://dl.acm.org/doi/proceedings/10.1145/3646548

View record at OpenAIRE

Nájsť tento článok vo Web of Science

11

1982 ACM Annual ComDUter Science Conference.

Zdroj: Communications of the ACM; Jan1982, Vol. 25 Issue 1, p79-79, 1p

Témata: CONFERENCES & conventions, COMPUTER science, COMPUTER software, UNIVERSITIES & colleges

People: DODD, George, GAFFNEY, John

Full Text Finder

Nájsť tento článok vo Web of Science

12

The Use of Brain-Computer Interfaces in Games Is Not Ready for the General Public ; Les interfaces cerveau-machine ne sont pas prêtes pour le jeux vidéo grand public

Autoři: Cattan, Grégoire IBM - Cloud and Cognitive Software

Přispěvatelé: Cattan, Grégoire IBM - Cloud and Cognitive Software

Zdroj: ISSN: 2624-9898.

Témata: Brain-Computer Interfaces (BCI), Games, Virtual Reality (VR), Electroencephalography, Perspectives, Gaming, Gameplay, Interface Cerveau-Ordinateur ICM, Jeux Vidéo, Réalité Virtuelle (RV), Jouabilité, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.10: Design, [SCCO.COMP]Cognitive science/Computer science, [SCCO.NEUR]Cognitive science/Neuroscience, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]

Relation: hal-03182066; https://hal.archives-ouvertes.fr/hal-03182066; https://hal.archives-ouvertes.fr/hal-03182066/document; https://hal.archives-ouvertes.fr/hal-03182066/file/fcomp-03-628773.pdf

Dostupnost: https://hal.archives-ouvertes.fr/hal-03182066
https://hal.archives-ouvertes.fr/hal-03182066/document
https://hal.archives-ouvertes.fr/hal-03182066/file/fcomp-03-628773.pdf
https://doi.org/10.3389/fcomp.2021.628773

View record from BASE

Nájsť tento článok vo Web of Science

13

A Tabu Search Heuristic for Scratch-Pad Memory Management

Autoři: Idrissi Aouad, Maha Schott, René Zendra, Olivier a další

Přispěvatelé: Idrissi Aouad, Maha Schott, René Zendra, Olivier a další

Zdroj: ICSET 2010 - International Conference on Software Engineering and Technology ; https://inria.hal.science/inria-00491191 ; ICSET 2010 - International Conference on Software Engineering and Technology, WASET - World Academy of Science, Engineering and Technology, Apr 2010, Rome, Italy. pp.386-390 ; http://www.waset.org/journals/waset/v64.php

Témata: Tabu Search heuristic, Energy consumption, memory allocation management, optimization, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Geografické téma: Rome, Italy

Dostupnost: https://inria.hal.science/inria-00491191

View record from BASE

Nájsť tento článok vo Web of Science

14

Sequential and Distributed SA-Type Algorithms for Energy Optimization in Embedded Systems

Autoři: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René a další

Přispěvatelé: Idrissi Aouad, Maha Idoumghar, Lhassane Schott, René a další

Zdroj: IEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering) ; https://inria.hal.science/inria-00541375 ; IEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering), Dec 2010, Wuhan, China

Témata: memory management, optimization, simulated annealing, embedded systems, Distributed systems, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.9: Simulated annealing, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.4: Sequential Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.5: Memory management (garbage collection), and Search/I.2.8.4: Heuristic methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Geografické téma: Wuhan, China

Dostupnost: https://inria.hal.science/inria-00541375

View record from BASE

Nájsť tento článok vo Web of Science

15

Genetic Heuristics for Reducing Memory Energy Consumption in Embedded Systems

Autoři: Idrissi Aouad, Maha Schott, René Zendra, Olivier a další

Přispěvatelé: Idrissi Aouad, Maha Schott, René Zendra, Olivier a další

Zdroj: ICSOFT 2010 - 5th International Conference on Software Engineering and Data Technologies ; https://inria.hal.science/inria-00516396 ; ICSOFT 2010 - 5th International Conference on Software Engineering and Data Technologies, Jul 2010, Athens, Greece. pp.394-402

Témata: optimizations, memory allocation management, Genetic heuristics, Energy consumption reduction, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Geografické téma: Athens, Greece

Dostupnost: https://inria.hal.science/inria-00516396

View record from BASE

Nájsť tento článok vo Web of Science

16

Globalized Domain Specific Language Engineering

Autoři: Bryant, Barrett Jézéquel, Jean-Marc Laemmel, Ralf a další

Přispěvatelé: Bryant, Barrett Jézéquel, Jean-Marc Laemmel, Ralf a další

Zdroj: Globalizing Domain-Specific Languages ; https://inria.hal.science/hal-01224283 ; Benoit Combemale; Betty H.C. Cheng; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.43-69, 2015, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0_4⟩ ; http://www.springer.com/us/book/9783319261713

Témata: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software/D.2.13.0: Domain engineering, 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, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Dostupnost: https://inria.hal.science/hal-01224283
https://doi.org/10.1007/978-3-319-26172-0_4

View record from BASE

Nájsť tento článok vo Web of Science

17

Introduction to the special section from the ACM international symposium on software testing and analysis

Autoři: Notkin, D PEZZE', MAURO

Témata: Software Testing and Analysis

Přístupová URL adresa: https://hdl.handle.net/10281/13312

View record at OpenAIRE

Nájsť tento článok vo Web of Science

18

Validation and Verification Policies for Governance of Service Choreographies

Autoři: Bertolino, Antonia De Angelis, Guglielmo Polini, Andrea a další

Přispěvatelé: Bertolino, Antonia De Angelis, Guglielmo Polini, Andrea a další

Zdroj: WEBIST ; https://hal.inria.fr/hal-00867735 ; WEBIST, Apr 2012, Porto, Portugal. pp.58-70 ; http://puma.isti.cnr.it/rmydownload.php?filename=cnr.isti/cnr.isti/2012-A2-014/2012-A2-014.pdf

Témata: Choreography, SOA Governance, V&V Policies, On-line Testing, Ranking, Reputation, Service Oriented Architecture, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.3: Software Management, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], stat, edu

Geografické téma: Porto, Portugal

Time: Porto, Portugal

Relation: https://hal.inria.fr/hal-00867735

Dostupnost: https://hal.inria.fr/hal-00867735

View record from BASE

Nájsť tento článok vo Web of Science

19

Governance Policies for Verification and Validation of Service Choreographies .

Autoři: Bertolino, Antonia De Angelis, Guglielmo Polini, Andrea a další

Přispěvatelé: Bertolino, Antonia De Angelis, Guglielmo Polini, Andrea a další

Zdroj: Web Information Systems and Technologies (Selected Papers) ; https://hal.inria.fr/hal-00867679 ; Cordeiro, J. and Krempels, K.H. Web Information Systems and Technologies (Selected Papers), 140, Springer, pp.86-102, 2013, LNBIP, 978-3-642-36607-9. ⟨10.1007/978-3-642-36608-6_6⟩

Témata: Service Choreography, SOA Governance, V&V Policies, On-line Testing, Ranking, Reputation, Service Oriented Architecture, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.0: General, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.3: Software Management, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], edu, stat